Daniel D. Novotný (KFI)
Z WiKi TF
Verze z 28. 1. 2019, 12:35, kterou vytvořil Admin (diskuse | příspěvky) (→LS 2017/18 Formální a filosofická logika 2)
výuka v LS 2018-19
LS 2018/19 Formální a filosofická logika 2
Cílem předmětu je seznámení se s pojmy moderní klasické logiky (výrokové a predikátové), v komparaci s logikou tradiční. Dále se budeme zabývat i některými vybranými tématy (axiomatizace, modální logika, atd.)
