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
Next revision 		Previous revision
courses:a4m33au:start [2017/04/20 08:59]
vyskoji1 		courses:a4m33au:start [2017/05/03 17:31]
vyskoji1
Line 20: Line 20:
 (Jiří Vyskočil) (Jiří Vyskočil)
 ^ č.t. ^ datum ^ náplň ^ ^ č.t. ^ datum ^ náplň ^
-|  9 |  20.4. | SAT a DPLL {{:​courses:​a4m33au:​09-dpll.pdf|slidy}} ​(Vyskočil) ​| +|   ​9 |  20.4. | Model checking II {{:​courses:​a4m33au:​11-model_checking_ii.pdf|slidy}} | 
-|  10 |  27.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}} | 
-|  11 |  4.5. | Model checking III {{:​courses:​a4m33au:​12-model_checking_iii.pdf|slidy}} | +|  11 |   ​4.5. | SAT a DPLL {{:​courses:​a4m33au:​09-dpll.pdf|slidy}} | 
-|  12 |  11.5. | Hledání modelů v predikátové logice 1. řádu {{:​courses:​a4m33au:​13-model_finding_methods.pdf|slidy}} | +|  12 |  11.5. | Nahradni vyuka za Pondeli dle harmonogramu FEL | 
-|  ​13 |  ​18.5. | Tableaux metody {{:​courses:​a4m33au:​08-tableaux.pdf|slidy}}| +|  13 |  18.5. | Hledání modelů v predikátové logice 1. řádu {{:​courses:​a4m33au:​13-model_finding_methods.pdf|slidy}} | 
-|  14 |  25.5. | TBA |+|  ​14 |  ​25.5. | Tableaux metody {{:​courses:​a4m33au:​08-tableaux.pdf|slidy}} |
  
 LeanTAP: {{:​courses:​a4m33au:​leantap.txt|}} LeanTAP: {{:​courses:​a4m33au:​leantap.txt|}}
courses/a4m33au/start.txt · Last modified: 2017/05/03 17:31 by vyskoji1