Výuka

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