Ulf Friedrichsdorf

Einführung in die klassische und intensionale Logik

• Broschiertes Buch

Produktbeschreibung

Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzuführen. Die hier näher betrachteten intensionalen Systeme hängen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natürlicher Sprachen betreffen.

Produktdetails

• Verlag: Vieweg+Teubner / Vieweg+Teubner Verlag
• Artikelnr. des Verlages: 978-3-528-06489-1
• 1992
• Seitenzahl: 368
• Erscheinungstermin: 1. Januar 1992
• Deutsch
• Abmessung: 229mm x 162mm x 20mm
• Gewicht: 548g
• ISBN-13: 9783528064891
• ISBN-10: 3528064897
• Artikelnr.: 30825310

Autorenporträt

Dr. rer. nat. Ulf Friedrichsdorf ist wissenschaftlicher Mit-arbeiter an der Fakultät für Mathematik der Universität Konstanz, 7750 Konstanz.

Inhaltsangabe

1 Mengen, Relationen und Funktionen.- 2 Aussagenlogik.- 3 Modale Aussagenlogik.- 4 Varianten der modalen Aussagenlogik.- 5 Grundbegriffe der Prädikatenlogik.- 6 Normalformen und der Satz von Herbrand.- 7 Der Gödelsche Vollständigkeitssatz.- 8 Modallogische Aspekte der Gödelschen Unvollständigkeitssätze.- 9 Einige modelltheoretische Begriffe und Sätze.- 10 Modale Prädikatenlogik.- 11 Dynamische Prädikatenlogik.- 12 Höherstufige Prädikatenlogik.- 13 Typentheorie.- Mengentheoretischer Anhang.- Literatur.- Symbole und Notationen.- Register.