КОМПЛЕКСНАЯ РАБОЧАЯ ПРОГРАММА - часть 4

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. Методы описаний в программировании: Базы данных и информационные системы. Система управления базой данных.