Kontakt
Ako nakupovať
Doručenie
Nákupný poradca
Beweisprogramme F r Die Pr dikatenlogik Und Der Vollst ndigkeitssatz Von Beth
Nemčina
128 b
Až 30 dní na vrátenie tovaru
Zákazníci tiež kúpili
/
Brožovaná
9.73
€
/
Brožovaná
12.25
€
/
Brožovaná
37.04
€
/
Pevná
27.50
€
/
Brožovaná
38.97
€
/
Pevná
17.26
€
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.
Informácie o knihe
Nemčina
Kategórie
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovanéhoMohlo by vás tiež zaujímať
/
Brožovaná
8.03
€
/
Brožovaná
33.73
€
/
Brožovaná
11.64
€
Ahoj! Som Libroamiko, tvoj knižný radca.
Ako ti môžem pomôcť?