Исследование и реализация методов структурного синтеза программ Харф, Майт Якобович




  • скачать файл:
  • Назва:
  • Исследование и реализация методов структурного синтеза программ Харф, Майт Якобович
  • Альтернативное название:
  • Research and implementation of methods for structural synthesis of programs Harf, Mait Jacobovich
  • Кількість сторінок:
  • 120
  • ВНЗ:
  • Таллин
  • Рік захисту:
  • 1984
  • Короткий опис:
  • Харф, Майт Якобович.
    Исследование и реализация методов структурного синтеза программ : диссертация ... кандидата технических наук : 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 руб


ПОШУК ГОТОВОЇ ДИСЕРТАЦІЙНОЇ РОБОТИ АБО СТАТТІ


Доставка любой диссертации из России и Украины


ОСТАННІ СТАТТІ ТА АВТОРЕФЕРАТИ

ГБУР ЛЮСЯ ВОЛОДИМИРІВНА АДМІНІСТРАТИВНА ВІДПОВІДАЛЬНІСТЬ ЗА ПРАВОПОРУШЕННЯ У СФЕРІ ВИКОРИСТАННЯ ТА ОХОРОНИ ВОДНИХ РЕСУРСІВ УКРАЇНИ
МИШУНЕНКОВА ОЛЬГА ВЛАДИМИРОВНА Взаимосвязь теоретической и практической подготовки бакалавров по направлению «Туризм и рекреация» в Республике Польша»
Ржевский Валентин Сергеевич Комплексное применение низкочастотного переменного электростатического поля и широкополосной электромагнитной терапии в реабилитации больных с гнойно-воспалительными заболеваниями челюстно-лицевой области
Орехов Генрих Васильевич НАУЧНОЕ ОБОСНОВАНИЕ И ТЕХНИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ЭФФЕКТА ВЗАИМОДЕЙСТВИЯ КОАКСИАЛЬНЫХ ЦИРКУЛЯЦИОННЫХ ТЕЧЕНИЙ
СОЛЯНИК Анатолий Иванович МЕТОДОЛОГИЯ И ПРИНЦИПЫ УПРАВЛЕНИЯ ПРОЦЕССАМИ САНАТОРНО-КУРОРТНОЙ РЕАБИЛИТАЦИИ НА ОСНОВЕ СИСТЕМЫ МЕНЕДЖМЕНТА КАЧЕСТВА