Einführung in die klassische und intensionale Logik

Ulf Friedrichsdorf (Autor)

Buch | Softcover

VIII, 354 Seiten

1992 | 1992
Vieweg & Teubner (Verlag)
978-3-528-06489-1 (ISBN)

Artikel merken

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.

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

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.

Erscheint lt. Verlag	1.1.1992
Zusatzinfo	VIII, 354 S. 4 Abb.
Verlagsort	Wiesbaden
Sprache	deutsch
Maße	162 x 229 mm
Gewicht	550 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
	Technik
Schlagworte	Beweis • Beweistheorie • Entwicklung • Gödelscher Vollständigkeitssatz • Informatik • Logik • Mathematische Logik • Prädikatenlogik • Programmiersprache • Satz von Herbrand • Semantik • Systeme • Typentheorie • Vollständigkeit
ISBN-10	3-528-06489-7 / 3528064897
ISBN-13	978-3-528-06489-1 / 9783528064891
Zustand	Neuware