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

Logic anad Graphs

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
B0B01LGR Z,ZK 5 3P+2S Czech
Lecturer:
Matěj Dostál, Alena Gollová
Tutor:
Matěj Dostál, Alena Gollová, Anna Kalousová
Supervisor:
Department of Mathematics
Synopsis:

This course covers basics of mathematical logic and graph theory. Syntax and semantics of propositional and predicate logic are introduced. The importance of the notion of semantic consequence andof the relationship between a formula and its model is stressed, Further, basic notions from graph theory are introduced.

Requirements:

None.

Syllabus of lectures:

Propositional logic (cca 4 weeks):

1.Formal language. The language of propositional logic.

2. Deriving consequences (deduction).

3. Meaning and semantic consequence.

4. Reserve: advanced topics.

Predicate logic (cca 4 weeks):

1. The language of predicate logic.

2. Meaning and semantic consequence in predicate logic.

3. Deduction in predicate logic.

4. Reserve: advanced topics.

Graph theory: (cca 5 weeks):

1. Basic notions of graph theory.

2. Spanning trees.

3. Strong connectedness.

4. Euler graphs.

5. Graph coloring.

Syllabus of tutorials:

In the exercise classes students solve theoretical and algorithmic problems from logic and graph theory.

Students strenghten and extend their knowledge and skills obtained from the lectures.

Study Objective:

The aim of the course is to introduce students to the basics of mathematical logic and graph theory.

Study materials:

[1] M. Huth, M. Ryan: Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2004.

[2] J. A. Bondy, U. S. R. Murty: Graph theory with applications. Elsevier Science Ltd/North-Holland, 1976.

Note:
Further information:
http://math.feld.cvut.cz/dostamat/teaching/lgr1920.htm
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
Tue
roomT2:A4-202b
Kalousová A.
09:15–10:45
(lecture parallel1
parallel nr.101)

Dejvice
Učebna
roomT2:A4-202b
Kalousová A.
11:00–12:30
(lecture parallel1
parallel nr.102)

Dejvice
Učebna
roomT2:C4-363
Kalousová A.
12:45–14:15
(lecture parallel1
parallel nr.107)

Dejvice
Cvicebna
Fri
roomT2:A4-202b
Kalousová A.
09:15–10:45
(lecture parallel1
parallel nr.106)

Dejvice
Učebna
roomT2:A4-202b
Kalousová A.
11:00–12:30
(lecture parallel1
parallel nr.104)

Dejvice
Učebna
Thu
roomT2:C4-78

09:15–10:45
(lecture parallel1
parallel nr.103)

Dejvice
Posluchárna
roomT2:C4-78
Dostál M.
11:00–12:30
(lecture parallel1
parallel nr.105)

Dejvice
Posluchárna
roomKN:E-128
Dostál M.
16:15–17:45
(lecture parallel1
parallel nr.108)

Karlovo nám.
Cvičebna K3
roomKN:E-107
Dostál M.
14:30–16:00
(lecture parallel1)
Karlovo nám.
Zengerova posluchárna K1
Fri
roomT2:D3-309
Dostál M.
11:00–12:30
ODD WEEK

(lecture parallel1)
Dejvice
Posluchárna
Time-table for summer 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
roomT2:D3-209
Gollová A.
11:00–12:30
(lecture parallel1)
Dejvice
Posluchárna
roomT2:C3-51

14:30–16:00
(lecture parallel1
parallel nr.101)

Dejvice
Posluchárna
roomT2:C3-51
Gollová A.
12:45–14:15
(lecture parallel1
parallel nr.102)

Dejvice
Posluchárna
Tue
roomT2:D3-209
Gollová A.
12:45–14:15
EVEN WEEK

(lecture parallel1)
Dejvice
Posluchárna
Fri
roomT2:A4-202b
Kalousová A.
14:30–16:00
(lecture parallel1
parallel nr.103)

Dejvice
Učebna
roomT2:A4-202b
Kalousová A.
16:15–17:45
(lecture parallel1
parallel nr.104)

Dejvice
Učebna
roomT2:A4-202b

18:00–19:30
(lecture parallel1
parallel nr.105)

Dejvice
Učebna
Thu
roomT2:A4-202a
Dostál M.
12:45–14:15
(lecture parallel1
parallel nr.106)

Dejvice
Ucebna
roomT2:A4-202a
Dostál M.
14:30–16:00
(lecture parallel1
parallel nr.107)

Dejvice
Ucebna
roomT2:A4-202a
Dostál M.
16:15–17:45
(lecture parallel1
parallel nr.108)

Dejvice
Ucebna
Fri
roomT2:A4-202a

11:00–12:30
(lecture parallel1
parallel nr.110)

Dejvice
Ucebna
roomT2:A4-202a

12:45–14:15
(lecture parallel1
parallel nr.109)

Dejvice
Ucebna
The course is a part of the following study plans:
Data valid to 2020-01-19
For updated information see http://bilakniha.cvut.cz/en/predmet4680706.html