Bookbot
Das Buch ist derzeit nicht auf Lager

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

Autoren

Mehr zum Buch

Inhaltsverzeichnis1. 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.

Buchvariante

1967

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.