عنوان

Grundzüge der theoretischen Logik

شابک

3642654002

شابک

3642654010

شابک

9783642654008

شابک

9783642654015

شماره

b572093

عنوان اصلي

Grundzüge der theoretischen Logik

نام عام مواد

[Book]

نام نخستين پديدآور

[von] D. Hilbert und W. Ackermann.

وضعيت ويراست

4. Aufl

محل نشرو پخش و غیره

Berlin

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

1959

نام خاص و کميت اثر

(viii, 188 pages).

عنوان فروست

Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Bd. 27.

متن يادداشت

Erstes Kapitel Der Aussagenkalkül --; {sect} 1. Einführung der logischen Grundverknüpfungen --; {sect} 2. Die Aussagenverknüpfungen als Wahrheitsfunktionen --; {sect} 3. Einführung von Variablen; allgemeingültige Aussagenformen --; {sect} 4. Äquivalenzen; Entbehrlichkeit von Grundverknüpfungen --; {sect} 5. Die konjunktive und die disjunktive Normalform für Ausdrücke --; {sect} 6. Das Prinzip der Dualität --; {sect} 7. Mannigfaltigkeit der Aussageformen, die mit gegebenen Aussage variablen gebildet werden können --; {sect} 8. Erfüllbarkeit einer Aussageform; Folgerungen aus gegebenen Axiomen --; {sect} 9. Axiomatik des Aussagenkalküls --; *{sect} 10. Der intuitionistische Aussagenkalkül --; *{sect} 11. Der Begriff einer strengen Implikation --; Übungen zum ersten Kapitel --; Zweites Kapitel Der Klassenkalkül --; {sect} 1. Klassenverknüpfungen und die Beziehungen zwischen Klassen --; {sect} 2. Die allgemeingültigen Ausdrücke des Klassenkalküls --; {sect} 3. Systematische Ableitung der traditionellen Aristotelischen Schlüsse --; Übungen zum zweiten Kapitel --; Drittes Kapitel Der engere Prädikatenkalkül --; {sect} 1. Unzulänglichkeit des bisherigen Kalküls --; {sect} 2. Methodische Grundgedanken des Prädikatenkalküls --; {sect} 3. Ausdrücke und ihre Allgemeingültigkeit --; {sect} 4. Ein Axiomensystem für die allgemeingültigen Ausdrücke --; {sect} 5. Sätze über das Axiomensystem --; {sect} 6. Die Ersetzungsregel; Bildung des Gegenteils eines Ausdrucks; das Dualitätsprinzip --; {sect} 7. Die pränexe Normalform; die Skolemsche Normalform --; {sect} 8. Die Widerspruchsfreiheit, Unabhängigkeit und Vollständigkeit des Axiomensystems --; {sect} 9. Der Prädikatenkalkül mit Identität --; {sect} 10. Axiomatik wissenschaftlicher Theorien; mehrsortiger Prädikatenkalkül; Axiomensysteme der ersten und der zweiten Stufe --; {sect} 11. Das Entscheidungsproblem --; {sect} 12. Der Begriff 'derjenige, welcher'; Einführung von Funktionen --; Übungen zum dritten Kapitel --; Viertes Kapitel Der erweiterte Prädikatenkalkül --; {sect} 1. Erweiterung des Prädikatenkalküls durch Hinzunahme der Quantoren für Prädikaten variable --; {sect} 2. Einführung von Prädikatenprädikaten; logische Behandlung des Anzahlbegriffs --; {sect} 3. Darstellung der Grundbegriffe der Mengenlehre im erweiterten Kalkül --; {sect} 4. Die logischen Paradoxien --; {sect} 5. Der Stufenkalkül --; {sect} 6. Anwendung des Stufenkalküls --; Namen- und Sachverzeichnis.

موضوع مستند نشده

Logic, Symbolic and mathematical.

موضوع مستند نشده

Logique symbolique et mathématique.

موضوع مستند نشده

Mathematische Logik.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

[von] D. Hilbert und W. Ackermann.

مستند نام اشخاص تاييد نشده

David Hilbert

مستند نام اشخاص تاييد نشده

W Ackermann

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y