Klassische und nichtklassische Aussagenlogik - neues Buch

EAN (ISBN-13): 9783322857965
Erscheinungsjahr: 2013
Herausgeber: Vieweg+Teubner Verlag

Buch in der Datenbank seit 2017-02-11T18:57:08+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-05-10T23:04:23+02:00 (Berlin)
ISBN/EAN: 9783322857965

ISBN - alternative Schreibweisen:
978-3-322-85796-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wolfgang rautenberg
Titel des Buches: aussagenlogik, klassische, logik mathematik, grundlagen der mathematik

---

Daten vom Verlag:

Autor/in: Wolfgang Rautenberg
Titel: Logik und Grundlagen der Mathematik; Klassische und nichtklassische Aussagenlogik
Verlag: Vieweg+Teubner Verlag; Vieweg & Teubner
361 Seiten
Erscheinungsjahr: 2013-03-09
Wiesbaden; DE
Sprache: Deutsch
33,26 € (DE)
33,26 € (AT)
47,68 CHF (CH)
Available
361 S.

EA; E107; eBook; Nonbooks, PBS / Mathematik; Mathematik; Verstehen; Ableitung; Algebra; Beweis; Endlichkeit; Funktion; Lehrsatz; Morphismus; A; Mathematics; Mathematics and Statistics; BC

Kap. I Zweiwertige Aussagenlogik.- § 1 Aussagenlogische Verknüpfungen und Boolesche Funktionen.- § 2 Aussagenlogische Formeln, Erfüllbarkeit, Allgemeingüitigkeit.- § 3 Logische Äquivalenz, Normalformen und funktionale Vollständigkeit.- § 4 Aussagenlogisches Folgern und der Endlichkeitssatz.- § 5 Interpolation und Definierbarkeit.- Kap.II Aussagenlogische Kalküle und Einführung in die Theorie der deduktiven Systeme.- §1 Der klassische Tableau-Kalkül.- §2 Klassische Regel-Kalküle und Axiom-Regel-Kalküle.- § 3 Deduktive Systeme — ein zweiter Vollständigkeitsbeweis.- § 4 Einführung in die Theorie der axiomatischen Systeme.- § 5 Logische Systeme und der Verband der L-Systeme.- Kap. III Mehrwertige Logik — Einführung in die algebraische Semantik.- § 1 Methodische Einfuhrung anhand dreiwertiger Matrizen.- § 2 Definition und Anwendungen mehrwertiger Matrizen.- §3 Allgemeine Konstruktionsprinzipien logischer Matrizen.- § 4 Implikative und konservative Logiken und Matrizen.- § 5 Modale und multimodale Algebren.- Kap. IV Modal- und Zeitlogik — Relativistische Semantik.- §1 Relativistische Semantik der Modallogik.- § 2 Vollständigkeit der Standardsysteme und das Konzept der verallgemeinerten relativistischen Semantik.- § 3 Modallogische Tableau-Kalküle.- § 4 Spezielle Modelle — Filtration, Ramifikation und Kontraktion.- § 5 Der Verband der Erweiterungen einer Modallogik L.- § 6 Zeitlogik und das Konzept der Nachbarschaftssemantik.- Kap. V Intuitionistische Logik und verwandte logische Systeme.- § 1 Semantik und Vollständigkeit der intuitionistischen und minimalen Logik.- § 2 Der intuitionistische Tableau-Kalkül.- § 3 Algebraische Semantik und verallgemeinerte KRIPKE-Semantik.- § 4 Der Verband der intermediären Logiken.- § 5Konstruktive Logik.- Kap. VI Anhang — Zusammenstellung von Grundbegriffen.- § 1 Mengen und Abbildungen.- §2 Graphen und Strukturen.- § 3 Verbände.- § 4 Subalgebren und Kongruenzen.- VII Verzeichnisse.- Symbolverzeichnis.- Sach- und Namensverzeichnis.