Logic

Garant předmětu:

Lecturer:

Tutor:

Supervisor:

Institute of Economic Studies

Synopsis:

Basics of formal logic, solving tasks from propositional and predicate logic

Requirements:

learn basics of propositional and predicate logic

Syllabus of lectures:

1/ Introduction to formal logic

2/ Introduction to propositional logic

3/ Introduction to predicate logic

4/ relations, binar relations and their characteristics

5/ logical structure of mathematics

Syllabus of tutorials:

Study Objective:

To introduce basics of formal logic to students, learn how to apply them when solving logical tasks

Study materials:

notes from lectures

Recommended literature:

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:

No time-table has been prepared for this course

The course is a part of the following study plans:

• B-UOP-komb.forma od 15/16 (compulsory course)