Výuka

1. Formální jazyky a automaty (FF UK)
2. Výpočetní modely (FF UK)
3. Výpočetní složitost (FF UK)
4. Reprezentace Booleovských funkcí (MFF UK)