Warning
This page is located in archive.

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
courses:a4m33au:start [2017/05/03 17:31]
vyskoji1
courses:a4m33au:start [2017/05/03 17:31] (current)
vyskoji1
Line 22: Line 22:
 |   9 |  20.4. | Model checking II {{:​courses:​a4m33au:​11-model_checking_ii.pdf|slidy}} | |   9 |  20.4. | Model checking II {{:​courses:​a4m33au:​11-model_checking_ii.pdf|slidy}} |
 |  10 |  27.4. | Model checking III {{:​courses:​a4m33au:​12-model_checking_iii.pdf|slidy}} | |  10 |  27.4. | Model checking III {{:​courses:​a4m33au:​12-model_checking_iii.pdf|slidy}} |
-|  11 |   4.5. | SAT a DPLL {{:​courses:​a4m33au:​09-dpll.pdf|slidy}} ​(Vyskočil) ​|+|  11 |   4.5. | SAT a DPLL {{:​courses:​a4m33au:​09-dpll.pdf|slidy}} |
 |  12 |  11.5. | Nahradni vyuka za Pondeli dle harmonogramu FEL | |  12 |  11.5. | Nahradni vyuka za Pondeli dle harmonogramu FEL |
 |  13 |  18.5. | Hledání modelů v predikátové logice 1. řádu {{:​courses:​a4m33au:​13-model_finding_methods.pdf|slidy}} | |  13 |  18.5. | Hledání modelů v predikátové logice 1. řádu {{:​courses:​a4m33au:​13-model_finding_methods.pdf|slidy}} |
courses/a4m33au/start.txt · Last modified: 2017/05/03 17:31 by vyskoji1