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