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

==== Novinka: zadání zkoušek ====
  * Zkouška 24. 5. 2022: {{kveten-23-logika-reseni.pdf|logická část s řešením}}, {{kveten-23-grafy.pdf|grafová část}}.
  * Zkouška 31. 5. 2022: {{kveten-31-logika-reseni.pdf|logická část s řešením}}, {{kveten-31-grafy.pdf|grafová část}}.
  * Zkouška 6. 6. 2022: {{cerven-06-logika-reseni.pdf|logická část s řešením}}, {{cerven-06-grafy-reseni.pdf|grafová část s řešením}}.
  * Zkouška 13. 6. 2022: {{cerven-13-logika-reseni.pdf|logická část s řešením}}, {{cerven-13-grafy.pdf|grafová část}}.
  * Zkouška 20. 6. 2022: {{cerven-20-logika-reseni.pdf|logická část s řešením}}

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

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

==== 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.
  * 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, [[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://dcn.icc.spbstu.ru/~karpov/%d0%9a%d1%83%d1%80%d1%81%20%d0%9b%d0%9e%d0%93%d0%98%d0%9a%d0%90/%d0%94%d0%9e%d0%9f%d0%9e%d0%9b%d0%9d%d0%98%d0%a2%d0%95%d0%9b%d0%ac%d0%9d%d0%9e%d0%95%20%d0%a7%d1%82%d0%b5%d0%bd%d0%b8%d0%b5/LogicInCS.pdf|Logic in Computer Science: Modelling and Reasoning about Systems]], Cambridge University Press, 2004. Dostupné k zapůjčení na [[https://archive.org/details/logicincomputers0000huth|archive.org]].
  * 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. Dostupné k zapůjčení na [[https://archive.org/details/graphtheorywitha0000bond|archive.org]].

==== 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>     | B-505 | Přednášející, cvičící |
^ Alena Gollová   | domluva e-mailem  | <gollova@fel.cvut.cz>     | B-506 | Cvičící |
^ Vojtěch Štěpančík | domluva e-mailem| <stepavo2@fel.cvut.cz>     |  | Cvičící|