A matematikai logika alapjai

Olvasói vélemények

A könyv a matematikai logika átfogó tankönyve, amely jól szervezett bevezetést nyújt különböző témákba, mint például az állítólogika, az elsőrendű logika, a halmazelmélet, a modellelmélet és a rekurzióelmélet. Míg sok recenzens dicséri a könyv áttekinthetőségét, koherenciáját és mélységét, néhányan rámutatnak a figyelemre méltó hiányosságokra, különösen a bizonyításelmélet terén, ami miatt a szöveg bizonyos területeken hiányosnak tűnik.

A matematikai logika témáinak átfogó lefedettsége.

Jól megírt, kivételesen világos és koherens.

(3 olvasói vélemény alapján)

Eredeti címe:

Fundamentals of Mathematical Logic

Könyv tartalma:

Ez a bevezető graduális szöveg a modern matematikai logikát tárgyalja a tételes, elsőrendű és infinitárius logikától és Godel hiányossági tételeitől kezdve a halmazelmélet, modellelmélet és rekurzióelmélet (kiszámíthatóság) elméletének átfogó bevezetéséig.

A szerző több mint 35 éves oktatói tapasztalatára alapozva a könyv a hallgatók intuícióját fejleszti azáltal, hogy a bonyolult gondolatokat a legegyszerűbb kontextusban mutatja be, amelyben azok értelmet nyernek. A könyv alkalmas tantermi szövegként, önképzésre és a modern logika helyzetéről szóló referenciaként.