Klasická matematická logika: Sémantické základy logiky

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.

Pôvodný názov:

Classical Mathematical Logic: The Semantic Foundations of Logic

Obsah knihy:

V knihe Klasická matematická logika Richard L. Epstein približuje systémy matematickej logiky ich pôvodným motiváciám formalizovať uvažovanie v matematike. Kniha tiež ukazuje, ako možno matematickú logiku použiť na formalizáciu konkrétnych systémov matematiky. Uvádza formalizáciu nielen aritmetiky, ale aj teórie skupín, teórie poľa a lineárnych usporiadaní. Tie vedú k formalizácii reálnych čísel a euklidovskej rovinnej geometrie. V týchto formalizáciách sa objasňuje rozsah a obmedzenia modernej logiky.

Kniha obsahuje podrobné vysvetlenia všetkých dôkazov a poznatkov, ktoré sa za nimi skrývajú, ako aj podrobné a netriviálne príklady a problémy. Kniha obsahuje viac ako 550 cvičení. Možno ju použiť v pokročilých bakalárskych alebo magisterských kurzoch a na samoštúdium a referencie.

Klasická matematická logika predstavuje jednotné spracovanie materiálu, ktorý bol doteraz dostupný len konzultáciou mnohých rôznych kníh a vedeckých článkov, napísaných s rôznymi notačnými systémami a axiomatizáciami.