1. cvičení - Výroková logika I
Cvičné příklady na cvičení o výrokové logice I
Matematická logika a teorie grafů [TAE41E]
ČZU v Praze
PDF (119.85 kB)
6. 12. 2014
12. přednáška - Minimalizace konečných automatů
Prezentace z přednášky minimalizace konečných automatů
Matematická logika a teorie grafů [TAE41E]
ČZU v Praze
PDF (104.21 kB)
6. 12. 2014
11. přednáška - Konečné automaty
Prezentace z přednášky konečné automaty
Matematická logika a teorie grafů [TAE41E]
ČZU v Praze
PDF (154.25 kB)
6. 12. 2014
10. přednáška - Toky v sítích
Prezentace z přednášky toky v sítích
Matematická logika a teorie grafů [TAE41E]
ČZU v Praze
PDF (127.09 kB)
6. 12. 2014
9. přednáška - Orientované grafy
Prezentace z přednášky orientované grafy
Matematická logika a teorie grafů [TAE41E]
ČZU v Praze
PDF (106.94 kB)
6. 12. 2014
8. přednáška - Sledy v grafech
Prezentace z přednášky sledy v grafech
Matematická logika a teorie grafů [TAE41E]
ČZU v Praze
PDF (292.84 kB)
6. 12. 2014
7. přednáška - Grafy - úvod
Prezentace k přednášce z grafů
Matematická logika a teorie grafů [TAE41E]
ČZU v Praze
PDF (117.82 kB)
6. 12. 2014
6. přednáška - Predikátová logika
Prezentace k přednášce z predikátová logiky
Matematická logika a teorie grafů [TAE41E]
ČZU v Praze
PDF (111.29 kB)
6. 12. 2014