Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2023/2024

Logic

The course is not on the list Without time-table
Code Completion Credits Range Language
U63C9926 ZK 4 8B Czech
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:
Data valid to 2024-06-17
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet5019606.html