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

Logic

The course is not on the list Without time-table
Code Completion Credits Range
11LG Z,ZK 3 2+1
Garant předmětu:
Lecturer:
Tutor:
Supervisor:
Department of Applied Mathematics
Synopsis:

The lesson deals with logical base of formal languages, including the language of mathematics. The foundations of propositional logic are introduced both with the methods of solving logical tasks given in the language of propositional logic. Further, the foundations of predicate logic are dealt with both the methods of solving logical tasks in this language. There are shown applications of these parts of logic in the technique and science. By means of definitions, basic notions of the mathematical language are introduced both with methods of building of formal languages and their semantics.

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 2024-03-29
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet23321505.html