výuka

Petr Olmer, MFF UK

19.02.2007

Literatura

> Cvičení z logiky
Základní, rozšiřující, doplňující.

Základní

 

Petr Štěpánek: Predikátová logika

Karel Čuda: Základy logického kalkulu

Petr Kůrka: Úvod do matematické logiky a teorie množin

vše ke stažení

Vítězslav Švejdar: Matematická logika ke stažení

 

 

Rozšiřující

Vítězslav Švejdar: Logika: Složitost, neúplnost a nutnost, Academia Praha, 2002

Antonín Sochor: Klasická matematická logika, Karolinum Praha, 2001

 

Doplňující

Raymond Smullyan: Navěky nerozhodnuto, úvod do logiky a zábavný průvodce ke Gödelovým objevům. Academia Praha, 2003

Petr Olmer, 19.02.2007, 7:43:00, trvalý odkaz,

Komentáře (0)

Přidání komentáře