Каталог / Фізико-математичні науки / Математичне та програмне забезпечення обчислювальних машин і систем
скачать файл: 
- Назва:
- Исследование и реализация методов структурного синтеза программ Харф, Майт Якобович
- Альтернативное название:
- Research and implementation of methods for structural synthesis of programs Harf, Mait Jacobovich
- Короткий опис:
- Харф, Майт Якобович.
Исследование и реализация методов структурного синтеза программ : диссертация ... кандидата технических наук : 01.01.10. - Таллин, 1984. - 122 с. : ил.
Оглавление диссертациикандидат технических наук Харф, Майт Якобович
ВВЕДЕНИЕ.
ГЛАВА I. ОБЗОР МЕТОДОВ СИНТЕЗА ПРОГРАММ
1.1. Дедуктивный подход к синтезу.
1.2. Индуктивный подход к синтезу
1.3. Трансформационный подход к синтезу.
1.'4. Автоматический синтез в пакетах црикладных программ.
ГЛАВА II. МЕТОД СТРУКТУРНОГО СИНТЕЗА ПРОГРАММ.
2.1. Язык условий задач.
2.2. Вычислимость объектов.
2.3. Форма аксиом
2.4. Правила вывода
2.5. Язык программ.
2.6. Синтез программ линейной структуры.
2.6.1. Построение доказательства теоремы
2.6.2. Алгоритм построения доказательства
2.6.3. Оценка сложности
2.7. Синтез ветвящихся программ
2.7.1. Алгоритм построения доказательства
2.7.2. Оценка сложности.
2.8. Синтез црограмм с подпрограммами (первый способ)
2.8.1. Алгоритм построения доказательства
2.8.2. Оценка сложности.
2.9. Синтез программ с подпрограммами (второй способ)
2.9.1. Оценка сложности
- Стоимость доставки:
- 650.00 руб