Mathematical Logic: A First Course

Recenzie čitateľov

Kniha Joela Williama Robbina je učebnicou matematickej logiky, ktorá sa snaží ponúknuť prehľadný úvod do teórie modelov a logiky prvého rádu. Recenzie vyzdvihujú pozitívne aj negatívne aspekty knihy, pričom niektorí chvália jej stručné a jasné podanie, zatiaľ čo iní kritizujú jej zápis a vysvetlenia.

⬤ Jasný a stručný úvod do teórie modelov a logiky prvého rádu.
⬤ Poskytuje úplné pravidlá tvorby a axiomatiku, vďaka čomu je vhodná na samoštúdium.
⬤ Dobre štruktúrovaná, s užitočnými postrehmi a dobrým výberom cvičení.
⬤ Metateória je podaná prehľadne, bez zbytočného dokazovania tvrdení.
⬤ Cenovo dostupná a kvalitná.

⬤ Neštandardný zápis, ktorý môže byť pre niektorých čitateľov mätúci.
⬤ Nedostatok podrobných vysvetlení pojmov, čo vedie k strmej krivke učenia pre niektorých.
⬤ Niektorí recenzenti považujú notáciu za staromódnu.

(na základe 7 čitateľských recenzií)

Obsah knihy:

Tento samostatný text je vhodný pre pokročilých študentov a absolventov vysokých škôl a osloví čitateľov z rôznych oblastí a s rôznym vzdelaním - vrátane matematiky, filozofie, lingvistiky, informatiky a inžinierstva.

Obsahuje množstvo cvičení rôznej náročnosti, mnohé s riešeniami. Po prehľade výrokového kalkulu nasledujú kapitoly o logike prvého rádu a rekurzívnej aritmetike prvého rádu.

Nasleduje skúmanie aritmetizácie syntaxe, prehľad viet o neúplnosti a ďalšie aplikácie paradoxu klamára. Text uzatvára štúdia o logike druhého rádu a príloha o teórii množín, ktorá bude cenná pre študentov s malým alebo žiadnym matematickým vzdelaním.