krátká informace o státnících ze září 2009 (21. - 23., teoretická informatika).
Začínalo se zhruba v devět hodin, já byl hotov něco po dvanácté, většina to stihla do dvou. Bylo nás 16 a všichni to zvládli .
Otázky:
- Logika (Petr Kučera): Věta o úplnosti predikátové logiky a Henkinovy teorie.
- Složitost (Čepek): Polynomiální hierarchie - definice + v jaké prostorové třídě je obsažena.
- Datové struktury (Koubek): Fibonacciho haldy.
- Neuronové sítě (Mrázová): Hopfieldův model, konvergence, asociativní paměti.
- Neprocedurální programování (Štěpánek): Switching lemma pro výpočet.