====== B0B01LGR – Logika a grafy ======

===== Informace k průběhu studia =====

==== Kde a kdy probíhají přednášky a cvičení? ====
  * Přednášky probíhají [[https://intranet.fel.cvut.cz/cz/education/rozvrhy-ng.B242/public/html/predmety/46/80/p4680706.html|podle rozvrhu]] živě v posluchárně [[https://intranet.fel.cvut.cz/cz/education/rozvrhy-ng.B242/public/html/mistnosti/10/11/m10114604.html|T2:D3-209]].
  * Cvičení probíhají živě [[https://intranet.fel.cvut.cz/cz/education/rozvrhy-ng.B242/public/html/predmety/46/80/p4680706.html|podle rozvrhu]].

==== Co po mně chcete? ====
  * 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.
  * Ř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, [[courses:b0b01lgr:zapocet_a_zkouska|co musíte udělat]] pro zdárné získání zápočtu a složení zkoušky.

==== Jak mi se studiem pomůžete? ====
  * Při studiu vám mohou pomoci [[courses:b0b01lgr:lectures:start|podpůrné materiály k přednáškám]] a [[courses:b0b01lgr:tutorials:start|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.

===== Literatura =====

==== Doporučené knihy v angličtině ====

  * M. Huth, M. Ryan: [[http://staff.ustc.edu.cn/~huangwc/book/LogicInCS.pdf|Logic in Computer Science: Modelling and Reasoning about Systems]], Cambridge University Press, 2004.
  * J. A. Bondy, U. S. R. Murty: [[http://www.zib.de/groetschel/teaching/WS1314/BondyMurtyGTWA.pdf|Graph theory with applications]], Elsevier Science Ltd/North-Holland, 1976.
==== Alternativní četba v češtině ====

  * J. Demel: [[https://kix.fsv.cvut.cz/~demel/grafy/|Grafy a jejich aplikace]], Academia, 2015.
  * P. Kovář: [[http://homel.vsb.cz/~kov16/files/skriptum_teorie_grafu.pdf|Teorie grafů]].
  * J. Matoušek, J. Nešetřil: Kapitoly z diskrétní matematiky, Karolinum, 2010.
  * J. Velebil: [[https://math.fel.cvut.cz/en/people/velebil/files/y01mlo/logika.pdf|Velmi jemný úvod do matematické logiky]].

===== Tým předmětu =====

|                 ^ Konsultace ^ E-mail          ^ Místnost ^ Role ^
^ Matěj Dostál  | domluva e-mailem  | <dostamat@fel.cvut.cz>     | JP:B-505 | Přednášející, cvičící |
^ Alena Gollová  | domluva e-mailem | <gollova@fel.cvut.cz> | JP:B-506 | Cvičící |
^ Natalie Žukovec   | domluva e-mailem  | <zhukavet@fel.cvut.cz>     | JP:B-506 | Cvičící |