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

572 kr

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

Fler format och utgåvor

E-bok

452 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

Del 2689

Untersuchung der Bewegung von Spinn- und Zwirnläufern auf der Ringbahn

Oskar Becker

Häftad, 1977

572 kr

Del 3002

Ermittlung und Analyse von Unfallschwerpunkten im innerbetrieblichen Transport

Reinald Skiba

Häftad, 1981

829 kr

Del 2268

Die Kriecheigenschaften von Schluff

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

Häftad, 1973

572 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

572 kr

Ergebnisse psychologischer Untersuchungen am Unfallort

Udo Undeutsch, Udo Undeutsch

Häftad, 1962

556 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

572 kr

Del 1904

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

Volkmar Scharf

Häftad, 1968

572 kr

Del 1131

Beiträge zum Problem der psychischen Beanspruchung

Hansgeorg Bartenwerfer, Ludwig Kötter, Wilhelm Sickel

Häftad, 1963

572 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

572 kr

Del 1291

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

Gerhard Schröder

Häftad, 1964

572 kr

Du kanske också är intresserad av

Del 1740

Extracellular RNA

Tushar Patel

Häftad, 2019

913 kr

Del 1740

Extracellular RNA

Tushar Patel

Inbunden, 2018

1 252 kr

Del 1740

Optimal Shape Design

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

Häftad, 2000

556 kr

Del 1740

ICT Innovations 2022. Reshaping the Future Towards a New Normal

Katerina Zdravkova, Lasko Basnarkov

Häftad, 2023

856 kr