V této kategorii najdete kurzy pro výuku teorie informatiky, teorie jazyků a automatů, grafů, vyčíslitelnosti a složitosti, zpracování přirozeného jazyka, logiky, logického programování.