SylabUZ
Nazwa przedmiotu | Logika klasyczna |
Kod przedmiotu | 08.1-WH-FP-LK-S16 |
Wydział | Wydział Humanistyczny |
Kierunek | Filozofia |
Profil | ogólnoakademicki |
Rodzaj studiów | pierwszego stopnia z tyt. licencjata |
Semestr rozpoczęcia | semestr zimowy 2021/2022 |
Semestr | 2 |
Liczba punktów ECTS do zdobycia | 6 |
Typ przedmiotu | obowiązkowy |
Język nauczania | polski |
Sylabus opracował |
|
Forma zajęć | Liczba godzin w semestrze (stacjonarne) | Liczba godzin w tygodniu (stacjonarne) | Liczba godzin w semestrze (niestacjonarne) | Liczba godzin w tygodniu (niestacjonarne) | Forma zaliczenia |
Wykład | 30 | 2 | - | - | Egzamin |
Ćwiczenia | 30 | 2 | - | - | Zaliczenie |
Poznanie i praktyczne opanowanie metod logiki klasycznej
Brak
Klasyczna logika zdań (metoda 0-1, dedukcja naturalna, reguły analityczne).
Klasyczna logika predykatów (język predykatów, kwantyfikatory, modele języka predykatów, reguły analityczne).
Wykład tradycyjny, dyskusja, rozwiązywanie problemów.
Opis efektu | Symbole efektów | Metody weryfikacji | Forma zajęć |
Udział w zajęciach, kolokwium, test.
1. L. Borkowski, Elementy logiki formalnej.
2. W. Marciszewski, Logika formalna.
B. Stanosz, Ćwiczenia z logiki.
1. R. M. Smullyan, First-order logic.
Zmodyfikowane przez dr Dariusz Sagan (ostatnia modyfikacja: 22-04-2021 15:18)