Интернет Университет информационных технологий Твой путь к знаниям
регистрация || зачетка | дипломы || настройки | корзина | заказы | личный счет
  Издательство «Открытые Системы» Курсы | Учебные программы | Учебники | Новости | Форум | Помощь  

 
  Лекции
Основы программирования на языке Пролог
1.   Введение в язык логического прог...
2.   Логические основы Пролога
3.   Основные понятия Пролога
4.   Рекурсия
5.   Основы Турбо Пролога. Структура ...
6.   Управление выполнением программы...
7.   Списки
8.   Сортировка списков
9.   Множества
10.   Деревья
11.   Строки
12.   Файлы
13.   Внутренние (динамические) базы д...
14.   Пролог и искусственный интеллект
    Экзамен
    Сдать экзамен экстерном
    Литература
    Предметный указатель
    Примеры

  Вход для студентов
 Псевдоним (ник)
 пароль
Забыли пароль?

Регистрация
новых пользователей

  Статистика
Опубликован: 04.05.2005
Изучают: 509
Закончили: 68
из них на 5:    22
на 4:    23
на 3:    23
Основы программирования на языке Пролог
Предметный указатель
версия для печати
ВСЕ СЛОВА      Б   В   Г   Д   И   К   Л   М   О   П   Р       С  У  Ф  Х  Ц  Э  Я     
 #  Ключевое слово№ лекции (страницы)
Б
 быстрая сортировка 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),
ВСЕ СЛОВА      Б   В   Г   Д   И   К   Л   М   О   П   Р       С  У  Ф  Х  Ц  Э  Я     
версия для печати

Внимание! Если Вы увидите ошибку на нашем сайте, выделите её и нажмите Ctrl+Enter.
Нужна помощь?
• Забыли пароль? Вам сюда...
• Есть вопрос? Спрашивайте!
Вы можете:
• Изменить персональные данные
• Изменить параметры подписки
Интернет-магазин:
• Ваши заказы здесь
• Ваш личный счет
Курсы | Учебные программы | Учебники | Новости | Форум | Помощь

Телефон: +7 (495) 253-9312, 253-9313, факс: +7 (495) 253-9310, email: info@intuit.ru
© 2003-2007, INTUIT.ru::Интернет-Университет Информационных Технологий - дистанционное образование
Хостинг предоставлен компанией РМ Телеком.
Сервер предоставлен компанией KRAFTWAY COMPUTERS.
Rambler's Top100