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

Logikkalküle

Häftad, Tyska, 1978

609 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1978-06-01
Mått140 x 216 x 13 mm
Vikt303 g
FormatHäftad
SpråkTyska
SerieLeitfäden der angewandten Mathematik und Mechanik - Teubner Studienbücher
Antal sidor232
Upplaga1978
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519023456

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

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.

Mer från samma serie

Del 15

Turbulente Strömungen

Julius C. Rotta

Häftad, 2012

519 kr

Del 44

Methoden der analytischen Störungsrechnung und ihre Anwendungen

Eduard Stiefel

Häftad, 2013

519 kr

Del 58

Schalentheorie

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Häftad, 2012

519 kr

Del 60

Systemanalyse und Regelkreissynthese

Ernst D. Dickmanns

Häftad, 2012

519 kr

Del 27

Mathematische Methoden des Operations Research

Peter Kall

Häftad, 1976

1 009 kr

Stochastische Methoden des Operations Research

Springer Fachmedien Wiesbaden

Häftad, 1977

679 kr

Del 45

Differenzenapproximationen partieller Anfangswertaufgaben

Rainer Ansorge

Häftad, 1978

679 kr

Del 48

Algorithmen in Zellularautomaten

Roland Vollmar

Häftad, 1979

609 kr

Del 49

Spieltheorie

Burkhard Rauhut, Norbert Schmitz, Ernst-Wilhelm Zachow

Häftad, 1979

679 kr

Del 50

Fehlertolerante Systeme

Mario Dal Cin

Häftad, 1979

679 kr

Du kanske också är intresserad av

Del 17

Systematisches Programmieren

Springer Fachmedien Wiesbaden

Häftad, 1993

609 kr

Del 69

Iterative Lösung großer schwachbesetzter Gleichungssysteme

Wolgang Hackbusch

Häftad, 1990

679 kr

Del 15

Turbulente Strömungen

Julius C. Rotta

Häftad, 2012

519 kr

Differentialgleichungen

Lothar Collatz

Häftad, 1990

679 kr

Del 37

Datenbanksysteme: Konzepte und Modelle

Gunter Schlageter, Wolffried Stucky

Häftad, 1991

679 kr

Del 19

Mathematik für Naturwissenschaftler

Josef Hainzl

Häftad, 1981

679 kr

Del 47

Methode der finiten Elemente

Hans-Rudolf Schwarz

Häftad, 1991

679 kr

Del 3

Analyse von Rechensystemen

Gunter Bolch, Ian Fuat Akyildiz

Häftad, 1982

679 kr

Del 65

Einführung in die Dynamik

Friedrich Pfeiffer

Häftad, 1992

739 kr

Del 69

Iterative Lösung großer schwachbesetzter Gleichungssysteme

Springer Fachmedien Wiesbaden

Häftad, 1993

679 kr

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

Logikkalküle

Häftad, Tyska, 1978

609 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1978-06-01
Mått140 x 216 x 13 mm
Vikt303 g
FormatHäftad
SpråkTyska
SerieLeitfäden der angewandten Mathematik und Mechanik - Teubner Studienbücher
Antal sidor232
Upplaga1978
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519023456

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

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.