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

Mathematical Logic

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
BI-MLO Z,ZK 5 2P+1C Czech
Lecturer:
Jan Starý, Kateřina Trlifajová (guarantor)
Tutor:
Jan Starý, Kateřina Trlifajová (guarantor), Pavel Arazim, Jan Makovský, Marta Nollová, Jakub Šolc, Alena Šolcová
Supervisor:
Department of Applied Mathematics
Synopsis:

The course seminary is taught in Czech.

Requirements:
Syllabus of lectures:
Syllabus of tutorials:

The course seminary is taught in Czech.

Study Objective:
Study materials:
Note:
Further information:
https://courses.fit.cvut.cz/BI-MLO/
Time-table for winter semester 2019/2020:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon
roomTK:BS
Starý J.
11:00–12:30
(lecture parallel1)
Dejvice
NTK Ballingův sál
roomT9:346
Starý J.
12:45–14:15
ODD WEEK

(parallel nr.1)
Dejvice
NBFIT učebna
roomTH:A-1342
Arazim P.
16:15–17:45
ODD WEEK

(parallel nr.3)
Thákurova 7 (FSv-budova A)
roomTH:A-1342
Arazim P.
18:00–19:30
ODD WEEK

(parallel nr.4)
Thákurova 7 (FSv-budova A)
roomTH:A-1342
Nollová M.
14:30–16:00
EVEN WEEK

(parallel nr.20)
Thákurova 7 (FSv-budova A)
roomTH:A-1342
Arazim P.
16:15–17:45
EVEN WEEK

(parallel nr.21)
Thákurova 7 (FSv-budova A)
roomTH:A-1342
Arazim P.
18:00–19:30
EVEN WEEK

(parallel nr.22)
Thákurova 7 (FSv-budova A)
Tue
roomT9:346
Nollová M.
09:15–10:45
ODD WEEK

(parallel nr.5)
Dejvice
NBFIT učebna
roomTH:A-942
Starý J.
16:15–17:45
EVEN WEEK

(parallel nr.26)
Thákurova 7 (FSv-budova A)
roomTK:BS
Starý J.
18:00–19:30
(lecture parallel3)
Dejvice
NTK Ballingův sál
roomTK:BS
Trlifajová K.
09:15–10:45
(lecture parallel2)
Dejvice
NTK Ballingův sál
roomT9:346
Nollová M.
11:00–12:30
ODD WEEK

(parallel nr.6)
Dejvice
NBFIT učebna
roomTH:A-942
Starý J.
14:30–16:00
ODD WEEK

(parallel nr.7)
Thákurova 7 (FSv-budova A)
roomTH:A-942
Starý J.
16:15–17:45
ODD WEEK

(parallel nr.8)
Thákurova 7 (FSv-budova A)
roomT9:346
Nollová M.
09:15–10:45
EVEN WEEK

(parallel nr.23)
Dejvice
NBFIT učebna
roomT9:346
Nollová M.
11:00–12:30
EVEN WEEK

(parallel nr.24)
Dejvice
NBFIT učebna
roomTH:A-942
Starý J.
14:30–16:00
EVEN WEEK

(parallel nr.25)
Thákurova 7 (FSv-budova A)
Fri
roomT9:346
Nollová M.
09:15–10:45
ODD WEEK

(parallel nr.9)
Dejvice
NBFIT učebna
roomT9:346
Nollová M.
11:00–12:30
ODD WEEK

(parallel nr.10)
Dejvice
NBFIT učebna
roomT9:346
Nollová M.
09:15–10:45
EVEN WEEK

(parallel nr.27)
Dejvice
NBFIT učebna
roomT9:346
Nollová M.
11:00–12:30
EVEN WEEK

(parallel nr.28)
Dejvice
NBFIT učebna
Thu
roomT9:343
Trlifajová K.
12:45–14:15
ODD WEEK

(parallel nr.11)
Dejvice
NBFIT učebna
roomT9:346
Šolc J.
14:30–16:00
ODD WEEK

(parallel nr.13)
Dejvice
NBFIT učebna
roomT9:343
Šolcová A.
16:15–17:45
ODD WEEK

(parallel nr.15)
Dejvice
NBFIT učebna
roomT9:346
Šolc J.
12:45–14:15
ODD WEEK

(parallel nr.12)
Dejvice
NBFIT učebna
roomT9:343
Makovský J.
14:30–16:00
ODD WEEK

(parallel nr.14)
Dejvice
NBFIT učebna
roomT9:343
Šolcová A.
16:15–17:45
EVEN WEEK

(parallel nr.33)
Dejvice
NBFIT učebna
roomT9:343
Trlifajová K.
12:45–14:15
EVEN WEEK

(parallel nr.29)
Dejvice
NBFIT učebna
roomT9:346
Šolc J.
14:30–16:00
EVEN WEEK

(parallel nr.31)
Dejvice
NBFIT učebna
roomT9:346
Šolc J.
12:45–14:15
EVEN WEEK

(parallel nr.30)
Dejvice
NBFIT učebna
roomT9:343
Makovský J.
14:30–16:00
EVEN WEEK

(parallel nr.32)
Dejvice
NBFIT učebna
Fri
roomT9:343
Šolcová A.
09:15–10:45
ODD WEEK

(parallel nr.16)
Dejvice
NBFIT učebna
roomT9:343
Šolcová A.
11:00–12:30
ODD WEEK

(parallel nr.17)
Dejvice
NBFIT učebna
roomT9:343
Šolcová A.
09:15–10:45
EVEN WEEK

(parallel nr.34)
Dejvice
NBFIT učebna
roomT9:343
Šolcová A.
11:00–12:30
EVEN WEEK

(parallel nr.35)
Dejvice
NBFIT učebna
Time-table for summer semester 2019/2020:
Time-table is not available yet
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/predmet1121306.html