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
549 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 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
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.
Hoppa över listan









Mer från samma serie
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
549 kr
Mathematische Behandlung einer angenäherten quasilinearen Potentialgleichung der ebenen kompressiblen Strömung
Fritz Reutter, Fritz Reutter, Patzelt Gerhard
Häftad
549 kr
Del 1904
Ein Verfahren zur Lösung des CAUCHY-Problems für lineare Systeme von partiellen Differentialgleichungen
Volkmar Scharf
Häftad
549 kr
Beiträge zum Problem der psychischen Beanspruchung
Hansgeorg Bartenwerfer, Ludwig Kötter, Wilhelm Sickel
Häftad
549 kr
Del 1898
Über die Konvergenz einiger Jacobi-Verfahren zur Bestimmung der Eigenwerte symmetrischer Matrizen
Gerhard Schröder
Häftad
549 kr
Über eine nichtlineare Differentialgleichung 2. Ordnung die bei einem gewissen Abschätzungsverfahren eine besondere Rolle spielt
Ernst Peschl, Karl Wilhelm Bauer
Häftad
549 kr
Ü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
549 kr
Hoppa över listan









Du kanske också är intresserad av
- Signerad!
- -30%
- -22%
Del 1
- Nyhet
Arbete i förändring : globalisering, digitalisering, hållbarhet och arbetets organisering
Peter Gladoic Håkansson (red.), Klara Öberg (red.)
Häftad
356 kr
- Nyhet
Hjärnans akilleshälar : hur din hjärna lurar dig, och vad du kan göra åt det
Anders Hansen
Inbunden
289 kr
- Nyhet
- Signerad!
Del 3
- Nyhet
- Signerad!
Del 2
- Nyhet