Mathematische Logik mit Informatik-Anwendungen

Häftad, Tyska, 1977

Av E. Bergmann, H. Noll

659 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1977-07-01
Mått133 x 203 x 19 mm
Vikt392 g
SpråkTyska
SerieHeidelberger Taschenbücher
Antal sidor326
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
EAN9783540082026

Mer från samma författare

Knochen und Gelenke

Knochen und Gelenke

G. Axhausen, E. Bergmann, L. Haslhofer, M. B. Schmidt, A. Lauche, W. Putschar, F. J. Lang

749 kr

Knochen und Gelenke

Knochen und Gelenke

G. Axhausen, E. Bergmann, L. Haslhofer, F.J. Lang, A. Lauche, W. Putschar, M.B. Schmidt, F. J. Lang, M. B. Schmidt

749 kr

Molecular and Quantum Pharmacology

Del 7

Molecular and Quantum Pharmacology

E. Bergmann, A. Pullman

2 779 kr

Chemical and Biochemical Reactivity

Del 6

Chemical and Biochemical Reactivity

E. Bergmann, A. Pullman

2 779 kr

Molecular and Quantum Pharmacology

Del 7

Molecular and Quantum Pharmacology

E. Bergmann, A. Pullman

2 779 kr

Chemical and Biochemical Reactivity

Del 6

Chemical and Biochemical Reactivity

E. Bergmann, A. Pullman

2 779 kr

Du kanske också är intresserad av

Chemical and Biochemical Reactivity

Del 6

Chemical and Biochemical Reactivity

E. Bergmann, A. Pullman

2 779 kr

Chemical and Biochemical Reactivity

Del 6

Chemical and Biochemical Reactivity

E. Bergmann, A. Pullman

2 779 kr

Molecular and Quantum Pharmacology

Del 7

Molecular and Quantum Pharmacology

E. Bergmann, A. Pullman

2 779 kr

Knochen und Gelenke

Knochen und Gelenke

G. Axhausen, E. Bergmann, L. Haslhofer, M. B. Schmidt, A. Lauche, W. Putschar, F. J. Lang

749 kr

Molecular and Quantum Pharmacology

Del 7

Molecular and Quantum Pharmacology

E. Bergmann, A. Pullman

2 779 kr

Knochen und Gelenke

Knochen und Gelenke

G. Axhausen, E. Bergmann, L. Haslhofer, F.J. Lang, A. Lauche, W. Putschar, M.B. Schmidt, F. J. Lang, M. B. Schmidt

749 kr

De fenomenala fruntimren på Grand Hôtel

4 pocket för 3

Del 1

De fenomenala fruntimren på Grand Hôtel

Ruth Kvarnström-Jones

125 kr

Kvinnorna

4 pocket för 3

Kvinnorna

125 kr

Charlies hämnd

Nyhet

Del 1

Charlies hämnd

Simona Ahrnstedt

79 kr125 kr

Väninnorna på Nordiska Kompaniet

Nyhet

Del 2

Väninnorna på Nordiska Kompaniet

Ruth Kvarnström-Jones

79 kr125 kr

Tillhör följande kategorier

1. Vorbemerkungen.- § 1. Einleitung.- § 2. Verwendete Notation.- 2. Einführung und Motivation.- § 3. Programmiersprachen und elementare Konzepte der mathematischen Logik.- § 4. Umgangssprache und die Gestalt der Syntax einer mathematischen Logik.- § 5. Das weitere Vorgehen.- 3. Syntax und Semantik der Prädikatenlogik.- § 6. Syntax und Semantik.- § 7. Prädikatenlogische Wahrheit.- 4. Eigenschaften der Prädikatenlogik.- § 8. Aussagenlogik im Rahmen der Prädikatenlogik.- § 9. Gesetze über Quantoren und Substitution.- § 10. Logisches Schließen als „Rechnen“: Folgern — Ableiten.- § 11. Der Vollständigkeitssatz.- § 12. Entscheidbarkeitsfragen.- 5. Logische Grundlagen des maschinellen Beweisens (Resolventenprinzip).- § 13. Einleitung.- § 14. Die Klauselform der Prädikatenlogik und Herbrand-Strukturen (eine Umformulierung der klassischen Logik).- § 15. Herbrand-Prozeduren.- § 16. Das Resolventenprinzip.- § 17. Beweisverfahren des Resolventenprinzips.- § 18. Der konstruktive Charakter von Resolventenableitungen (Greenscher Antworten-Extraktionsprozeß).- § 19. Prädikatenlogik als Programmiersprache.- 6. Die Methode der Formalisierung: zwei Beispiele.- § 20. Informationswiedergewinnung als Anwendungsbeispiel.- § 21. Exkurs: das Formalisieren.- § 22. Die Formalisierung der Wertzuweisung.- 7. Probleme mit der Logik.- § 23. Grenzen der mathematischen Logik.- § 24. Bemerkungen zur Geschichte der Logik.- Schlußbemerkungen.- A. Beweise von Eigenschaften über Zustandsabänderungen.- B. Der Beweis des Koinzidenztheorems.- C. Beweise von Eigenschaften der Substitution.- Cl. Beweis von Lemma 9.12.- C2. Charakterisierung der Komposition von Substitutionen.- C3. Der Beweis des Überführungstheorems Satz 9.16.- D. Der Satz von der universellenNormalform.- E. Semantische und syntaktische Beweisführung.- F. Beispiele für die Verwendung von Ableitungen.- F1. Beispiel für eine längere Ableitung.- F2. Das Theorem über neue Konstanten.- G. Hilfsmittel für den Vollständigkeitssatz.- G1. Der Lindenbaumsche Ergänzungssatz.- G2. Der Beweis von Satz 11.17.- H. Hilfsmittel aus der Theorie der Berechenbarkeit.- H1. Liste der verwendeten Definitionen und Sätze aus der Theorie der berechenbaren Wortfunktionen.- H2. Die Äquivalenz von Aufzählbarkeit und Semi-Entscheidbarkeit.- H3. Die Aufzählbarkeit der nicht erfüllbaren Formeln.- I. Eine „strikte“Syntax.- J. Zerlegungssatz für allgemeinste Vereinheitlicher.- Literaturangaben.- Hinweise zu weiterführender Literatur.- Verzeichnis häufig verwendeter Symbole.- Namen- und Sachverzeichnis.