Last update: 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.
Literature - Czech
Last update: Mgr. Šárka Stejskalová, Ph.D. (06.01.2021)
V. Švejdar, Logika, neúplnost, složitost a nutnost. Academia, Praha, 2002. A. Sochor, Klasická matematická logika. Karolinum, Praha, 2001.
Syllabus - Czech
Last update: Mgr. Šárka Stejskalová, Ph.D. (06.01.2021)
Substituce, platnost formule ve struktuře, logický důsledek (vyplývání) a logicky platná formule
Prenexní normální tvar
Hilbertovský predikátový kalkulus, axiomy a odvozovací pravidla