Beweisprogramme F r Die Pr dikatenlogik Und Der Vollst ndigkeitssatz Von Beth

Name: Beweisprogramme F r Die Pr dikatenlogik Und Der Vollst ndigkeitssatz Von Beth
Brand: VS Verlag für Sozialwissenschaften
SKU: 9783322961181
Price: 20353 HUF
Availability: InStock

Szerző: Christian Fenske, Christian Fenske

Nyelv:

Kötés: Puha kötésű

Kiadó: VS Verlag für Sozialwissenschaften

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

20 353 Ft

Die vorliegende Schrift ist eine - teilweise verbesserte und umgearbeitete - Fassung einer Arbeit, d...

Információk a könyvről

Szerző

Christian Fenske, Christian Fenske

Nyelv

Német

Kötés

Könyv - Puha kötésű

oldal

EAN

9783322961181

ISBN

3322961184

Enbook ID

02644920

Kiadó

VS Verlag für Sozialwissenschaften

Súly

136

Méretek

170 x 244 x 4

Teljes leírás

Die vorliegende Schrift ist eine - teilweise verbesserte und umgearbeitete - Fassung einer Arbeit, die aus einem Seminar tiber die Anwendungsmoglichkeiten der Programrniersprache COMIT bei Herrn Professor UNGER hervorging. Herrn Professor UNGER und Herrn Professor HASENJAEGER, der mich in den Problem kreis der maschinellen Beweisverfahren eingefuhrt und speziell auf die Moglich keit hingewiesen hat, den Bethschen Vollstandigkeitsbeweis fur ein solches Ver fahren nutzbar zu machen, gilt mein besonderer Dank. Herrn Professor HASEN JAEGER verdanke ich auch den Hinweis auf die (in 3.5 behandelte) Version des Bethschen Satzes fur praenexe N ormalform. In dieser Arbeit stellen wir ein neues Beweisprogramm fur die Praedikatenlogik dar, das "im Prinzip" in der Lage ist, jeden wahren Satz der Praedikatenlogik auch zu beweisen. Grundlage dieses Programmes ist der Vollstandigkeitsbeweis von BETH [1], den wir auch fiir zahlreiche Beweise heranziehen werden. Grundsatzlich solI diese Arbeit ohne Vorkenntnisse aus der Logik verstandlich sein; im ersten Teil stellen wir daher die Aussagen- und Praedikatenlogik von Grund auf dar. Urn uns langwierige syntaktische Herleitungen soweit als moglich zu ersparen, folgen wir hierbei den im wesentlichen von H. RASIOWA und R.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Beweisprogramme F r Die Pr dikatenlogik Und Der Vollst ndigkeitssatz Von Beth

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták