Daniel D. Novotný (KFI): Porovnání verzí
Z WiKi TF
(→LS 2017/18 Formální a filosofická logika 2) |
|||
| Řádka 1: | Řádka 1: | ||
výuka v LS 2018-19 | výuka v LS 2018-19 | ||
| − | ===== LS | + | ===== 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.) | 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.) | ||
Verze z 28. 1. 2019, 12:35
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.)
