Uniwersytet w Białymstoku - Centralny System Uwierzytelniania
Strona główna

Logika formalna

Informacje ogólne

Kod przedmiotu: 410-KS1-1LOF2
Kod Erasmus / ISCED: 14.951 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (brak danych)
Nazwa przedmiotu: Logika formalna
Jednostka: Instytut Filozofii
Grupy: 3L stac. studia I stopnia kognitywistyka - przedm. obowiązkowe
Punkty ECTS i inne: 4.00 Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.

zobacz reguły punktacji
Język prowadzenia: polski
Rodzaj przedmiotu:

obowiązkowe

Wymagania (lista przedmiotów):

Konceptualizacja i definiowanie 410-KS1-1KOD1
Semiotyka logiczna 410-KS1-1SML1

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
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Konwersatorium, 30 godzin więcej informacji
Koordynatorzy: Arkadiusz Wójcik
Prowadzący grup: Arkadiusz Wójcik
Lista studentów: (nie masz dostępu)
Zaliczenie: Zaliczenie na ocenę
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet w Białymstoku.
ul. Świerkowa 20B, 15-328 Białystok tel: +48 85 745 70 00 (Centrala) https://uwb.edu.pl kontakt deklaracja dostępności USOSweb 7.0.2.0-1 (2024-03-12)