Przedmioty w rejestracji III rok 1st BA- English Studies- Linguistic/Literature and Culture-zajęcia obowiązkowe Logika 3301-25Z-3R-LOG
Legenda
Jeśli przedmiot jest prowadzony w danym cyklu dydaktycznym, to w odpowiedniej komórce pojawi się koszyk rejestracyjny. Ikona koszyka zależy od tego, czy możesz się rejestrować na dany przedmiot.
![]() ![]() ![]() ![]() ![]() ![]()
Kliknij na ikonę "i" przy koszyku, aby uzyskać dodatkowe informacje.
2025Z - Semestr zimowy 2025/26 (zajęcia mogą być semestralne, trymestralne lub roczne) |
Opcje | ||||
---|---|---|---|---|---|
2025Z | |||||
3301-L3LOG |
![]() |
Zajęcia przedmiotu
Semestr zimowy 2025/26
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. |
|
||