Prowadzony w
cyklach:
2020/SZ, 2021/SZ, 2022/SZ
Punkty ECTS:
brak danych
Organizowany przez:
Katedra Orientalistyki
(dla:
Wydział Neofilologii)
Logika 09-LOGJ-11
Rozwijanie u studentów umiejetnosci prawidlowego wnioskowania i zapoznanie z logiczna teoria jezyka. Program obejmuje: rachunek zdan, rachunek predykatów, wybrane zagadnienia z zakresu logicznej teorii jezyka, elementy teorii mnogosci.
Literatura
Stanosz, B. 1985. Wprowadzenie do logiki formalnej. Warszawa: PWN. - Kmita, J. 1977. Wyklady z logiki i metodologii nauk. Warszawa: PWN. - Slupecki, J., L. Borkowski. 1984. Elementy logiki matematycznej i teorii mnogosci. Warszawa: PWN.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: