|
|
|
|
LEADER |
03485nmm a2200325 u 4500 |
001 |
EB000668612 |
003 |
EBX01000000000000000521694 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
140122 ||| ger |
020 |
|
|
|a 9783642654008
|
100 |
1 |
|
|a Hilbert, David
|
245 |
0 |
0 |
|a Grundzüge der Theoretischen Logik
|h Elektronische Ressource
|c von David Hilbert, Wilhelm Ackermann
|
250 |
|
|
|a 6th ed. 1959
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 1959, 1959
|
300 |
|
|
|a VIII, 188 S.
|b online resource
|
505 |
0 |
|
|a Übungen zum zweiten Kapitel -- Drittes Kapitel Der engere Prädikatenkalkül -- § 1. Unzulänglichkeit des bisherigen Kalküls -- § 2. Methodische Grundgedanken des Prädikatenkalküls -- § 3. Ausdrücke und ihre Allgemeingültigkeit -- § 4. Ein Axiomensystem für die allgemeingültigen Ausdrücke -- § 5. Sätze über das Axiomensystem -- § 6. Die Ersetzungsregel; Bildung des Gegenteils eines Ausdrucks; das Dualitätsprinzip -- § 7. Die pränexe Normalform; die Skolemsche Normalform -- § 8. Die Widerspruchsfreiheit, Unabhängigkeit und Vollständigkeit des Axiomensystems -- § 9. Der Prädikatenkalkül mit Identität -- § 10. Axiomatik wissenschaftlicher Theorien; mehrsortiger Prädikatenkalkül; Axiomensysteme der ersten und der zweiten Stufe -- § 11. Das Entscheidungsproblem -- § 12. Der Begriff „derjenige,welcher“; Einführung von Funktionen -- Übungen zum dritten Kapitel -- Viertes Kapitel Der erweiterte Prädikatenkalkül --
|
505 |
0 |
|
|a Erstes Kapitel Der Aussagenkalkül -- § 1. Einführung der logischen Grundverknüpfungen -- § 2. Die Aussagenverknüpfungen als Wahrheitsfunktionen -- § 3. Einführung von Variablen; allgemeingültige Aussagenformen -- § 4. Äquivalenzen; Entbehrlichkeit von Grundverknüpfungen -- § 5. Die konjunktive und die disjunktive Normalform für Ausdrücke -- § 6. Das Prinzip der Dualität -- § 7. Mannigfaltigkeit der Aussageformen, die mit gegebenen Aussage variablen gebildet werden können -- § 8. Erfüllbarkeit einer Aussageform; Folgerungen aus gegebenen Axiomen -- § 9. Axiomatik des Aussagenkalküls -- *§ 10. Der intuitionistische Aussagenkalkül -- *§ 11. Der Begriff einer strengen Implikation -- Übungen zum ersten Kapitel -- Zweites Kapitel Der Klassenkalkül -- § 1. Klassenverknüpfungen und die Beziehungen zwischen Klassen -- § 2. Die allgemeingültigen Ausdrücke des Klassenkalküls -- § 3. Systematische Ableitung der traditionellen Aristotelischen Schlüsse --
|
505 |
0 |
|
|a § 1. Erweiterung des Prädikatenkalküls durch Hinzunahme der Quantoren für Prädikaten variable -- § 2. Einführung von Prädikatenprädikaten; logische Behandlung des Anzahlbegriffs -- § 3. Darstellung der Grundbegriffe der Mengenlehre im erweiterten Kalkül -- § 4. Die logischen Paradoxien -- § 5. Der Stufenkalkül -- § 6. Anwendung des Stufenkalküls -- Namen- und Sachverzeichnis
|
653 |
|
|
|a Mathematical logic
|
653 |
|
|
|a Formal Languages and Automata Theory
|
653 |
|
|
|a Machine theory
|
653 |
|
|
|a Mathematical Logic and Foundations
|
700 |
1 |
|
|a Ackermann, Wilhelm
|e [author]
|
041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
490 |
0 |
|
|a Grundlehren der mathematischen Wissenschaften, A Series of Comprehensive Studies in Mathematics
|
028 |
5 |
0 |
|a 10.1007/978-3-642-65400-8
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-65400-8?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 511.3
|