Základy matematickej logiky

Recenzie čitateľov

Kniha je komplexným textom o matematickej logike, ktorý ponúka prehľadný úvod do rôznych tém, ako je výroková logika, logika prvého rádu, teória množín, teória modelov a teória rekurzie. Hoci mnohí recenzenti chvália jej prehľadnosť, ucelenosť a hĺbku, niektorí poukazujú na výrazné nedostatky, najmä v oblasti teórie dôkazov, v dôsledku čoho sa text zdá byť v niektorých oblastiach neúplný.

Komplexné pokrytie tém matematickej logiky.

Dobre napísané, výnimočne zrozumiteľné a ucelené.

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

Pôvodný názov:

Fundamentals of Mathematical Logic

Obsah knihy:

Tento úvodný vysokoškolský učebný text zahŕňa modernú matematickú logiku od výrokovej logiky, logiky prvého rádu a nekonečnej logiky a Godelových viet o neúplnosti až po rozsiahle úvody do teórie množín, teórie modelov a teórie rekurzie (vypočítateľnosti).

Kniha vychádza z autorovej viac ako 35-ročnej pedagogickej praxe a rozvíja intuíciu študentov tým, že zložité myšlienky prezentuje v čo najjednoduchšom kontexte, v ktorom dávajú zmysel. Kniha je vhodná na použitie ako učebný text, na samoštúdium a ako referencia o stave modernej logiky.