Оглавление
1 Обзор существующих подходов к исследуемой проблеме
1.1 Решение задач в языках императивного типа
1.2 Решение задач в языках декларативного типа.
1.3 Доказательное программирование.
1.4 Особенност и подхода от задач
1.4.1 Первый уровень общности
1.4.2 Второй уровень общности
1.4.3 Третий уровень общности
2 Теоретические основы языков спецификаций задач
2.1 Концепция технологии построения языков спецификаций классов задач, ориентированных на пользователей.
2.2 Интеллектуальные ресурсы и интеллектуальные запросы пользователей
2.2.1 Интеллектуальные ресурсы пользователей.
2.2.1.1 Парадокс кучи.
2.2. Оценка интеллектуального ресурса пользователя
2.2.1.3 Интеллектуальный ресурс сообщества пользователей
2.2.2 Интеллектуальные запросы пользователей.
2.2.1 Интеллектуальные запросы идеального пользователя
2.2.2 Интеллектуальные запросы реального пользователя.
2.3 Языки и логики спецификаций задач для идеальных пользователей
2.3.1 Языки
2.3.2 Тлогикн.ИЗ
2.3.3 Тп,логики.
2.3.4 Немонотонность некоторых Тлогик
2.3.5 Представления логик спецификаций задач и конструктивные системы.
2.3.5.1 Представления Тлогик
2.3.5.2 Конструктивные системы.
2.4 Языки и логики спецификаций задач для реальных пользователей
2.4.1 Яелязыкн.
2.4.2 Логики
2.4.3 Тфщ, гезУ логики.
2.4.4 Немонотонность некоторых I, тлогик.
2.5 Представления логик спецификаций для реальных пользователей.
2.5.1 Представления X, гиЛОГИк.
2.5.2 конструктивные системы
3 Алгоритмические проблемы языков спецификаций задач.
3.1 Измерение интеллектуатьных ресурсов пользователей.
3.1.1 Алгоритм измерения интеллектуальных ресурсов пользователей
3.1.1.1 Термкалибровка
3.1.1.2 Шкала уверенности ТБ.
3.1.2 Измерение тр,Т ресурса гер,Т
3.1.3 Измерение т2р,Т.
3.1.4 Измерение Мф.Т
3.2 Особенности организации диалога в языках спецификаций задач.
3.2.1 Организация диалога с реальным пользователем.
3.2.2 Длина текста и сложность текста
3.2.3 Синтаксис, семантика и прагматика
3.2.3.1 Синтаксис.
3.2.3.2 Оценка синтаксической сложности текста
3.2.4 Особенности формулировки задачи в языках спецификаций
3.2.4.1 Тестирование
3.2.4.2 Пример формальной спецификации задачи.
3.2.5 Некоторые комментарии и обоснования
3.2.6 Реализационные аспекты диалога.
4 Реализационные аспекты применения языков спецификаций классов задач, ориентированных на пользователей
4.1 Применение языков спецификации задач в экономике и технике.
4.1.1 Спецификация экономической задачи
Инвестиционное проектирование и управление проектами.
4.1.2 Реализация интернетпроекта
Инвестиционный менеджмент в инновационной сфере
4.1.3 Спецификация технической задачи Системные основы информатики.
4.1.4 Реализация программы Системные основы информатики
Г 4.1.4.1 Комплекс обучающих программ Конструктор I
4.1.4.2 Аппаратные основы информатики. Конструктор I .
4.1.4.3 Работа с конструктором I .
4.1.4.4 Конфигурирование персонального компьютера.
4.1.4.5 С ЧЕГО начать и КАК это делается
4.1.4.6 Лабораторный практикум
4.1.4.7 Задания лабораторного практикума
4.2 Инструментарий для реализации языков спецификаций задач
4.2.1 Измерение интеллектуальных ресурсов пользователей. Система .
4.2.1.1 Определение интеллектуальных ресурсов пользователя
4.2.1.2 Схема постановки задачи пользователем р.
4.2.2 Среда слецификаиионной деятельности. Система СИГМАТЗ
4.2.2.1 Схема решения задач в системе СигмаТЗ
4.2.2.2. Формирование исходных спецификаций в СигмаТЗ
4.3 Инструментальный комплекс языков спецификаций задач
4.3.1 Архитектура инструментальной системы ТсКоРЗ
4.3.1.1 Базисный уровень технологического комплекса решения задач.
4.3.1.2 Вмодули
4.3.1.3 Управляющий массив
4.3.1.4 Организация программного обеспечения на базисном уровне.
4.3.1.4.1 Решение задач на базисном уровне
4.3.1.4.2 Технологический этап решения задач в ТеКоРЗ.
4.3.1.4.3 Свойства качественных решений Гзадач.
4.3.2 Инструмент отбора стратегий исполнения модулей.
4.3.2.1 Схема работы конструктора
4.3.2.2 Структура и состав конструктора
Заключение
Список используемых источников
- Київ+380960830922