Logic

Garant předmětu:

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)