Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Skapa nya rutiner – hälsoböcker upp till 50% →

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

AvChristian Fenske,Christian Fenske

Häftad, Tyska, 1967

Del 1740 i serien Forschungsberichte des Landes Nordrhein-Westfalen

557 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

433 kr

Produktinformation

Utgivningsdatum:1967-01-01
Mått:170 x 244 x 5 mm
Vikt:149 g
Format:Häftad
Språk:Tyska
Serie:Forschungsberichte des Landes Nordrhein-Westfalen
Antal sidor:74
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783322961181

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

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.

Mer från samma serie

Edgar Schultze, E. Schultze, H. Schmidt-Schleicher - Die Kriecheigenschaften von Schluff, Häftad

Del 2268

Die Kriecheigenschaften von Schluff

Edgar Schultze, E. Schultze, H. Schmidt-Schleicher

Häftad, 1973

557 kr

Hermann Schulte, Hermann Schulte - Ein direkter zweidimensionaler Operatorenkalkül zur Lösung partieller Differenzengleichungen und seine Anwendung bei der numerischen Lösung partieller Differentialgleichungen, Häftad

Del 1800

Ein direkter zweidimensionaler Operatorenkalkül zur Lösung partieller Differenzengleichungen und seine Anwendung bei der numerischen Lösung partieller Differentialgleichungen

Hermann Schulte, Hermann Schulte

Häftad, 1967

557 kr

Udo Undeutsch, Udo Undeutsch - Ergebnisse psychologischer Untersuchungen am Unfallort, Häftad

Ergebnisse psychologischer Untersuchungen am Unfallort

Udo Undeutsch, Udo Undeutsch

Häftad, 1962

541 kr

Fritz Reutter, Fritz Reutter, Patzelt Gerhard - Mathematische Behandlung einer angenäherten quasilinearen Potentialgleichung der ebenen kompressiblen Strömung, Häftad

Del 1074

Mathematische Behandlung einer angenäherten quasilinearen Potentialgleichung der ebenen kompressiblen Strömung

Fritz Reutter, Fritz Reutter, Patzelt Gerhard

Häftad, 1962

557 kr

Volkmar Scharf - Ein Verfahren zur Lösung des CAUCHY-Problems für lineare Systeme von partiellen Differentialgleichungen, Häftad

Del 1904

Ein Verfahren zur Lösung des CAUCHY-Problems für lineare Systeme von partiellen Differentialgleichungen

Volkmar Scharf

Häftad, 1968

557 kr

Hansgeorg Bartenwerfer, Ludwig Kötter, Wilhelm Sickel - Beiträge zum Problem der psychischen Beanspruchung, Häftad

Del 1131

Beiträge zum Problem der psychischen Beanspruchung

Hansgeorg Bartenwerfer, Ludwig Kötter, Wilhelm Sickel

Häftad, 1963

557 kr

Klemens Lohmann - Über das lokale Verhalten von Lösungen linearer elliptischer partieller Differentialgleichungssysteme in der Nähe isolierter Singularitäten, Häftad

Del 1898

Über das lokale Verhalten von Lösungen linearer elliptischer partieller Differentialgleichungssysteme in der Nähe isolierter Singularitäten

Klemens Lohmann

Häftad, 1967

557 kr

Gerhard Schröder - Über die Konvergenz einiger Jacobi-Verfahren zur Bestimmung der Eigenwerte symmetrischer Matrizen, Häftad

Del 1291

Über die Konvergenz einiger Jacobi-Verfahren zur Bestimmung der Eigenwerte symmetrischer Matrizen

Gerhard Schröder

Häftad, 1964

557 kr

Ernst Peschl, Karl Wilhelm Bauer - Über eine nichtlineare Differentialgleichung 2. Ordnung die bei einem gewissen Abschätzungsverfahren eine besondere Rolle spielt, Häftad

Del 1306

Über eine nichtlineare Differentialgleichung 2. Ordnung die bei einem gewissen Abschätzungsverfahren eine besondere Rolle spielt

Ernst Peschl, Karl Wilhelm Bauer

Häftad, 1964

557 kr

Ernst Peschl, Karl Wilhelm Bauer - Über nichtlineare Differentialgleichungen 2. Ordnung, die für eine Abschätzungsmethode bei partiellen Differentialgleichungen vom elliptischen Typus besonders wichtig sind, Häftad

Del 1374

Über nichtlineare Differentialgleichungen 2. Ordnung, die für eine Abschätzungsmethode bei partiellen Differentialgleichungen vom elliptischen Typus besonders wichtig sind

Ernst Peschl, Karl Wilhelm Bauer

Häftad, 1964

557 kr

Du kanske också är intresserad av

Christian Fenske, Christian Fenske - Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth, E-bok

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

Christian Fenske, Christian Fenske

E-bok

2013

433 kr

B. Kawohl, O. Pironneau, L. Tartar, J.-P. Zolesio, A. Cellina, A. Ornelas - Optimal Shape Design, Häftad

Del 1740

Optimal Shape Design

B. Kawohl, O. Pironneau, L. Tartar, J.-P. Zolesio, A. Cellina, A. Ornelas

Häftad, 2000

541 kr

Katerina Zdravkova, Lasko Basnarkov - ICT Innovations 2022. Reshaping the Future Towards a New Normal, Häftad

Del 1740

ICT Innovations 2022. Reshaping the Future Towards a New Normal

Katerina Zdravkova, Lasko Basnarkov

Häftad, 2023

833 kr

IJustWantToBeCool, Joel Adolphson, Emil Ejdemo Beer, Victor Beer - SIGNERAD - Kopians hämnd, Inbunden

Signerad!

Del 2

SIGNERAD - Kopians hämnd

IJustWantToBeCool, Joel Adolphson, Emil Ejdemo Beer, Victor Beer

Inbunden, 2026

189 kr

Marcus Frank - SIGNERAD - Mackans kost : Middagar och matlådor, Inbunden

Signerad!

SIGNERAD - Mackans kost : Middagar och matlådor

Marcus Frank

Inbunden, 2026

269 kr

Flora Wiström - Stortaxi, Inbunden

-19%

Stortaxi

Flora Wiström

Inbunden, 2026

209 kr259 kr

Annifrid Lilja, Björn Lilja - SIGNERAD - Enkel privatekonomi : Din praktiska guide till livets alla pengafrågor, Kartonnage

Signerad!

SIGNERAD - Enkel privatekonomi : Din praktiska guide till livets alla pengafrågor

Annifrid Lilja, Björn Lilja

Kartonnage, 2026

229 kr

Malin Nordström - Kalla mig syster, Pocket

-30%

Del 1

Kalla mig syster

Malin Nordström

Pocket, 2026

(20)

69 kr99 kr

Marcus Frank - Mackans kost : goda och enkla recept för veckans alla dagar, Inbunden

Mackans kost : goda och enkla recept för veckans alla dagar

Marcus Frank

Inbunden, 2025

(43)

259 kr

Francesca Giannone - Brevbäraren i Lizzanello, Pocket

Brevbäraren i Lizzanello

Francesca Giannone

Pocket, 2026

(133)

99 kr