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

Mathematics 4S

The course is not on the list Without time-table
Code Completion Credits Range Language
101MA4S Z,ZK 5 2P+2C Czech
Lecturer:
Tutor:
Supervisor:
Department of Mathematics
Synopsis:
Requirements:

none

Syllabus of lectures:
Syllabus of tutorials:
Study Objective:

Students know mathematical logic, statement and predicate calculus, mathematical structures and models.

Study materials:

J. Jirásko: Matematika 35 - Matematická logika, ČVUT, 1997., J. Kolář, O. Štěpánková, M. Chytil: Logika, algebry a grafy, SNTL, 1984., A. Sochor: Klasická matematická logika, Karolinum, 2001.

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 2020-04-08
For updated information see http://bilakniha.cvut.cz/en/predmet24846205.html