| ПОСТРАНИЧНО
Б
В
Г
Д
И
К
Л
М
О
П
Р
С
У
Ф
Х
Ц
Э
Я
| | | # | Ключевое слово | № лекции (страницы) |
| Б |
| | быстрая сортировка |
8 (3),
| | | |
... Идея метода следующая. Выбирается некоторый "барьерный" элемент, относительно которого мы разбиваем исходный список на два подсписка. В один мы помещаем элементы, меньшие барьерного элемента, во второй — большие либо равные. Каждый из этих списков мы сортируем тем же способом, после чего приписываем к списку тех элементов, которые меньше барьерного, вначале сам барьерный элемент, а затем — список элементов не меньших барьерного. В итоге получаем список, состоящий из элементов, стоящих в правильном порядке. ...
лекция 8,
страница 3 »
| |
| | бэктрекинг |
6 (1),
| | | |
... Суть этого механизма такова: в том месте программы, где возможен выбор нескольких вариантов, Пролог сохраняет в специальный стек точку возврата для последующего возвращения в эту позицию. Точка возврата содержит информацию, необходимую для возобновления процедуры при откате. Выбирается один из возможных вариантов, после чего продолжается выполнение программы. ...
лекция 6,
страница 1 »
| |
| В |
| | внешнее имя файла |
12 (1, 2, 3),
| |
| | внешняя база данных |
13 (1),
| |
| | внутреннее имя файла |
12 (1, 3),
| | | |
... Обратите внимание, что при описании файловых доменов тип домена file располагается слева от равенства, а символические имена файлов — справа. Их еще называют внутренними или логическими именами файлов, в отличие от внешних или физических имен файлов. Символическое имя файла должно начинаться со строчной буквы. ...
лекция 12,
страница 1 »
| |
| | внутренняя база данных |
13 (1, 2, 3),
| | | |
... Внутренние базы данных так называются потому, что они обрабатываются исключительно в оперативной памяти компьютера, в отличие от внешних баз данных, которые могут обрабатываться на диске или в памяти. ...
лекция 13,
страница 1 »
| |
| | вопрос |
3 (2),
| |
| | высота дерева |
10 (1, 2),
| | | |
...
Высотой дерева называется наибольшая длина пути от корня к листу . ...
лекция 10,
страница 1 »
| |
| Г |
| | голова списка |
7 (1),
| |
| | граф |
10 (1),
| | | |
... Обычно графом называют пару множеств: множество вершин и множество дуг (множество пар из множества вершин). ...
лекция 10,
страница 1 »
| |
| Д |
| | двоичный справочник |
10 (2, 3, 4),
| |
| | декларативная модель |
3 (3),
| | | |
... В декларативной модели рассматриваются отношения, определенные в программе. Для этой модели порядок следования предложений в программе и условий в правиле не важен. ...
лекция 3,
страница 3 »
| |
| | декларативный язык |
1 (2),
| | | |
... В основе декларативных языков лежит формализованная человеческая логика. Человек лишь описывает решаемую задачу, а поиском решения занимается императивная система программирования. В итоге получаем значительно большую скорость разработки приложений, значительно меньший размер исходного кода, легкость записи знаний на декларативных языках, более понятные, по сравнению с императивными языками, программы. ...
лекция 1,
страница 2 »
| |
| | дерево |
10 (1, 2, 3, 4),
| | | |
...
Деревом называется граф , у которого одна вершина корневая, остальные вершины имеют только одного отца и все вершины являются потомками корневой вершины. ...
лекция 10,
страница 1 »
| |
| | директива компилятора |
5 (1, 2),
| |
| | длина строки |
11 (1, 3),
| |
| | домен |
5 (1, 2, 3),
| |
| И |
| | императивный язык |
1 (2),
| | | |
... Императивные языки основаны на фон неймановской модели вычислений компьютера. Решая задачу, императивный программист вначале создает модель в некоторой формальной системе, а затем переписывает решение на императивный язык программирования в терминах компьютера. ...
лекция 1,
страница 2 »
| |
| | искусственный интеллект |
14 (1, 2),
| |
| К |
| | конкатенация строк |
11 (1, 3),
| |
| | константа |
5 (1, 2),
| |
| | корень |
10 (1, 2, 3, 4),
| |
| | крона дерева |
10 (1),
| | | |
...
Кроной дерева называется совокупность всех листьев . ...
лекция 10,
страница 1 »
| |
| Л |
| | левая рекурсия |
4 (2),
| |
| | лист дерева |
10 (1, 2, 3),
| | | |
...
Листом дерева называется его вершина, не имеющая сыновей. ...
лекция 10,
страница 1 »
| |
| М |
| | метод резолюций |
2 (1, 3),
| |
| | минимальный элемент списка |
8 (1),
| |
| | множество |
9 (1, 2, 3),
| |
| | мощность множества |
9 (1),
| | | |
... для конечного множества мощность — это количество элементов во множестве. ...
лекция 9,
страница 1 »
| |
| О |
| | операция включения |
9 (3),
| |
| | операция дополнения |
9 (3),
| | | |
... Дополнением множества обычно называется множество, чьи элементы не принадлежат исходному множеству. Обозначается дополнение множества A через . В математических обозначениях это выглядит следующим образом: ={x|xA}. ...
лекция 9,
страница 3 »
| |
| | операция объединения |
9 (1, 2, 3),
| | | |
... под объединением двух множеств понимают множество, элементы которого принадлежат или первому, или второму множеству. Обозначается объединение множеств A и B через AB. В математической записи это выглядит следующим образом: AB={x | xA или xB}. ...
лекция 9,
страница 1 »
| |
| | операция пересечения |
9 (1, 2, 3),
| | | |
... пересечение двух множеств — это множество, образованное элементами, которые одновременно принадлежат и первому, и второму множествам. Обозначается пересечение множеств A и B через AB. В математических обозначениях это выглядит следующим образом: AB={x|xA и xB}. ...
лекция 9,
страница 2 »
... разность двух множеств — это множество, образованное элементами первого множества, не принадлежащими второму множеству. Обозначается разность множеств A и B через A–B или A\B. В математических обозначениях это выглядит следующим образом: A\B={x|xA и хB}. ...
лекция 9,
страница 2 »
| |
| | операция разности |
9 (1),
| |
| | откат |
6 (1, 2, 3),
| |
| | откат после неудачи |
6 (2, 3),
| |
| | отсечение |
3 (3),
| | | |
... В данной ситуации нам пригодится встроенный предикат, который по-английски называется cut, по-русски - отсечение, а в программе на Прологе он обозначается восклицательным знаком "!". Этот предикат предназначен для ограничения пространства поиска, с целью повышения эффективности работы программ. Он всегда завершается успешно. После того, как до него дошла очередь, он устанавливает "забор", который не дает "откатиться назад", чтобы выбрать альтернативные решения для уже "сработавших" подцелей. То есть для тех, которые расположены левее отсечения. На цели, расположенные правее, отсечение не влияет. Кроме того, отсечение отбрасывает все предложения процедуры, расположенные после предложения, в котором находится отсечение. ...
лекция 3,
страница 3 »
| |
| П |
| | поиск в глубину |
6 (1, 2),
| |
| | поиск с возвратом |
6 (1),
| |
| | последний элемент списка |
7 (3),
| |
| | потомок |
10 (1),
| |
| | правая рекурсия |
4 (2),
| |
| | правило |
3 (1, 2, 3),
| | | |
... Правило - это предложение, истинность которого зависит от истинности одного или нескольких предложений. Обычно правило содержит несколько хвостовых целей, которые должны быть истинными для того, чтобы правило было истинным. ...
лекция 3,
страница 1 »
| |
| | предложение |
3 (1, 2, 3),
5 (1, 2, 3),
| |
| | предок |
10 (1),
| |
| | принадлежность элемента множеству |
9 (1, 2, 3),
| |
| | процедурная модель |
3 (3),
| | | |
... Процедурная модель рассматривает правила как последовательность шагов, которые необходимо успешно выполнить для того, чтобы соблюдалось отношение, приведенное в заголовке правила. ...
лекция 3,
страница 3 »
| |
| | пузырьковая сортировка |
8 (2),
| | | |
... Идея этого метода заключается в следующем. На каждом шаге сравниваются два соседних элемента списка. Если оказывается, что они стоят неправильно, то есть предыдущий элемент меньше следующего, то они меняются местами. Этот процесс продолжаем до тех пор, пока есть пары соседних элементов, расположенные в неправильном порядке. Это и будет означать, что список отсортирован. ...
лекция 8,
страница 2 »
| |
| | путь |
10 (1, 2),
| | | |
...
Путем называется последовательность вершин, соединенных дугами. Для ориентированного графа направление пути должно совпадать с направлением каждой дуги, принадлежащей пути . ...
лекция 10,
страница 1 »
| |
| Р |
| | рекурсия |
4 (1, 2),
| |
| С |
| | сортировка вставкой |
8 (2),
| | | |
... Она основана на том, что если хвост списка уже отсортирован, то достаточно поставить первый элемент списка на его место в хвосте, и весь список будет отсортирован. При реализации этой идеи создадим два предиката. ...
лекция 8,
страница 2 »
| |
| | сортировка выбором |
8 (2),
| | | |
... Идея алгоритма сортировки выбором очень проста. В списке находим минимальный элемент (используя предикат min_list, который мы придумали в начале этой лекции). Удаляем его из списка (с помощью предиката delete_one, рассмотренного в предыдущей лекции). Оставшийся список сортируем. Приписываем минимальный элемент в качестве головы к отсортированному списку. Так как этот элемент был меньше всех элементов исходного списка, он будет меньше всех элементов отсортированного списка. И, следовательно, если его поместить в голову отсортированного списка, то порядок не нарушится. ...
лекция 8,
страница 2 »
| |
| | сортировка слияниями |
8 (3, 4),
| | | |
... Метод слияний — один из самых "древних" алгоритмов сортировки. Его придумал Джон фон Нейман еще в 1945 году. Идея этого метода заключается в следующем. Разобьем список, который нужно упорядочить, на два подсписка. Упорядочим каждый из них этим же методом, после чего сольем упорядоченные подсписки обратно в один общий список. ...
лекция 8,
страница 4 »
| |
| | соседние элементы списка |
7 (3),
| |
| | составной домен |
5 (2),
| |
| | список |
7 (1, 2, 3, 4),
| | | |
...
Дадим рекурсивное определение списка.
список — это структура данных, определяемая следующим образом:
- пустой список ([ ]) является списком;
- структура вида [H|T] является списком, если H — первый элемент списка (или несколько первых элементов списка, перечисленных через запятую), а T — список, состоящий из оставшихся элементов исходного списка.
Принято называть H головой списка, а T — хвостом списка. Заметим, что выбор переменных для обозначения головы и хвоста не случаен. По-английски голова — Head, а хвост — Tail.
...
лекция 7,
страница 1 »
| |
| | среднее арифметическое элементов списка |
8 (1),
| |
| | строка |
11 (1, 2, 3),
| | | |
... под строкой в Прологе понимается последовательность символов, заключенная в двойные кавычки. ...
лекция 11,
страница 1 »
| |
| | сумма элементов списка |
8 (1),
| |
| У |
| | унификация |
2 (2, 3),
| |
| Ф |
| | файл |
12 (1, 2, 3),
| | | |
... Обычно файлом называют именованную (то есть имеющую имя) совокупность данных, записанных на диске. ...
лекция 12,
страница 1 »
| |
| | факт |
3 (1, 2),
| | | |
... Факт констатирует, что между объектами выполнено некоторое отношение. Он состоит только из заголовка. Можно считать, что факт - это предложение, у которого тело пустое. ...
лекция 3,
страница 1 »
| |
| Х |
| | хвостовая рекурсия |
4 (2),
| |
| | хвост списка |
7 (1, 2, 3, 4),
| |
| | хорновский дизъюнкт |
2 (3),
| |
| Ц |
| | цель |
3 (1, 2, 3),
| |
| | цель внешняя |
5 (3),
| |
| | цель внутренняя |
5 (1, 3),
| |
| | цикл |
10 (1),
| | | |
...
Циклом называется путь , у которого совпадают начало и конец. ...
лекция 10,
страница 1 »
| |
| Э |
| | экспертная система |
14 (2),
| | | |
... Экспертными системами обычно называют программы, которые могут заменить эксперта в какой-то предметной области. ...
лекция 14,
страница 2 »
| |
| | элемент списка |
7 (1, 2, 3, 4),
| |
| Я |
| | язык Пролог |
1 (1, 2),
| |
| | ПОСТРАНИЧНО
Б
В
Г
Д
И
К
Л
М
О
П
Р
С
У
Ф
Х
Ц
Э
Я
|
|
