Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

07SATstl / 07SATstl

.doc
Скачиваний:
33
Добавлен:
19.04.2013
Размер:
152.58 Кб
Скачать

+

в)

множество, которое можно построить (проверить элемент на входимость)

с помощью заданных правил конструирования (проверки)

г)

множества элементов, собираемых из конструктивов

д)

множества, представленные в конструктивных базах данных

8.4

Перечисленное множество

а)

множество, получаемое пересылкой из одной базы данных в другую

+

б)

- конечное множество с заданным числом элементов

в)

конечное множество

г)

множество с числом элементов, превышающим заданное

д)

множество, предъявленное всеми своими элементами

8.5

Задача

а)

то, что требует разрешения

б)

врпрос, требующий ответа

+

в)

логически заданное множество с требованием построить (выделить) эк­

вивалентное ему перечисленное

г)

требование определить, существует ли элемент с заданными свойствами

Д)

логическое условие, которому удовлетворяет искомый элемент

Тема 9

9.1

Редукция множеств

а)

сведение сложного задания множества к простому

б)

уменьшение числа свойств логическом определении множества

+

в)

последовательное сужение (сокращение) множества (возможных вариан­

тов) вплоть до получения решения задачи

г)

уменьшение числа элементов в множестве

д)

упрощение способа задания множества

9.2

Порфириан

а)

матрица, эквивалентная графу

+

б)

- граф (древовидный), соответствующий редукции множеств или последо­

вательному конструированию решений

в)

дерево, соответствующее перебору вариантов путем их последовательно­

го конструирования

г)

таблица, регистрирующая пути на графе при поиске оптимального

д)

дерево, с вершинами соответствующими подмножествам

9.3

Итеративная схема

а)

идея диалога в человеко-машинных системах

б)

блок-схема ветвления в диалоговых схемах

в)

функция, позволяющая вычислять следующее значение по предыдущему

г)

схема направленного перебора вариантов при поиске решения

+

Д)

последовательная трансформация вариантов в целях приближения к ре­

шению

9.4

Случайный поиск

А)

схема направленного перебора, когда следующее решение выбирается

произвольно

б)

случайное изменение параметров в итеративных схемах

+

в)

выбор варианта из множества возможных решений с помощью датчика

случайных чисел

г)

выбор решения случайным заданием координат

д)

случайное построение вариантов с целью получения приближений к ре­

шению

9.5

Эвристики

+

а)

6)

в)

г)

д)

правила случайного выбора решений

произвольные правила, ведущие к получению варианта

правила, не являющиеся ни точным, ни приближенным методом реше­ния, обычно заимствуемые из практики

правила решения, пришедшие как озарение Архимеда

параметры, включаемые в правила решения

Тема 10

10.1

Заданная ситуация

а) б)

в) г)

д)

ситуация, требующая разрешения

состояние, когда осознана необходимость подправки динамики системы

состояние, когда требуется подправить представления о чем-то

состояние, выход из которого - в решении

ситуация, выход из которого - в осознании соответствующей задачи

10.2

Постановка задачи

а) б)

в) г)

д)

формулировка требований к результату решения

задать неизвестное и определить его свойства

сформулировать логически заданное множество, соответствующее тре­бованиям к решению выбрать аналог и преобразовать его в формулировку задачи

идентифицировать задачу с ее прототипом

10.3

Решение

а) б)

в) г)

Д)

выбрать метод решения по прототипу и приспособить его к решению

создать правила конструирования решений ( конструктивное задание множества) или самого решения (как элемента множества возможных решений)

выбрать подходящую схему компьютерной поддержки решения

в соответствии со свойствами исходного варианта провести редукцию исходного множества выбрать произвольное решение и реализовать итеративную схему

10.4

Разрешимость

а) б)

в) г)

д)

возможность решения задачи

возможность получения решения заданными средствами

возможность выделить искомое подмножество по кодам элементов

правильный выбор обозначения неизвестного

возможность реализации по выбранной схеме в приемлемое время

10.5

Обоснование (решения)

а) б) в)

г)

д)

проверка решения на правильность реализации алгоритма

проверка общего решения на правильность его записи

система доводов, призванных убедить в адекватности задачи заданной ситуации и разумности (правильности) использования средств для полу­чения результата

логический анализ близости полученного результата условиям задачи

сверка использованной схемы со схемой-прототипом