Fundamentos de L Gica E Teoria Da Computa O

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Könyv tartalma:

A könyv önálló bevezetést nyújt a matematikai logikába és a kiszámíthatóság elméletébe a matematika vagy az informatika szakos hallgatók számára. A könyv három részre tagolódik Hilbert matematika formalizálására irányuló programjának sikerei és kudarcai köré.

Az I. rész a formalizálás és a kiszámíthatóság kérdésével foglalkozik. A II.

rész az elsőrendű logikát mutatja be, beleértve G del teljességi tételét és Gentzen koherencia-tételét.

A III. rész az aritmetikával, a kiszámítható alkalmazások ábrázolhatóságával, G del teljességtelenségi tételével és a Presburger-aritmetika eldönthetőségével foglalkozik.

A IV. rész a kiválasztott feladatok részletes válaszait tartalmazza. Egy alapfokú kurzus az első két részre épülhetne, kivéve Gentzen számítását, és az első befejezetlenségi tételhez vezető út áttekintésével zárulna.

Egy haladóbb kurzusban a hallgatók által már ismert bevezető anyagot ki lehetne venni, és a Hilbert-program pozitív és negatív eredményeit meg lehetne állapítani, így a Gentzen által javasolt összefüggésbizonyítást és a III. részt teljes egészében le lehetne fedni. Ez a kibővített második kiadás a szövegnek az eredeti megjelenés óta készült javításait és számos alkalmi átdolgozását is tartalmazza.