Logikkalküle

Häftad, Tyska, 1978

Del 43 i serien Leitfäden der angewandten Mathematik und Mechanik - Teubner Studienbücher

469 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1978-06-01
Mått:140 x 216 x 13 mm
Vikt:303 g
Format:Häftad
Språk:Tyska
Serie:Leitfäden der angewandten Mathematik und Mechanik - Teubner Studienbücher
Antal sidor:232
Upplaga:1978
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783519023456

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

1. Einführung und Hilfsmittel.- 1.1 Vorbemerkungen.- 1.2 Erster Abschnitt zur (klassischen) Aussagenlogik.- 1.3 Exkurs in die Allgemeine Algebra.- 1.4 Exkurs über Verbände.- 1.5 Boole’sche Algebren.- 1.6 Heytingalgebren.- 1.7 Orthomodulare Verbände.- 2. Die Aussagenlogik und ihre Vollständigkeitssätze (Hilberttypkalküle).- 2.1 Noch einmal Aussagenlogik ganz allgemein.- 2.2 Klassische Aussagenlogik.- 2.3 Intuitionistische Aussagenlogik.- 2.4 Quantenlogik.- 3. Die Prädikatenlogik und ihre Vollständigkeitssätze (Hilberttypkalküle).- 3.1 Offene Prädikatenlogik (klassisch).- 3.2 Prädikatenlogik mit Quantoren; Substitutionen.- 3.3 Der Gödel’sche Vollständigkeitssatz.- 3.4 Prädikatenlogik mit Gleichheit.- 3.5 Ultraprodukte und der Kompaktheitssatz für beliebige Sprachen der Prädikatenlogik.- 3.6 Intuitionistische Prädikatenlogik.- 4. Gentzensysteme.- 4.1 Der Sequenzenkalkül LK von Gentzen für die klassische Logik und einige seiner grundlegenden Eigenschaften.- 4.2 Der Schnitteliminationssatz und Gentzens Hauptsatz.- 4.3 Einige Anwendungen des Schnitteliminationssatzes.- 4.4 Semantische Betrachtungen, Vollständigkeit.- 4.5 Die Logik mit Gleichheit.- 4.6 Der intuitionistische Gentzenkalkül LJ.- 5. Testmethoden und die Kalküle des Automatischen Beweisens.- 5.1 Allgemeines über Testmethoden.- 5.2 Der Kalkül von Maslov.- 5.3 Die Resolutionsmethode.- 5.4’ Die Paramodulation.- 5.5 Reduktionssysteme.- Symbolverzeichnis.

Du kanske också är intresserad av

Nyhet

L’amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

-19%

Stortaxi

Flora Wiström

Inbunden, 2026

(3)

209 kr259 kr

Del 17

Systematisches Programmieren

Springer Fachmedien Wiesbaden

Häftad, 1993

469 kr

Del 15

Turbulente Strömungen

Julius C. Rotta

Häftad, 2012

397 kr

Del 69

Iterative Lösung großer schwachbesetzter Gleichungssysteme

Wolgang Hackbusch

Häftad, 1990

521 kr

Del 37

Datenbanksysteme: Konzepte und Modelle

Gunter Schlageter, Wolffried Stucky

Häftad, 1991

520 kr

Differentialgleichungen

Lothar Collatz

Häftad, 1990

521 kr

Del 19

Mathematik für Naturwissenschaftler

Josef Hainzl

Häftad, 1981

521 kr

Del 47

Methode der finiten Elemente

Hans-Rudolf Schwarz

Häftad, 1991

521 kr

Del 74

Einführung in die Strömungsmeßtechnik

Helmut Eckelmann, E. Meister, G. Hotz, P. Kall, K. Magnus

Häftad, 1997

521 kr

Logikkalküle

Häftad, Tyska, 1978

Del 43 i serien Leitfäden der angewandten Mathematik und Mechanik - Teubner Studienbücher

469 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1978-06-01
Mått:140 x 216 x 13 mm
Vikt:303 g
Format:Häftad
Språk:Tyska
Serie:Leitfäden der angewandten Mathematik und Mechanik - Teubner Studienbücher
Antal sidor:232
Upplaga:1978
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783519023456

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

1. Einführung und Hilfsmittel.- 1.1 Vorbemerkungen.- 1.2 Erster Abschnitt zur (klassischen) Aussagenlogik.- 1.3 Exkurs in die Allgemeine Algebra.- 1.4 Exkurs über Verbände.- 1.5 Boole’sche Algebren.- 1.6 Heytingalgebren.- 1.7 Orthomodulare Verbände.- 2. Die Aussagenlogik und ihre Vollständigkeitssätze (Hilberttypkalküle).- 2.1 Noch einmal Aussagenlogik ganz allgemein.- 2.2 Klassische Aussagenlogik.- 2.3 Intuitionistische Aussagenlogik.- 2.4 Quantenlogik.- 3. Die Prädikatenlogik und ihre Vollständigkeitssätze (Hilberttypkalküle).- 3.1 Offene Prädikatenlogik (klassisch).- 3.2 Prädikatenlogik mit Quantoren; Substitutionen.- 3.3 Der Gödel’sche Vollständigkeitssatz.- 3.4 Prädikatenlogik mit Gleichheit.- 3.5 Ultraprodukte und der Kompaktheitssatz für beliebige Sprachen der Prädikatenlogik.- 3.6 Intuitionistische Prädikatenlogik.- 4. Gentzensysteme.- 4.1 Der Sequenzenkalkül LK von Gentzen für die klassische Logik und einige seiner grundlegenden Eigenschaften.- 4.2 Der Schnitteliminationssatz und Gentzens Hauptsatz.- 4.3 Einige Anwendungen des Schnitteliminationssatzes.- 4.4 Semantische Betrachtungen, Vollständigkeit.- 4.5 Die Logik mit Gleichheit.- 4.6 Der intuitionistische Gentzenkalkül LJ.- 5. Testmethoden und die Kalküle des Automatischen Beweisens.- 5.1 Allgemeines über Testmethoden.- 5.2 Der Kalkül von Maslov.- 5.3 Die Resolutionsmethode.- 5.4’ Die Paramodulation.- 5.5 Reduktionssysteme.- Symbolverzeichnis.