- Информация и формални модели
- Информация и информатика
- Крайни азбуки, думи и езици
- Естествени числа и позиционни бройни системи
- Съждения и булеви функции
- Формални езици и граматики
- Алгоритми
- Компютърни системи
- Операционни системи
- Програмиране
- Хуманитарни аспекти на информатиката