2.1.2. Виды информации (классификация).
2.1.3. Булева алгебра, булевские термы.
2.1.4. Исчисление предикатов.
2.1.5. Теория графов.
2.1.6. Теория сложности.
2.1.7. Рекурсивные функции.
Часть вторая
2.1.8. Алгоритмы.
2.1.9. Вычислительные структуры.
2.1.10. Кодирование и теория информации.
2.1.11. Процессы.
2.1.12. Грамматики.
2.1.13. Контекстно-свободные языки и магазинные автоматы.
2.1.14. Гипотетические машины: Машины Тьюринга. Регистровые машины.
Часть третья
2.1.15. Методика программирования.
2.1.16. Параллельные векторные архитектуры.
2.1.17. Языки программирования и программирование: Синтаксис. Описание формального языка с помощью БНФ.
2.1.18. Аппликативные языки программирования: Элементы аппликативных языков программирования.
2.1.19. Аппликативные языки программирования: Техника аппликативного программирования.
2.1.20. Аппликативные языки программирования: Техника доказательства для рекурсивных программ.
2.1.21. Объявление типов. Массивы. Конечные множества как вычислительные структуры. Рекурсивные объявления типов. Списки.
2.1.22. Структура вычислительных машин. Машинно-ориентированные программные структуры.
2.1.23. Процессы, коммуникация и координация в распределенных системах.
2.1.24. Операционные системы и системное программирование.
2.1.25. Интерпретация и компиляция программ.
2.1.26. Эффективные алгоритмы и структуры данных: Избранные алгоритмы. Деревья. Эффективное представления множеств.
2.1.27. Методы описаний в программировании: Формализмы для спецификаций. Логическое программирование.
2.1.28. Методы описаний в программировании: Объектно-ориентированное программирование.
2.1.29. Методы описаний в программировании: Базы данных и информационные системы. Моделирование отношений сущность/связь.
2.1.30. Методы описаний в программировании: Базы данных и информационные системы. Характеризация связей.
2.1.31. Методы описаний в программировании: Базы данных и информационные системы. Система управления базой данных.