Einführung in die klassische und intension...

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Deutsch

69,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Beschreibung

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.

Über den Autor

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

Inhaltsverzeichnis

§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.

Details

Erscheinungsjahr:	1992
Fachbereich:	Grundlagen
Genre:	Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	viii 354 S. 4 s/w Illustr. 354 S. 4 Abb.
ISBN-13:	9783528064891
ISBN-10:	3528064897
Sprache:	Deutsch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Friedrichsdorf, Ulf
Hersteller:	Vieweg & Teubner Vieweg+Teubner Verlag
Verantwortliche Person für die EU:	Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, D-65189 Wiesbaden, juergen.hartmann@springer.com
Maße:	229 x 162 x 20 mm
Von/Mit:	Ulf Friedrichsdorf
Erscheinungsdatum:	01.01.1992
Gewicht:	0,568 kg

Artikel-ID: 102346428

Über den Autor

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

Inhaltsverzeichnis

Details

Erscheinungsjahr:	1992
Fachbereich:	Grundlagen
Genre:	Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	viii 354 S. 4 s/w Illustr. 354 S. 4 Abb.
ISBN-13:	9783528064891
ISBN-10:	3528064897
Sprache:	Deutsch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Friedrichsdorf, Ulf
Hersteller:	Vieweg & Teubner Vieweg+Teubner Verlag
Verantwortliche Person für die EU:	Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, D-65189 Wiesbaden, juergen.hartmann@springer.com
Maße:	229 x 162 x 20 mm
Von/Mit:	Ulf Friedrichsdorf
Erscheinungsdatum:	01.01.1992
Gewicht:	0,568 kg