Logic
The course is not on the list Without time-table
| Code | Completion | Credits | Range | Language |
|---|---|---|---|---|
| 51LOGN | ZK | 4 | 2P+0C | Czech |
- Course guarantor:
- Lecturer:
- Tutor:
- Supervisor:
- Institute of Pedagogical and Psychological Studies
- Synopsis:
-
The course introduces the main ideas of modern mathematical logic, i.e. prepositional and predicate logic
- Requirements:
-
no prerequisities
- Syllabus of lectures:
-
1/Introduction to formal logic
2/ Introduction to prepositional logic
3/ Introduction to predicate logic
4/ Relations, binar relations and their characteristics
5/ Logical structure of mathematics
- Syllabus of tutorials:
- Study Objective:
-
The course aims at providing the skills and knowledge of modern methods of analytical research and training.
- Study materials:
-
Josef Bokr, Jan Svatek: Základy logiky a argumentace pro zájemce o umělou inteligenci, filozofii, práva a učitelství, Pelhřimov 2000, ISBN: 80-902627-8-3
Vladimír Janák: Základy formální logiky, SPN, Praha 1973
Jiří Raclavský: Úvod do logiky, klasická výroková logika, Masarykova univerzita 2015
- Note:
- Further information:
- www.ojrech.cz/logika
- No time-table has been prepared for this course
- The course is a part of the following study plans:
-
- B-UOP-prez.forma od 11/12 (compulsory course)
- B-UOP-prez. forma od 12/13 (compulsory course)