Uniwersytet Marii Curie-Skłodowskiej w Lublinie - Centralny System Uwierzytelniania

Logika

Informacje ogólne

Kod przedmiotu:	F-K.92
Kod Erasmus / ISCED:	(brak danych) / (brak danych)
Nazwa przedmiotu:	Logika
Jednostka:	Wydział Filozofii i Socjologii
Grupy:	kursy do rankingu kognitywistyka I sem. Przedmioty kierunkowe kognitywistyka lic. 2.0 I-III-V sem
Punkty ECTS i inne:	0 LUB 6.00 (w zależności od programu) 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
Skrócony opis:	Czym jest logika? Wprowadzenie do logiki. Kategorialne ujęcie języka - kategorie syntaktyczne. Zdania, nazwy, spójniki zdaniowe. Ogólne pojęcie prawa logiki. Klasyczny rachunek zdań w ujęciu semantycznym: metoda matrycowa. Podstawowe prawa rachunku zdań. Wzajemna definiowalność spójników. Wprowadzenie do rachunku predykatów (język formalny). Analiza języka naturalnego w oparciu o język rachunku predykatów, analiza zwrotów kwantyfikacyjnych. Podstawowe prawa rachunku predykatów. Elementy semantyki dla rachunku predykatów, Tarskiego definicja spełniania i prawdziwości. Wprowadzenie do algebry Boole’a zbiorów. Rachunek relacji. Funkcje.

Zajęcia w cyklu "Semestr zimowy 2019/2020" (zakończony)

Okres:	2019-10-01 - 2020-02-01	Wybrany podział planu: ten tydzień cykl przedmiotu zobacz plan zajęć
Typ zajęć:	Konwersatorium, 30 godzin więcej informacji Wykład, 30 godzin więcej informacji
Koordynatorzy:	Jacek Paśniczek
Prowadzący grup:	Andrzej Nowakowski, Jacek Paśniczek
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Przedmiot - Egzamin Konwersatorium - Zaliczenie na ocenę Wykład - Egzamin

Zajęcia w cyklu "Semestr zimowy 2020/2021" (zakończony)

Okres:	2020-10-01 - 2021-02-01	Wybrany podział planu: ten tydzień cykl przedmiotu zobacz plan zajęć
Typ zajęć:	Konwersatorium, 30 godzin więcej informacji Wykład, 30 godzin więcej informacji
Koordynatorzy:	Piotr Konderak, Jacek Paśniczek
Prowadzący grup:	Andrzej Nowakowski, Jacek Paśniczek
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Egzamin

Zajęcia w cyklu "Semestr zimowy 2021/2022" (zakończony)

Okres:	2021-10-01 - 2022-02-01	Wybrany podział planu: ten tydzień cykl przedmiotu zobacz plan zajęć
Typ zajęć:	Konwersatorium, 30 godzin więcej informacji Wykład, 30 godzin więcej informacji
Koordynatorzy:	Jacek Paśniczek
Prowadzący grup:	Andrzej Nowakowski, Jacek Paśniczek
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Egzamin

Zajęcia w cyklu "Semestr zimowy 2022/2023" (zakończony)

Okres:	2022-10-01 - 2023-02-01	Wybrany podział planu: ten tydzień cykl przedmiotu zobacz plan zajęć
Typ zajęć:	Konwersatorium, 30 godzin więcej informacji Wykład, 30 godzin więcej informacji
Koordynatorzy:	Jacek Paśniczek
Prowadzący grup:	Andrzej Nowakowski, Jacek Paśniczek
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Egzamin

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Marii Curie-Skłodowskiej w Lublinie.