SylabUZ
| Course name | Classical Logics |
| Course ID | 08.1-WH-FP-LK-S16 |
| Faculty | Faculty of Humanities |
| Field of study | Philosophy |
| Education profile | academic |
| Level of studies | First-cycle studies leading to Bachelor's degree |
| Beginning semester | winter term 2021/2022 |
| Semester | 2 |
| ECTS credits to win | 6 |
| Course type | obligatory |
| Teaching language | polish |
| Author of syllabus |
|
| The class form | Hours per semester (full-time) | Hours per week (full-time) | Hours per semester (part-time) | Hours per week (part-time) | Form of assignment |
| Lecture | 30 | 2 | - | - | Exam |
| Class | 30 | 2 | - | - | Credit |
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.
| Outcome description | Outcome symbols | Methods of verification | The class form |
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.
Modified by dr Dariusz Sagan (last modification: 22-04-2021 15:18)
