Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (21.03.2020)
Cvičení z logiky je seminářem k přednášce základy výrokové a predikátové logiky. V semináři se student blíže seznámí se základními pojmy definovanými v přednášce (formule, atomická formule, ohodnocení, tautologie, vyplývání, term, struktura, model, důkaz a další).
Literatura
Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (04.10.2019)
V. Švejdar, Logika, neúplnost, složitost a nutnost. Academia, Praha, 2002. A. Sochor, Klasická matematická logika. Karolinum, Praha, 2001.
Sylabus
Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (06.01.2021)