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)
|
Język prowadzenia: | polski |
Skrócony opis: |
Czym jest logika? Wprowadzenie do logiki. Kategorialne ujęcie języka - kategorie syntaktyczne. Zdania, nazwy, spójniki zdaniowe. Ogólne pojęcie prawa logiki. Klasyczny rachunek zdań w ujęciu semantycznym: metoda matrycowa. Podstawowe prawa rachunku zdań. Wzajemna definiowalność spójników. Wprowadzenie do rachunku predykatów (język formalny). Analiza języka naturalnego w oparciu o język rachunku predykatów, analiza zwrotów kwantyfikacyjnych. Podstawowe prawa rachunku predykatów. Elementy semantyki dla rachunku predykatów, Tarskiego definicja spełniania i prawdziwości. Wprowadzenie do algebry Boole’a zbiorów. Rachunek relacji. Funkcje. |
Zajęcia w cyklu "Semestr zimowy 2019/2020" (zakończony)
Okres: | 2019-10-01 - 2020-02-01 |
![]() |
Typ zajęć: |
Konwersatorium, 30 godzin
Wykład, 30 godzin
|
|
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 |
![]() |
Typ zajęć: |
Konwersatorium, 30 godzin
Wykład, 30 godzin
|
|
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 |
![]() |
Typ zajęć: |
Konwersatorium, 30 godzin
Wykład, 30 godzin
|
|
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 |
![]() |
Typ zajęć: |
Konwersatorium, 30 godzin
Wykład, 30 godzin
|
|
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.
Właścicielem praw autorskich jest Uniwersytet Marii Curie-Skłodowskiej w Lublinie.