Del 1740 i serien Forschungsberichte des Landes Nordrhein-Westfalen

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

Häftad, Tyska, 1967

AvChristian Fenske,Christian Fenske

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1967-01-01
Mått170 x 244 x 5 mm
Vikt149 g
FormatHäftad
SpråkTyska
SerieForschungsberichte des Landes Nordrhein-Westfalen
Antal sidor74
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783322961181

Tillhör följande kategorier

Matematik inom Naturvetenskap och teknik

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

Giselher Valk, Manfred Peters, Lutz Husung, Werner Kelm - Über die chemische Modifizierung von Polyacrylnitril und entsprechenden Modellsubstanzen sowie deren Darstellung, Häftad

Über die chemische Modifizierung von Polyacrylnitril und entsprechenden Modellsubstanzen sowie deren Darstellung

Giselher Valk, Manfred Peters, Lutz Husung, Werner Kelm

Häftad, 1971

749 kr

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

749 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

749 kr

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

Ergebnisse psychologischer Untersuchungen am Unfallort

Udo Undeutsch, Udo Undeutsch

Häftad, 1962

729 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

749 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

749 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

749 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

749 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

749 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

749 kr

Du kanske också är intresserad av

Tushar Patel - Extracellular RNA, Häftad

Del 1740

Extracellular RNA

Tushar Patel

Häftad, 2019

1 199 kr

Tushar Patel - Extracellular RNA, Inbunden

Del 1740

Extracellular RNA

Tushar Patel

Inbunden, 2018

1 639 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

729 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

1 119 kr

Rebecca Yarros - Threshing Day (Limited Deluxe Edition), Inbunden

Nyhet

Threshing Day (Limited Deluxe Edition)

Rebecca Yarros

Inbunden, 2026

339 kr

Sara Strömberg - Sot, Pocket

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

79 kr129 kr

Sarah J. Maas - A Court of Forgotten Melody, Häftad

Del 7

A Court of Forgotten Melody

Sarah J. Maas

Häftad, 2027

249 kr289 kr

Sofie Sarenbrant - Blackout, Inbunden

Nyhet

Del 1

Blackout

Sofie Sarenbrant

Inbunden, 2026

269 kr319 kr

Kollegieblock A4 linjerat svart, Övrigt

Kollegieblock 3 för 2

Kollegieblock A4 linjerat svart

Kollektion Stora A

39 kr

Kulspetspenna Frixion Ball Clicker 0.7 svart, raderbar, Övrigt

3 för 2 Frixion

Kulspetspenna Frixion Ball Clicker 0.7 svart, raderbar

Pilot

55 kr