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.
- nie jesteś zalogowany
- aktualnie nie możesz się rejestrować
- możesz się zarejestrować
- możesz się wyrejestrować (lub wycofać prośbę)
- złożyłeś prośbę o zarejestrowanie (i nie możesz jej już wycofać)
- jesteś pomyślnie zarejestrowany (i nie możesz się wyrejestrować)
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. |
|
||
- nie jesteś zalogowany
- aktualnie nie możesz się rejestrować
- możesz się zarejestrować
- możesz się wyrejestrować (lub wycofać prośbę)
- złożyłeś prośbę o zarejestrowanie (i nie możesz jej już wycofać)
- jesteś pomyślnie zarejestrowany (i nie możesz się wyrejestrować) 