Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2019/2020

Logic

The course is not on the list Without time-table
Code Completion Credits Range
11LGI Z 0 1+0
Lecturer:
Tutor:
Supervisor:
Department of Applied Mathematics
Synopsis:

The role of logic as a method of a well-founded reasoning and mathematical thinking. Foundations of classical propositional and predicate logic and their applications in practice. Logical structure of mathematics as an axiomatic system. The purpose of definitions and the structure of proofs in mathematics. Perspectives of further development of logic.

Requirements:
Syllabus of lectures:
Syllabus of tutorials:
Study Objective:
Study materials:
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 2019-10-15
For updated information see http://bilakniha.cvut.cz/en/predmet25028105.html