Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Tableau Methods for Propositional Logic and Term Logic - Tomasz Jarmuzek - Bog
- Indbinding:
- Hardback
- Sideantal:
- 228
- Udgivet:
- 27. januar 2021
- Udgave:
- Størrelse:
- 218x156x22 mm.
- Vægt:
- 442 g.
- 2-3 uger.
- 22. januar 2025
Forlænget returret til d. 31. januar 2025
Normalpris
Medlemspris
Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.
Herefter fra 79 kr./md. Ingen binding.
Beskrivelse af Tableau Methods for Propositional Logic and Term Logic
The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.
Brugerbedømmelser af Tableau Methods for Propositional Logic and Term Logic
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Tableau Methods for Propositional Logic and Term Logic findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Tales.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
