Logika formalna 460-KS1-1LOF2
Profil studiów: ogólnoakademicki.
Forma studiów: stacjonarne.
Rodzaj przedmiotu: obligatoryjny.
Język prowadzenia przedmiotu: język polski.
Dziedzina i dyscyplina nauki: filozofia.
Rok studiów/semestr: rok I, semestr II.
Wymagania wstępne: opanowanie materiału omawianego podczas zajęć z semiotyki logicznej oraz konceptualizacji i definiowania.
Tryb prowadzenia zajęć i przeprowadzania zaliczeń: stacjonarny.
Liczba godzin zajęć dydaktycznych z podziałem na formy prowadzenia zajęć: 30 godz. konwersatorium.
Metody dydaktyczne: wykład w formie prezentacji multimedialnej, wspólne rozwiązywanie zadań, konsultacje.
Forma zaliczenia przedmiotu: zaliczenie na ocenę.
Punkty ECTS: 4.
Bilans nakładu pracy studenta: a) uczestnictwo w zajęciach – 30 godz., b) przygotowanie do zajęć – 30 godz., c) przygotowanie do kolokwium końcowego – 20 godz., d) udział w konsultacjach z prowadzącym – 20 godz. Łącznie: 100 godz.
Wskaźniki ilościowe: nakład pracy studenta związany z zajęciami wymagającymi bezpośredniego udziału nauczyciela – 50 godz., co odpowiada 2 pkt. ECTS; nakład pracy studenta, który nie wymaga bezpośredniego udziału nauczyciela – 50 godz., co odpowiada 2 pkt. ECTS.
Rodzaj przedmiotu
Tryb prowadzenia przedmiotu
Wymagania (lista przedmiotów)
Założenia (opisowo)
Koordynatorzy przedmiotu
Efekty kształcenia
Absolwent zna i rozumie:
podstawowe metody i narzędzia logiki wykorzystywane w kognitywistce i komunikacji (KA6_WG5);
logiczną strukturę wiedzy oraz procesów poznawczych i komunikacyjnych (KA6_WG6).
Absolwent potrafi:
posługiwać się narzędziami logiki matematycznej w analizie językowych systemów reprezentacji wiedzy i przekonań (KA6_UW8).
Absolwent jest gotów do:
podnoszenia kwalifikacji zawodowych oraz kompetencji osobistych, w tym etycznych (KA6_KR1);
współdziałania w grupach oraz przyjmowania w nich różnych ról (KA6_KR2);
dobierania właściwych metod służących do realizacji zadań praktycznych, poznawczych i komunikacyjnych (KA6_KR3).
Kryteria oceniania
Zajęcia kończą się zaliczeniem na ocenę. Ocena wystawiana będzie na podstawie wyniku kolokwium końcowego, wyników kartkówek oraz prac domowych.
Liczba dopuszczalnych nieusprawiedliwionych nieobecności: 2.
Literatura
Borkowski L., Wprowadzenie do logiki i teorii mnogości, Lublin: Towarzystwo Naukowe KUL, 1991.
Grzegorczyk A., Zarys logiki matematycznej, Warszawa: Wydawnictwo Naukowe PWN, 1961.
Guzicki W., Zakrzewski P., Wykłady ze wstępu do matematyki, Warszawa: Wydawnictwo Naukowe PWN, 2005.
Rasiowa H., Wstęp do matematyki współczesnej, Warszawa: Wydawnictwo Naukowe PWN, 2004.
Omyła M., Zarys logiki, Warszawa: Wydawnictwo WSIP, 1995.
Stanosz B., Wprowadzenie do logiki formalnej: podręcznik dla humanistów, Warszawa: Wydawnictwo Naukowe PWN, 2019.
Stanosz B., Ćwiczenia z logiki, Warszawa: Wydawnictwo Naukowe PWN, 2019.
Wieczorek K., Wprowadzenie do logiki dla studentów wszystkich kierunków, Warszawa: Wydawnictwo Skrypt, 2005.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: