Zusammenfassung
Logik als philosophische Disziplin. Logik als mathematische Disziplin. Bedeutung der mathematischen Logik für die Informatik. Wahrheitswerte. Aussagen. Typisierungen. Zweiwertigkeitsprinzip. Aussagenverknüpfungen: Negation, Konjunktion, Disjunktion, Subjunktion, Bijunktion. Syntax des Aussagenkalküls: zulässige aussagenlogische Ausdrücke. Entscheidbarkeit. PASCAL-Programme. Semantik des Aussagenkalküls: Interpretation (Bewertung) aussagenlogischer Ausdrücke: Wahrheitswertetafeln, Erfüllungsmengen. Tautologien, Kontingenzen, Kontradiktionen. Erfüllbarkeit. Entscheidbarkeit. Textanalysen, Textinterpretationen. Aussagenlogische Gesetze, Äquivalenzen, Implikationen. Einfache Normalformen. Kanonische Normalformen. Entscheidungsverfahren. Eindeutigkeitssätze. Anwendungen. Aussagenlogisches Schließen: mathematisches Modell, nicht-logische und unlogische Schlüsse. Anzahl-Satz. Schlußregeln. Anwendungen des Modus ponens. Anwendungen des Modus tollens. Fehlschlüsse. Notwendige und hinreichende Bedingungen. Verknüpfungsbasen, Struktureigenschaften, Axiomatik des Aussagenkalküls. Ausblick auf die Prädikatenlogik1).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Böhme G (1981) Einstieg in die Mathematische Logik. Hanser, München Wien
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Böhme, G. (1984). Mathematische Logik. In: Böhme, G. (eds) Prüfungsaufgaben Informatik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69331-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-69331-1_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12772-7
Online ISBN: 978-3-642-69331-1
eBook Packages: Springer Book Archive