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

Påfyllt med fler pocketböcker – 4 för 3 →

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

AvChristian Fenske,Christian Fenske

Häftad, Tyska, 1967

Del i serien Forschungsberichte des Landes Nordrhein-Westfalen

558 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 undefined mm
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

Die Kriecheigenschaften von Schluff

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

Häftad, 1973

558 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

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

558 kr

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

Ergebnisse psychologischer Untersuchungen am Unfallort

Udo Undeutsch, Udo Undeutsch

Häftad, 1962

543 kr

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

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

Fritz Reutter, Fritz Reutter, Patzelt Gerhard

Häftad, 1962

558 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

558 kr

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

Beiträge zum Problem der psychischen Beanspruchung

Hansgeorg Bartenwerfer, Ludwig Kötter, Wilhelm Sickel

Häftad, 1963

558 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

558 kr

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

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

Gerhard Schröder

Häftad, 1964

558 kr

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

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

Ernst Peschl, Karl Wilhelm Bauer

Häftad, 1964

558 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

Ü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

558 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

Madeleine Erichsen, Liselotte Holmgren - De säger att jag ska dö nu : ett halvt liv för tidigt, Häftad

De säger att jag ska dö nu : ett halvt liv för tidigt

Madeleine Erichsen, Liselotte Holmgren

Häftad, 2026

(7)

263 kr

Francesca Giannone - Brevbäraren i Lizzanello, Pocket

4 för 3

Brevbäraren i Lizzanello

Francesca Giannone

Pocket, 2026

(92)

99 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

Tone Schunnesson - Ultravåld, Inbunden

-19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

(21)

209 kr259 kr

Caro Claire Burke - Yesteryear (svensk utgåva), Inbunden

-23%

Yesteryear (svensk utgåva)

Caro Claire Burke

Inbunden, 2026

199 kr259 kr

Jens Ganman - Skjut Gräv Tig, Häftad

-17%

Del 2

Skjut Gräv Tig

Jens Ganman

Häftad, 2026

(218)

189 kr229 kr

Jessika Devert - Tanter på tåg, Pocket

4 för 3

Tanter på tåg

Jessika Devert

Pocket, 2026

99 kr

Katarina Wennstam - Lucia är död, Pocket

4 för 3

Del 3

Lucia är död

Katarina Wennstam

Pocket, 2026

(22)

89 kr

Anders de la Motte, Anette de la Motte - Intrig i Amalfi, Pocket

-30%

Del 2

Intrig i Amalfi

Anders de la Motte, Anette de la Motte

Pocket, 2026

(54)

69 kr99 kr