Compartir
Beweisprogramme Für Die Prädikatenlogik Und Der Vollständigkeitssatz Von Beth (en Alemán)
Christian Fenske
(Autor)
·
Vs Verlag Fur Sozialwissenschaften
· Tapa Blanda
Beweisprogramme Für Die Prädikatenlogik Und Der Vollständigkeitssatz Von Beth (en Alemán) - Fenske, Christian ; Fenske, Christian
$ 267.897
$ 535.793
Ahorras: $ 267.897
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Lunes 05 de Agosto y el
Lunes 19 de Agosto.
Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.
Reseña del libro "Beweisprogramme Für Die Prädikatenlogik Und Der Vollständigkeitssatz Von Beth (en Alemán)"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Alemán.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.