Logika a grafy - literatura

Logika

• J. Velebil: Velmi jemný úvod do matematické logiky.
  - Základní zdroj k přednáškám z logiky.
• M. Demlová: Přednášky z LGR a sbírka příkladů.
  - Stručný obsah přednášek z dřívějších let od prof. Demlové. Text je většinou bez důkazů, ty uslyšíte na přednáškách nebo je najdete v jiné doporučené literatuře.
• M. Demlová, B. Pondělíček: Matematická logika, ČVUT Praha, 1997.
  - Starší zřejmě vyprodaná skripta, která lze vypůjčit v knihovně.
• M. Huth, M. Ryan: Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2004.
  - A jedna kniha v angličtině, dostupná k zapůjčení na archive.org

Grafy

• J. Demel: Grafy a jejich aplikace, Academia, 2015. Dostupné též online.
  - Základní zdroj k přednáškám z grafů.
• M. Demlová: Přednášky z LGR a sbírka příkladů.
  - Stručný obsah přednášek z dřívějších let od prof. Demlové. Text je většinou bez důkazů, ty uslyšíte na přednáškách nebo je najdete v jiné doporučené literatuře.
• J. Matoušek, J. Nešetřil: Kapitoly z diskrétní matematiky, Nakladatelství Karolinum, 2000.
  - Zajímavá a čtivá kniha se širším záběrem, v níž najdete kapitoly o grafech.
• J. A. Bondy, U. S. R. Murty: Graph theory with applications, Elsevier Science Ltd/North-Holland, 1976.
  - A jedna kniha v angličtině, dostupná k zapůjčení na archive.org

Zpět na domovskou stránku.