Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
