Úvod do matematickej logiky

Recenzie čitateľov

Kniha má zmiešané recenzie, niektorí používatelia ju chvália ako vynikajúci učebný text, ktorý pokrýva širokú škálu tém z matematickej logiky, zatiaľ čo iní kritizujú jej čitateľnosť a hutný materiál a tvrdia, že nie je vhodná pre začiatočníkov. Zaznamenali sa aj rôzne špecifické problémy s kvalitou publikácie, najmä v poslednom vydaní.

Dobré na samoštúdium, komplexné pokrytie tém matematickej logiky, prístupný materiál v prvej kapitole, efektívne pre tých, ktorí majú určité predchádzajúce znalosti.

Neprehľadné a ťažko čitateľné písmo pod čiarou, hutný materiál vyžadujúci viacnásobné čítanie, nedostatočné príklady na riešenie problémov, slabé úvodné vysvetlenia hlavných častí a nekonzistentnosť publikácie.

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

Pôvodný názov:

Introduction to Mathematical Logic

Obsah knihy:

Nové vydanie tejto klasickej učebnice Introduction to Mathematical Logic, Sixth Edition skúma hlavné témy matematickej logiky. Zahŕňa výrokovú logiku, logiku prvého rádu, teóriu čísel prvého rádu, axiomatickú teóriu množín a teóriu vypočítateľnosti.

V texte sa tiež rozoberajú hlavné výsledky Godela, Churcha, Kleena, Rossera a Turinga. Šieste vydanie obsahuje najnovšiu prácu o Godelovej druhej vete o neúplnosti a obnovuje dodatok o dôkazoch konzistencie pre aritmetiku prvého rádu. Tento dodatok sa naposledy objavil v prvom vydaní.

V novom vydaní sa ponúka z historických dôvodov. Text ponúka aj historické pohľady a mnoho nových cvičení rôznej náročnosti, ktoré motivujú a vedú študentov k hlbšiemu praktickému pochopeniu látky.