Úvod do matematické logiky

Recenze čtenářů

Kniha má smíšené hodnocení, někteří uživatelé ji chválí jako vynikající text pro samostudium, který pokrývá širokou škálu témat matematické logiky, zatímco jiní kritizují její čtivost a hutnost a tvrdí, že není vhodná pro začátečníky. Byly také zaznamenány různé specifické problémy s kvalitou publikace, zejména v posledním vydání.

Vhodné pro samostudium, komplexní pokrytí témat matematické logiky, přístupný materiál v první kapitole, efektivní pro ty, kteří mají určité předchozí znalosti.

Nepřehledné a špatně čitelné písmo v indexech, hutný materiál vyžadující vícenásobné čtení, nedostatečné příklady pro řešení problémů, slabé úvodní vysvětlivky k hlavním oddílům a nejednotnost publikace.

(na základě 5 hodnocení čtenářů)

Původní název:

Introduction to Mathematical Logic

Obsah knihy:

Nové vydání této klasické učebnice Introduction to Mathematical Logic, Sixth Edition se zabývá hlavními tématy matematické logiky. Zahrnuje výrokovou logiku, logiku prvního řádu, teorii čísel prvního řádu, axiomatickou teorii množin a teorii spočitatelnosti.

Text se zabývá také hlavními výsledky Godela, Churche, Kleena, Rossera a Turinga. Šesté vydání zahrnuje nejnovější práci o Godelově druhé větě o neúplnosti a také obnovuje dodatek o důkazech konzistence pro aritmetiku prvního řádu. Tento dodatek se naposledy objevil v prvním vydání.

V novém vydání je nabízen z historických důvodů. Text rovněž nabízí historické perspektivy a mnoho nových cvičení různé obtížnosti, která motivují a vedou studenty k hlubšímu praktickému pochopení látky.