B0B01LGR – Logika a grafy

Informace k průběhu studia

Každý týden studujte dle plánu přednášek a plánu cvičení.
Navštěvujte cvičení a vytěžte z nich pro sebe maximum: aktivně se zapojujte a ptejte se.
Před cvičením se vždy podívejte na videa k danému týdnu.
Řešte úlohy z materiálů ke cvičením. Minimálně zkoušejte každý týden vyřešit úlohy označené jako domácí úkol.
Zjistěte si, co musíte udělat pro zdárné získání zápočtu a složení zkoušky.

Při studiu vám mohou pomoci podpůrné materiály k přednáškám a podpůrné materiály ke cvičení.
Živá cvičení slouží ke společnému řešení složitějších příkladů a pro vaše dotazy.
Živé přednášky slouží k úvodu do tématu a usnadnění samostatného studia.
S vyučujícími z týmu předmětu si můžete e-mailem domluvit konsultaci.

M. Huth, M. Ryan: Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2004. Dostupné k zapůjčení na archive.org.
J. A. Bondy, U. S. R. Murty: Graph theory with applications, Elsevier Science Ltd/North-Holland, 1976. Dostupné k zapůjčení na archive.org.