Logik: Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik
Gerhard SchurzThis introduction to logic consists of basic and advanced courses. The basic course introduces propositional and predicate logic as well as the logical reconstruction of natural language arguments. The advanced course encompasses higher-level areas of predicate logic including central metalogical results for completeness, incompleteness, and (un)decidability. Numerous practice examples with solutions aid in learning the material.
- für Einführungen und für Aufbaukurse
- bietet anfängergerechte Einführung und Heranführung an fortgeschrittene formale Logik
- Erklärung der Zusammenhänge zwischen alternativen logischen Notationen und Techniken
- Zahlreiche Übungsbeispiele mit Lösungen
年:
2018
出版商:
De Gruyter
語言:
german
頁數:
447
ISBN 10:
3110590638
ISBN 13:
9783110590630
文件:
PDF, 1.37 MB
IPFS:
,
german, 2018