Przedmioty w rejestracji III rok 1st BA- English Studies- Linguistic/Literature and Culture-zajęcia obowiązkowe Logika 3301-25Z-3R-LOG
Opcje | ||||
---|---|---|---|---|
3301-L3LOG |
Zajęcia przedmiotu
Grupy przedmiotu
Skrócony opis
Kurs jest wprowadzeniem do logiki formalnej. Omawiane będą następujące zagadnienia: nieformalne metody oceny poprawności wnioskowań; formalne metody oceny poprawności wnioskowań; klasyczny rachunek zdań; logika zdań kategorycznych (sylogizmy); wprowadzenie do rachunku kwantyfikatorów; rozumowania indukcyjne; błędy logiczne; paradoksy. |
|
||