Výuka

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