Mehr zum Buch
Inhaltsverzeichnis 1. Aussagenalgebra: Logische Operationen, Gleichwertigkeit von Formeln, Dualitätstheorem, Entscheidungsproblem, Darstellung zweiwertiger Funktionen, kanonische Normalformen. 2. Aussagenkalkül: Formelbegriff, Definition wahrer Formeln, Deduktionstheorem, aussagenlogische Schlussregeln, Monotonie, äquivalente Formeln, Ableitbarkeitssätze, Widerspruchsfreiheit und Vollständigkeit des Kalküls, Unabhängigkeit der Axiome. 3. Prädikatenlogik: Prädikate, Quantoren, mengentheoretische Deutung, Axiome, Widerspruchsfreiheit, eindeutige Abbildung, Isomorphie von Individuenbereichen, Axiome der natürlichen Zahlen, Entscheidungsproblem, und endliche sowie unendliche Individuenbereiche. 4. Prädikatenkalkül: Formeln, Variablenumbenennung, Axiome, Regeln zur Bildung wahrer Formeln, Widerspruchsfreiheit, Vollständigkeit, Deduktionstheorem, und Normalformen. 5. Axiomatische Arithmetik: Terme, Eigenschaften des Gleichheitsprädikats, Deduktionstheorem, Axiome der Arithmetik, Beispiele für ableitbare Formeln, Rekursionsterme, und berechenbare Funktionen. 6. Elemente der Beweistheorie: Widerspruchsfreiheit, Primfaktoren, reguläre Formeln, Eigenschaften von Operationen, Regularität innerhalb der Arithmetik, und Unabhängigkeit des Axioms der vollständigen Induktion. Literatur, Namen- und Sachregister.
Buchkauf
Grundzüge der mathematischen Logik, Petr Sergeevič Novikov
- Sprache
- Erscheinungsdatum
- 1973
- product-detail.submit-box.info.binding
- (Paperback)
Keiner hat bisher bewertet.
- Titel
- Grundzüge der mathematischen Logik
- Sprache
- Deutsch
- Autor*innen
- Petr Sergeevič Novikov
- Verlag
- Vieweg
- Erscheinungsdatum
- 1973
- Einband
- Paperback
- Seitenzahl
- 300
- ISBN10
- 3528083190
- ISBN13
- 9783528083199
- Reihe
- Schlagwörter
- Sachbücher, Wissenschaft & Mathematik, Mathematik
- Beschreibung
- Inhaltsverzeichnis 1. Aussagenalgebra: Logische Operationen, Gleichwertigkeit von Formeln, Dualitätstheorem, Entscheidungsproblem, Darstellung zweiwertiger Funktionen, kanonische Normalformen. 2. Aussagenkalkül: Formelbegriff, Definition wahrer Formeln, Deduktionstheorem, aussagenlogische Schlussregeln, Monotonie, äquivalente Formeln, Ableitbarkeitssätze, Widerspruchsfreiheit und Vollständigkeit des Kalküls, Unabhängigkeit der Axiome. 3. Prädikatenlogik: Prädikate, Quantoren, mengentheoretische Deutung, Axiome, Widerspruchsfreiheit, eindeutige Abbildung, Isomorphie von Individuenbereichen, Axiome der natürlichen Zahlen, Entscheidungsproblem, und endliche sowie unendliche Individuenbereiche. 4. Prädikatenkalkül: Formeln, Variablenumbenennung, Axiome, Regeln zur Bildung wahrer Formeln, Widerspruchsfreiheit, Vollständigkeit, Deduktionstheorem, und Normalformen. 5. Axiomatische Arithmetik: Terme, Eigenschaften des Gleichheitsprädikats, Deduktionstheorem, Axiome der Arithmetik, Beispiele für ableitbare Formeln, Rekursionsterme, und berechenbare Funktionen. 6. Elemente der Beweistheorie: Widerspruchsfreiheit, Primfaktoren, reguläre Formeln, Eigenschaften von Operationen, Regularität innerhalb der Arithmetik, und Unabhängigkeit des Axioms der vollständigen Induktion. Literatur, Namen- und Sachregister.