Mathematical Logic: A First Course

Recenze čtenářů

Kniha Joela Williama Robbina je učebnicí matematické logiky, která se snaží nabídnout srozumitelný úvod do teorie modelů a logiky prvního řádu. Recenze vyzdvihují jak pozitivní, tak negativní aspekty knihy, přičemž někteří chválí její stručné a jasné podání, zatímco jiní kritizují její notaci a vysvětlení.

⬤ Jasný a stručný úvod do teorie modelů a logiky prvního řádu.
⬤ Kniha obsahuje úplná pravidla tvorby a axiomatiku, takže je vhodná pro samouky.
⬤ Dobře strukturovaná, s užitečnými postřehy a dobrým výběrem cvičení.
⬤ Metateorie je podána přehledně, bez nadměrného dokazování teorémů.
⬤ Cenově dostupná a kvalitní.

⬤ Nestandardní notace, která může být pro některé čtenáře matoucí.
⬤ Nedostatek podrobných vysvětlení pojmů, což vede k tomu, že se někteří čtenáři budou muset učit na strmé křivce.
⬤ Někteří recenzenti považují notaci za staromódní.

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

Obsah knihy:

Tento samostatný text je vhodný pro pokročilé studenty a postgraduální studenty a osloví čtenáře z různých oborů a s různým vzděláním - včetně matematiky, filozofie, lingvistiky, informatiky a inženýrství.

Obsahuje četná cvičení různé obtížnosti, mnohá s řešením. Po přehledu výrokového kalkulu následují kapitoly o logice prvního řádu a rekurzivní aritmetice prvního řádu.

Následuje zkoumání aritmetizace syntaxe, přehled vět o neúplnosti a další aplikace paradoxu lháře. Text uzavírá studie o logice druhého řádu a dodatek o teorii množin, který bude cenný pro studenty s malým nebo žádným matematickým vzděláním.