رکورد قبلیرکورد بعدی

" Site effects in parametric ground motion models for the GEM-PEER Global GMPEs Project "


Document Type : BL
Record Number : 741000
Doc. No : b560945
Main Entry : von Christian Fenske.
Title & Author : Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth\ von Christian Fenske.
Publication Statement : Wiesbaden : VS Verlag für Sozialwissenschaften, 1967
Series Statement : Forschungsberichte des Landes Nordrhein-Westfalen, 1740
Page. NO : 74 Seiten
ISBN : 3322961184
: : 3322962520
: : 9783322961181
: : 9783322962522
Notes : 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.
Subject : Mathematics, general.
Subject : Mathematics.
LC Classification : ‭T7‬‭.V663 1967‬
Added Entry : Christian Fenske
کپی لینک

پیشنهاد خرید
پیوستها
عنوان :
نام فایل :
نوع عام محتوا :
نوع ماده :
فرمت :
سایز :
عرض :
طول :
1963r6jf_15945.pdf
1963r6jf.pdf
مقاله لاتین
متن
application/pdf
636.94 KB
85
85
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟