CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2022/2023
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

# Logic anad Graphs

Code Completion Credits Range Language
B0B01LGR Z,ZK 5 3P+2S Czech
Garant předmětu:
Marie Demlová
Lecturer:
Matěj Dostál, Alena Gollová
Tutor:
Matěj Dostál, Alena Gollová, Natalie Žukovec
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 consequence and of the relationship between a formula and its model is stressed. Further, basic notions from graph theory are introduced.

Requirements:

None.

Syllabus of lectures:

Topics in propositional logic (approx. 4 weeks):

1. Formal language.

2. Deduction.

3. Semantics and semantic entailment.

4. Reserve lecture.

Topics in predicate logic (approx. 4 weeks):

1. The language of predicate logic.

2. Deduction.

3. The model of a set of sentences, semantic entailment.

4. Reserve lecture.

Topics in graph theory (approx. 5 weeks):

1. Basic concepts of graph theory.

2. Trees and minimum spanning trees.

3. Acyclic graphs. Strong connectivity.

4. Euler graphs.

5. Colouring. (Planar graphs.)

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:
https://cw.fel.cvut.cz/b222/courses/b0b01lgr/
Time-table for winter semester 2022/2023:
 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 roomT2:A4-202bGollová A.09:15–10:45(lecture parallel1parallel nr.101)DejviceUčebnaroomT2:A4-202bGollová A.11:00–12:30(lecture parallel1parallel nr.102)DejviceUčebnaroomT2:C4-36312:45–14:15(lecture parallel1parallel nr.107)DejviceCvicebna roomT2:A4-202bGollová A.09:15–10:45(lecture parallel1parallel nr.106)DejviceUčebnaroomT2:A4-202bGollová A.11:00–12:30(lecture parallel1parallel nr.104)DejviceUčebna roomT2:C4-78Dostál M.09:15–10:45(lecture parallel1parallel nr.103)DejviceT2:C4-78roomT2:C4-364Dostál M.11:00–12:30(lecture parallel1parallel nr.105)DejviceCvicebnaroomKN:E-12816:15–17:45(lecture parallel1parallel nr.108)Karlovo nám.Cvičebna K3 roomT2:C3-135Gollová A.14:30–16:00(lecture parallel1)DejviceT2:C3-135 roomT2:C3-135Gollová A.11:00–12:30(lecture parallel1)DejviceT2:C3-135
Time-table for summer semester 2022/2023:
 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 roomT2:D3-209Dostál M.11:00–12:30(lecture parallel1)DejviceT2:D3-209roomT2:C3-51Dostál M.14:30–16:00(lecture parallel1parallel nr.101)DejviceT2:C3-51 roomT2:C3-51Dostál M.12:45–14:15(lecture parallel1parallel nr.102)DejviceT2:C3-51 roomT2:D3-209Dostál M.12:45–14:15EVEN WEEK(lecture parallel1)DejviceT2:D3-209roomT2:C4-459Dostál M.14:30–16:00(lecture parallel1parallel nr.111)DejviceLaborator počítače roomT2:A4-202b14:30–16:00(lecture parallel1parallel nr.103)DejviceUčebnaroomT2:A4-202b16:15–17:45(lecture parallel1parallel nr.104)DejviceUčebnaroomT2:A4-202b18:00–19:30(lecture parallel1parallel nr.105)DejviceUčebna roomT2:C2-84Žukovec N.09:15–10:45(lecture parallel1parallel nr.112)DejviceUcebnaroomT2:C2-84Žukovec N.12:45–14:15(lecture parallel1parallel nr.106)DejviceUcebnaroomT2:C2-84Žukovec N.14:30–16:00(lecture parallel1parallel nr.107)DejviceUcebnaroomT2:A4-202a16:15–17:45(lecture parallel1parallel nr.108)DejviceUcebna roomT2:A4-202a11:00–12:30(lecture parallel1parallel nr.110)DejviceUcebnaroomT2:A4-202a12:45–14:15(lecture parallel1parallel nr.109)DejviceUcebna
The course is a part of the following study plans:
Data valid to 2023-03-26
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet4680706.html