Vor Ort
Merkzettel Warenkorb
  • Produktbild: Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth
  • Produktbild: Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth
Band 1740

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

Aus der Reihe Forschungsberichte des Landes Nordrhein-Westfalen

54,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1967

Abbildungen

74 S.

Herausgeber

Christian Fenske

Verlag

VS Verlag für Sozialwissenschaften

Seitenzahl

74

Maße (L/B/H)

24,4/17/0,5 cm

Gewicht

149 g

Auflage

1967

Sprache

Deutsch

ISBN

978-3-322-96118-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1967

Abbildungen

74 S.

Herausgeber

Christian Fenske

Verlag

VS Verlag für Sozialwissenschaften

Seitenzahl

74

Maße (L/B/H)

24,4/17/0,5 cm

Gewicht

149 g

Auflage

1967

Sprache

Deutsch

ISBN

978-3-322-96118-1

Herstelleradresse

VS Verlag für Sozialw.
Abraham-Lincoln-Straße 46
65189 Wiesbaden
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth
  • Produktbild: Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth
  • 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.