- •1. Теория алгоритмов
- •1.1. Основные понятия
- •1.1.1 Основные требования к алгоритмам(Вычегжанин)
- •1.1.2. Блок–схемы алгоритмов
- •1.1.3. Представление данных(Дерюшев)
- •1.1.4. Виды алгоритмов(Константинова)
- •1.1.5. Правильность программ
- •1.1.6.Эффективность алгоритмов
- •1.1.7. Сходимость, сложность, надежность(Федосеева)
- •2. Универсальные алгоритмы
- •2.1. Основные понятия(Кирьянов)
- •2.2. Машины Тьюринга
- •2.3. Рекурсивные функции(Пустынников)
- •2.5. Тезис Черча-Тьюринга(Грибанов)
- •2.6. Проблема самоприменимости
- •3. Формальные системы(Чернышова)
- •3.1. Метатеория логических исчислений(Черных)
- •3.2. Абстрактные формальные системы
- •4. Языки и грамматики
- •4.1. Общие понятия(Марышев)
- •4.2. Формальные грамматики
- •4.3. Иерархия языков
- •5. Параллельные вычисления(Пьянков)
- •Оглавление
Оглавление
1. ТЕОРИЯ АЛГОРИТМОВ 3
1.1. Основные понятия 3
1.1.1 Основные требования к алгоритмам(Вычегжанин) 3
7
1.1.2. Блок–схемы алгоритмов 7
1.1.3. Представление данных(Дерюшев) 8
1.1.4. Виды алгоритмов(Константинова) 10
1.1.5. Правильность программ 11
1.1.6.Эффективность алгоритмов 12
1.1.7. Сходимость, сложность, надежность(Федосеева) 14
2. Универсальные алгоритмы 17
2.1. Основные понятия(Кирьянов) 17
2.2. Машины Тьюринга 17
2.3. Рекурсивные функции(Пустынников) 20
2.4.ПР-операторы 22
2.5. Тезис Черча-Тьюринга(Грибанов) 23
2.6. Проблема самоприменимости 24
3. Формальные системы(Чернышова) 27
3.1. Метатеория логических исчислений(Черных) 29
3.2. Абстрактные формальные системы 31
4. Языки и грамматики 32
4.1. Общие понятия(Марышев) 32
4.2. Формальные грамматики 34
4.3. Иерархия языков 34
5. Параллельные вычисления(Пьянков) 35
Л И Т Е Р А Т У Р А 36
Оглавление 36