Тема 1. Математически понятия – теория на множествата, графи, релации и функции.
Тема 2. Математически понятия – числови множества, техники за дефиниране и доказателство.
Тема 3. Булеви функции.
Тема 4. Формани езици и пораждащи граматики.
Тема 5. Регулярни езици и регулярни изрази.
Тема 6. Безконтекстни езици.
Тема 7. Контекстни и рекурсивно номерируеми езици.
Тема 8. Крайни автомати – основни концепции и детерминирани разпознаватели.
Тема 9. Недетерминирани крайни автомати.
Тема 10. Трансдуктори (преобразуватели.