Let us wish you a happy birthday!
Date of Birth
Please fill in a complete birthday Enter a valid birthday
×
Beweisprogramme Fur Die Pradikatenlogik Und Der Vollstandigkeitssatz Von Beth by Christian Fenske - Paperback
318.57 AED

Beweisprogramme Fur Die Pradikatenlogik Und Der Vollstandigkeitssatz Von Beth by Christian Fenske - Paperback

Be the first to rate this product 

318.57 AED 

  - You Save -318.57 AED
All prices include VAT  Details
Category Type
Mathematics
ISBN
9783322961181
Author
Christian Fenske
Publisher
Vs Verlag Fur Sozialwissenschaften
Description:

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 ...

Ships From United States
Ship to Dubai (Change city)
Delivered within Sunday, Sep 2 - Monday, Sep 3 to Dubai

Condition:
New
Sold by:
InternationalBookStore (87% Positive Rating)

PRODUCT INFORMATION

  •  

    Specifications

    Category Type
    Mathematics
    ISBN
    9783322961181
    Languages
    German
    Item EAN
    2724436161415
    People
    Author
    Christian Fenske
    Category Type
    Mathematics
    ISBN
    9783322961181
    Languages
    German
    Item EAN
    2724436161415
    People
    Author
    Christian Fenske
    People
    Publisher
    Vs Verlag Fur Sozialwissenschaften
    Technical Information
    Binding
    Paperback
    Languages and countries
    Book Language
    German
    Read more
  •  

    Description:

    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

    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.

    Product Features:
    • Category: Mathematics
    • Binding: Paperback
    • Language of Text: German
    • Author(s): Christian Fenske
    • Publisher: Vs Verlag Fur Sozialwissenschaften
    • ISBN: 9783322961181
    • Number of Pages: 74
    • Dimensions: 9.61 x 6.69 x 0.16 inches
 

Customer Reviews

0
No ratings yet
Be the first to rate this product
Rate this product:

Sponsored products for you

×

Please verify your mobile number to complete your checkout

We will send you an SMS containing a verification code. Please double check your mobile number and click on "Send Verification Code".

+ Edit