Logika formalna
Informacje ogólne
Kod przedmiotu: | 410-KS1-1LOF2 |
Kod Erasmus / ISCED: |
14.951
|
Nazwa przedmiotu: | Logika formalna |
Jednostka: | Instytut Filozofii |
Grupy: |
3L stac. studia I stopnia kognitywistyka - przedm. obowiązkowe |
Punkty ECTS i inne: |
4.00
|
Język prowadzenia: | polski |
Rodzaj przedmiotu: | obowiązkowe |
Wymagania (lista przedmiotów): | Konceptualizacja i definiowanie 410-KS1-1KOD1 |
Założenia (opisowo): | Opanowanie materiału omawianego podczas zajęć z semiotyki logicznej oraz konceptualizacji i definiowania. |
Tryb prowadzenia przedmiotu: | w sali |
Skrócony opis: |
Zajęcia mają na celu wprowadzenie studentów w zagadnienia logiki formalnej. Szczególna uwaga poświęcona zostanie zastosowaniu narzędzi logiki formalnej w naukach kognitywnych. W ramach zajęć dyskutowane będą m.in. takie zagadnienia, jak klasyczny rachunek zdań, klasyczny rachunek predykatów, elementy metalogiki oraz podstawy teorii mnogości. |
Pełny opis: |
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. |
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. |
Efekty uczenia się: |
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). |
Metody i 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. |
Zajęcia w cyklu "Rok akademicki 2022/23" (zakończony)
Okres: | 2022-10-01 - 2023-06-30 |
Przejdź do planu
PN WT ŚR CZ PT |
Typ zajęć: |
Konwersatorium, 30 godzin
|
|
Koordynatorzy: | Arkadiusz Wójcik | |
Prowadzący grup: | Arkadiusz Wójcik | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Zaliczenie na ocenę |
Właścicielem praw autorskich jest Uniwersytet w Białymstoku.