Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Deutsch
54,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
01.01.1967
Herausgeber
Christian FenskeVerlag
VS Verlag für SozialwissenschaftenSeitenzahl
74
Maße (L/B/H)
24,4/17/0,5 cm
Gewicht
155 g
Auflage
1967
Sprache
Deutsch
ISBN
978-3-322-96118-1
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.
Ein neues Kapitel für Ihre Bücher
Ein neues Kapitel für Ihre Bücher
Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.
Jetzt verkaufenKundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice