Výuka - předmět Logika a grafy

Harmonogram:

Týdenní osnova:

1. Formule výrokové logiky, pravdivostní ohodnocení, tautologie, kontradikce, splnitelné formule.
2. Sémantický důsledek, tautologická ekvivalence, CNF a DNF, Booleovský kalkul.
3. Rezoluční metoda ve výrokové logice.
4. Predikátová logika, formalizace vět, syntakticky správné formule.
5. Interpretace predikátové logiky, sémantický důsledek a tautologická ekvivalence.
6. Rezoluční metoda v predikátové logice.
7. Grafy neorientované a orientované, základní pojmy.
8. Souvislost, stromy, kostry, kořenové stromy.
9. Silná souvislost, acyklické grafy.
10. Eulerovy grafy a jejich aplikace.
11. Hamiltonovy grafy a jejich aplikace.
12. Nezávislé množiny, kliky v grafy.
13. Vrcholové a hranové barvení grafu.
14. Rezerva.

Literatura:

• M. Demlová, B. Pondělíček: Matematická logika, ČVUT Praha, 1997.
• J. Velebil: Úvod do logiky, ke stažení na stránkách J. Velebila zde
• J. Matoušek, J. Nešetřel: Kapitoly z diskrétní matematiky, Nakladatelství Karolinum, 2000.
• J. Demel: Grafy a jejich aplikace, Academia 2002.
• M. Demlová: Mathematical Logic, Kernberg Publishing, 2008 (anglicky)

Stručný obsah přednášek - Přednášky.

Zkoušky - Organizace zkoušek.