Введение
1 Обзор существующих подходов к исследуемой проблеме 22
1.1 Решение задач в языках императивного типа 27
1.2 Решение задач в языках декларативного типа 31
1.3 Доказательное программирование 42
1.4 Особенности подхода от задач 48
1.4.1 Первый уровень общности 61
1.4.2 Второй уровень общности 64
1.4.3 Третий уровень общности 68
2 Теоретические основы языков спецификаций задач 81
2.1 Концепция технологии построения языков спецификаций классов задач, ориентированных на пользователей 82
2.2 Интеллектуальные ресурсы и интеллектуальные запросы пользователей 83
2.2.1 Интеллектуальные ресурсы пользователей 84
2.2.1.1 «Парадокс кучи» 88
2.2.1.2 Оценка интеллектуального ресурса пользователя 89
2.2.1.3 Интеллектуальный ресурс сообщества пользователей 90
2.2.2 Интеллектуальные запросы пользователей 91
2.2.1 Интеллектуальные запросы идеального пользователя 92
2.2.2 Интеллектуальные запросы реального пользователя 95
2.3 Языки и логики спецификаций задач для идеальных пользователей 96
2.3.1 Языки 99
2.3.2 Х-логики 113
2.3.3 Xsym- логики 116
2.3.4 Немонотонность некоторых Х-логик 119
2.3.5 Представления логик спецификаций задач и конструктивные системы 122
2.3.5.1 Представления Х-логик 122
2.3.5.2 Конструктивные системы 124
2.4 Языки и логики спецификаций задач для реальных пользователей 130
2.4.1 Яех-языки 130
2.4.2 Логики 134
2.4.3 (Xsym, res)- логики 137
2.4.4 Немонотонность некоторых (X, гах)-логик 140
2.5 Представления логик спецификаций для реальных пользователей 143
2.5.1 Представления (X, res)-novm 143
2.5.2 Лея-конструктивные системы 144
3 Алгоритмические проблемы языков спецификаций задач 146
3.1 Измерение интеллектуальных ресурсов пользователей 147
3.1.1 Алгоритм измерения интеллектуальных ресурсов пользователей 147
3.1.1.1 Терм-калибровка 152
3.1.1.2 Шкала уверенности TS 162
3.1.2 Измерение т3(р,Т) ресурса res(p,Т) 164
3.1.3 Измерениет2(р,Т) 165
3.1.4 Измерение nti(p,Т) 167
3.2 Особенности организации диалога в языках спецификаций задач 168
3.2.1 Организация диалога с реальным пользователем 169
3.2.2 Длина текста и сложность текста 169
3.2.3 Синтаксис, семантика и прагматика 171
3.2.3.1 Синтаксис 174
3.2.3.2 Оценка синтаксической сложности текста 177
3.2.4 Особенности формулировки задачи в языках спецификаций 182
3.2.4.1 Тестирование 183
3.2.4.2 Пример формальной спецификации задачи 184
3.2.5 Некоторые комментарии и обоснования 192
3.2.6 Реализационные аспекты диалога 196
4 Реализационные аспекты применения языков спецификаций классов задач, ориентированных на пользователей 199
4.1 Применение языков спецификаций задач в экономике и технике 200
4.1.1 Спецификация экономической задачи «Инвестиционное проектирование и управление проектами» 201
4.1.2 Реализация интернет-проекта «Инвестиционный менеджмент (в инновационной сфере) 206
4.1.3 Спецификация технической задачи «Системные основы информатики» 219
4.1.4 Реализация программы «Системные основы информатики» 222
4.1.4.1 Комплекс обучающих программ «Конструктор IBM PC» 226
4.1.4.2 Аппаратные основы информатики. «Конструктор IBM PC» 231
4.1.4.3 Работа с конструктором IBM PC 236
4.1.4.4 Конфигурирование персонального компьютера 238
4.1.4.5 С ЧЕГО начать и КАК это делается 243
4.1.4.6 Лабораторный практикум 245
4.1.4.7 Задания лабораторного практикума 245
4.2 Инструментарий для реализации языков спецификаций задач 251
4.2.1 Измерение интеллектуальных ресурсов пользователей. Система «PLAST» 251
4.2.1.1 Определение интеллектуальных ресурсов пользователя 255
4.2.1.2 Схема постановки задачи пользователем/? 259
4.2.2 Среда спецификационной деятельности. Система «СИГМА-ТЗ» 261
4.2.2.1 Схема решения задач в системе «Сигма-ТЗ» 262
4.2.2.2. Формирование исходных спецификаций в «Сигма-ТЗ» 264
4.3 Инструментальный комплекс языков спецификаций задач 280
4.3.1 Архитектура инструментальной системы «ТеКоРЗ» 280
4.3.1.1 Базисный уровень технологического комплекса решения задач 282
4.3.1.2.Модули 284
4.3.1.3 Управляющий массив 287
4.3.1.4 Организация программного обеспечения на базисном уровне 288
4.3.1.4.1 Решение задач на базисном уровне 289
4.3.1.4.2 Технологический этап решения задач в «ТеКоРЗ» 290
4.3.1.4.3 Свойства качественных решений Г-задач 294
4.3.2 Инструмент отбора стратегий исполнения модулей 295
4.3.2.1 Схема работы ТГ-конструктора 297
4.3.2.2 Структура и состав ТС-конструктора 302
Заключение 305
Список используемых источников 307
