Mathematische Logik mit Informatik-Anwendungen

AvE. Bergmann,H. Noll

Häftad, Tyska, 1977

Del 187 i serien Heidelberger Taschenbücher

519 kr

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

Produktinformation

Utgivningsdatum:1977-07-01
Mått:133 x 203 x 19 mm
Vikt:392 g
Format:Häftad
Språk:Tyska
Serie:Heidelberger Taschenbücher
Antal sidor:326
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540082026

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

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.

Mer från samma författare

Knochen und Gelenke

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

Häftad, 2012

587 kr

Mathematische Logik mit Informatik-Anwendungen

H. Noll, E. Bergmann

E-bok

2013

542 kr

Knochen und Gelenke

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

Häftad, 1937

587 kr

Knochen und Gelenke

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

E-bok

2013

591 kr

Molecular and Quantum Pharmacology

E. Bergmann, A. Pullman

Inbunden, 1975

2 202 kr

Del 6

Chemical and Biochemical Reactivity

E. Bergmann, A. Pullman

Inbunden, 1975

2 202 kr

Molecular and Quantum Pharmacology

A. Pullman, E. Bergmann

E-bok

2012

2 833 kr

Del 7

Molecular and Quantum Pharmacology

E. Bergmann, A. Pullman

Häftad, 2011

2 197 kr

Del 6

Chemical and Biochemical Reactivity

E. Bergmann, A. Pullman

Häftad, 2011

2 197 kr

Mer från samma serie

Del 140

Assembler I

Rainer Alletsee, Horst Jung, Gerd F. Umhauer, Rainer Alletsee, Horst Jung

Häftad, 1988

588 kr

Von Zahlen und Figuren

Hans Rademacher, Otto Toeplitz

Häftad, 1968

879 kr

Del 3

Virus und Molekularbiologie

W. Weidel

Häftad, 1964

588 kr

Del 5

Biologie der Antibiotica

H. Zähner

Häftad, 1965

588 kr

Theoretische Physik auf der Grundlage einer allgemeinen Dynamik

Gottfried Falk

Häftad, 1966

571 kr

Del 8

Theoretische Physik auf der Grundlage einer allgemeinen Dynamik

Gottfried Falk

Häftad, 1966

674 kr

Die Welt der Elementarteilchen

Kenneth W. Ford

Häftad, 1966

571 kr

Experimentelle Methoden der Kernphysik

P. Stoll

Häftad, 1966

571 kr

Quantenmechanik in algebraischer Darstellung

Herbert S. Green

Häftad, 1966

674 kr

Elektronentheorie der Metalle

A. Sommerfeld, H. Bethe, A. Sommerfeld, H. Bethe

Häftad, 1967

776 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Mathematische Logik mit Informatik-Anwendungen

H. Noll, E. Bergmann

E-bok

2013

542 kr

Del 6

Chemical and Biochemical Reactivity

E. Bergmann, A. Pullman

Häftad, 2011

2 197 kr

Del 6

Chemical and Biochemical Reactivity

E. Bergmann, A. Pullman

Inbunden, 1975

2 202 kr

Del 7

Molecular and Quantum Pharmacology

E. Bergmann, A. Pullman

Häftad, 2011

2 197 kr

Knochen und Gelenke

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

Häftad, 2012

587 kr

Molecular and Quantum Pharmacology

E. Bergmann, A. Pullman

Inbunden, 1975

2 202 kr

Knochen und Gelenke

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

Häftad, 1937

587 kr

Molecular and Quantum Pharmacology

A. Pullman, E. Bergmann

E-bok

2012

2 833 kr

Knochen und Gelenke

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

E-bok

2013

591 kr

Mathematische Logik mit Informatik-Anwendungen

AvE. Bergmann,H. Noll

Häftad, Tyska, 1977

Del 187 i serien Heidelberger Taschenbücher

519 kr

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

Produktinformation

Utgivningsdatum:1977-07-01
Mått:133 x 203 x 19 mm
Vikt:392 g
Format:Häftad
Språk:Tyska
Serie:Heidelberger Taschenbücher
Antal sidor:326
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540082026

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

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.