Einführung in die klassische und intensionale Logik
Seiten
1992
|
1992
Vieweg & Teubner (Verlag)
978-3-528-06489-1 (ISBN)
Vieweg & Teubner (Verlag)
978-3-528-06489-1 (ISBN)
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 |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
37,99 €
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
25,00 €
