Mathematical Logic: A First Course

Olvasói vélemények

Joel William Robbin könyve egy matematikai logikai szöveg, amely igyekszik világos bevezetést nyújtani a modellelméletbe és az elsőrendű logikába. A vélemények a könyv pozitív és negatív aspektusait egyaránt kiemelik, egyesek dicsérik tömör és világos bemutatását, míg mások kritizálják a jegyzetelést és a magyarázatokat.

⬤ Világos és tömör bevezetés a modellelméletbe és az elsőrendű logikába.
⬤ Teljes képződési szabályokat és axiomatikát tartalmaz, így alkalmas az önképzésre.
⬤ Jól strukturált, hasznos meglátásokkal és jó feladatválasztékkal.
⬤ A metatan világosan, túlzott tételbizonyítás nélkül kerül bemutatásra.
⬤ Megfizethető és jó minőségű.

⬤ Nem szabványos jelölések, amelyek egyes olvasók számára zavaróak lehetnek.
⬤ A fogalmak részletes magyarázatának hiánya, ami egyesek számára meredek tanulási folyamatot eredményez.
⬤ A jelölésmódot egyes kritikusok régimódinak tartják.

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

Könyv tartalma:

Ez a felsőfokú tanulmányokat folytató hallgatóknak és egyetemi hallgatóknak szóló, önálló szöveg a legkülönfélébb területekről és különböző háttérrel rendelkező olvasóknak is tetszeni fog, beleértve a matematikát, a filozófiát, a nyelvészetet, az informatikát és a mérnöki tudományokat.

Számos, különböző nehézségű feladatot tartalmaz, sok közülük megoldással. A tételes kalkulus áttekintését az elsőrendű logikáról és az elsőrendű rekurzív aritmetikáról szóló fejezetek követik.

A szintaxis aritmetikusságának vizsgálata következik, valamint a hiányossági tételek és a Hazug-paradoxon egyéb alkalmazásainak áttekintése. A szöveget a másodrendű logika tanulmánya és egy halmazelméleti függelék zárja, amely értékesnek bizonyul a kevés vagy semmilyen matematikai háttérrel nem rendelkező hallgatók számára.