Fenske | Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth | E-Book | sack.de
E-Book

E-Book, Deutsch, 74 Seiten, eBook

Reihe: Fachgruppe Textilforschung

Fenske Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth


1967
ISBN: 978-3-322-96252-2
Verlag: VS Verlag für Sozialwissenschaften
Format: PDF
 Kopierschutz: 1 - PDF Watermark

E-Book, Deutsch, 74 Seiten, eBook

Reihe: Fachgruppe Textilforschung

ISBN: 978-3-322-96252-2
Verlag: VS Verlag für Sozialwissenschaften
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Fenske Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Fenske, Christian

Weitere Infos & Material

1. Boolesche Algebren.- 1.1 Definitionen.- 1.2 Erzeugendensysteme.- 1.3 Ideale in Booleschen Algebren.- 1.4 Unendliche Vereinigungen und Durchschnitte.- 2. Aussagenlogik.- 2.1 Definition der Aussagenlogik.- 2.2 Der Satz von Lindenbaum.- 2.3 Der Vollständigkeitssatz.- 2.4 Normalformen.- 3. Praedikatenlogik.- 3.1 Definition der Praedikatenlogik.- 3.2 Die Q-Algebra des PK.- 3.3 Belegungen.- 3.4 Der Bethsche Vollständigkeitsbeweis.- 3.5 Der Satz von Beth für praenexe Normalform.- 4. Der Satz von Herbrand und einige Beweisprogramme.- 4.1 Der Satz von Herbrand.- 4.2 Programme, die auf dem Satz von Herbrand beruhen.- 4.3 Das Verfahren von D. Prawitz, H. Prawitz und N. Voghera.- 5. Unser Beweisprogramm.- 5.1 Grundriß des Verfahrens.- 5.2 Begründung unseres Verfahrens.- 5.3 Das COMIT-Beweisprogramm.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.