Logikkalküle
著者
書誌事項
Logikkalküle
(Leitfäden der angewandten Mathematik und Mechanik, Bd. 43)(Teubner Studienbucher. Informatik)
Teubner, 1978
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 225-229
Includes index
内容説明・目次
目次
- 1. Einfuhrung und Hilfsmittel.- 1.1 Vorbemerkungen.- 1.2 Erster Abschnitt zur (klassischen) Aussagenlogik.- 1.3 Exkurs in die Allgemeine Algebra.- 1.4 Exkurs uber Verbande.- 1.5 Boole'sche Algebren.- 1.6 Heytingalgebren.- 1.7 Orthomodulare Verbande.- 2. Die Aussagenlogik und ihre Vollstandigkeitssatze (Hilberttypkalkule).- 2.1 Noch einmal Aussagenlogik ganz allgemein.- 2.2 Klassische Aussagenlogik.- 2.3 Intuitionistische Aussagenlogik.- 2.4 Quantenlogik.- 3. Die Pradikatenlogik und ihre Vollstandigkeitssatze (Hilberttypkalkule).- 3.1 Offene Pradikatenlogik (klassisch).- 3.2 Pradikatenlogik mit Quantoren
- Substitutionen.- 3.3 Der Goedel'sche Vollstandigkeitssatz.- 3.4 Pradikatenlogik mit Gleichheit.- 3.5 Ultraprodukte und der Kompaktheitssatz fur beliebige Sprachen der Pradikatenlogik.- 3.6 Intuitionistische Pradikatenlogik.- 4. Gentzensysteme.- 4.1 Der Sequenzenkalkul LK von Gentzen fur 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, Vollstandigkeit.- 4.5 Die Logik mit Gleichheit.- 4.6 Der intuitionistische Gentzenkalkul LJ.- 5. Testmethoden und die Kalkule des Automatischen Beweisens.- 5.1 Allgemeines uber Testmethoden.- 5.2 Der Kalkul von Maslov.- 5.3 Die Resolutionsmethode.- 5.4' Die Paramodulation.- 5.5 Reduktionssysteme.- Symbolverzeichnis.
「Nielsen BookData」 より