Компьютерные науки

Основы программирования на языке Visual Prolog

Программа о логическом программировании и языке Пролог на базе современной версии Visual Prolog. Материал выстроен от теории к практике и предназначен для создания интеллектуальных систем.
Студентов 1005 Выпускников 238 Для всех
690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
Темы:
Программирование
Объем
36 час.
Длительность
30 дней
Нагрузка в неделю
9 час.
Формат обучения
Дистанционно (самостоятельно)
Описание Учебная программа посвящена теоретическим основам логического программирования и практическим методам работы в Visual Prolog. В учебной программе изучаются машина вывода, управление перебором, работа с внутренней базой данных, рекурсия, списки, графы и деревья. Рассматривается использование парсеров и элементов экспертных систем. Изложение сопровождается разбором примеров и самостоятельными упражнениями для формирования навыков решения задач с помощью механизмов логического вывода. Изучение методов логического вывода открывает возможности для применения декларативного подхода в разработке интеллектуальных систем.
Цели
  • Дать базовое понимание парадигмы логического программирования.
  • Познакомить с синтаксисом и возможностями Visual Prolog.
  • Сформировать навыки решения задач с помощью механизмов логического вывода.
Чему я научусь?
  • Разрабатывать программы с использованием логического подхода.
  • Применять рекурсию, списки и графы для решения прикладных задач.
  • Создавать элементы экспертных систем и работать с внутренней базой данных.

Авторы

Ефимова Елена Анатольевна
Ефимова Елена Анатольевна
Кандидат физико-математических наук, доцент, отделение интеллектуальных систем в гуманитарной сфере Российского государственного гуманитарного университета\n
Чему я научусь?
  • Разрабатывать программы с использованием логического подхода.
  • Применять рекурсию, списки и графы для решения прикладных задач.
  • Создавать элементы экспертных систем и работать с внутренней базой данных.

Учебный план

№ Занятия
Экзамен экстерном Внимание! Экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите подтвердить свои знания по данному курсу без его изучения или поверить свои знания по нему. Экзамен экстерном можно сдать только один раз. 90 мин
1 Определение отношений в программе Вводятся основные понятия логического программирования и базовые понятия языка Пролог. Рассматриваются примеры определения отношений в программе... Вводятся основные понятия логического программирования и базовые понятия языка Пролог. Рассматриваются примеры определения отношений в программе на языке Пролог. Показывается, как использовать интерпретатор PIE для написания программ на языке Пролог, а также как создавать консольные приложения в системе Visual Prolog. Описываются основные разделы программы в языке Visual Prolog. ещё
Определение отношений в программе тест для курса Основы программирования на языке Visual Prolog 40 мин
2 Машина вывода Пролога Изучается устройство вычислений в языке Пролог. Дается представление о машине вывода Пролога. Рассматривается конструкция сложных термов... Изучается устройство вычислений в языке Пролог. Дается представление о машине вывода Пролога. Рассматривается конструкция сложных термов и понятие отрицания в языке Пролог. Показывается, как использовать трассировку в PIE и отладчик системы Visual Prolog. ещё
Машина вывода Пролога тест для курса Основы программирования на языке Visual Prolog 50 мин
3 Управление перебором. Отсечение "Основными средствами управления перебором являются предикаты отсечения, fail и отрицания. В данной лекции вводится отсечение. Определяются... "Основными средствами управления перебором являются предикаты отсечения, fail и отрицания. В данной лекции вводится отсечение. Определяются режимы детерминизма предикатов и потоки параметров. Обсуждается предикат findall, собирающий решения в список, и его обобщение — конструкция […||…]. Рассматриваются примеры решения логических задач. Для решения задач обычно используется метод ""образовать и проверить"": сначала генерируются возможные значения переменных, а потом проверяется удовлетворение их условиям задачи. В целях сокращения перебора отбрасывание ненужных значений должно производиться как можно раньше. В данном случае перебором управляет порядок следования вычисляемых подцелей." ещё
Управление перебором. Отсечение тест для курса Основы программирования на языке Visual Prolog 40 мин
4 Внутренняя база данных Рассматриваются циклы, управляемые откатом, факты-переменные и внутренние базы данных. Приводятся средства, которые используются для создания, хранения... Рассматриваются циклы, управляемые откатом, факты-переменные и внутренние базы данных. Приводятся средства, которые используются для создания, хранения и изменения состояний внутренних баз данных. Рассматриваются примеры работы с файлами. Внутренние базы данных в языке Пролог состоят из последовательности фактов. Эти факты могут добавляться или удаляться во время исполнения программы, обрабатывается база данных в оперативной памяти компьютера. Поэтому внутреннюю базу данных называют динамической. ещё
Внутренняя база данных тест для курса Основы программирования на языке Visual Prolog 40 мин
5 Рекурсия Рекурсивное программирование является в логических языках основным видом программирования. Эффективность рекурсивных программ повышается с помощью хвостовой... Рекурсивное программирование является в логических языках основным видом программирования. Эффективность рекурсивных программ повышается с помощью хвостовой рекурсии. Рассматриваются виды рекурсии и рекурсивные алгоритмы. Кроме этого, вводятся понятие функции и понятие предикатного домена в языке Visual Prolog. ещё
Рекурсия тест для курса Основы программирования на языке Visual Prolog 40 мин
6 Списки. Полиморфизм Списки в языке Пролог являются одной из основных структур данных. Рекурсивная природа списков предполагает их рекурсивную... Списки в языке Пролог являются одной из основных структур данных. Рекурсивная природа списков предполагает их рекурсивную обработку. Рассматриваются понятия полиморфизма и параметрического полиморфизма. Определяются основные полиморфные предикаты обработки списка. ещё
Списки. Полиморфизм тест для курса Основы программирования на языке Visual Prolog 40 мин
7 Списки. Предикаты высших порядков В классе list языка Visual Prolog определено большое количество предикатов обработки списков. Среди них имеются предикаты... В классе list языка Visual Prolog определено большое количество предикатов обработки списков. Среди них имеются предикаты высших порядков. В данной лекции обсуждаются предикаты класса list. Вводятся анонимные предикаты. Рассматриваются алгоритмы сортировки. Списки используются для моделирования множеств и операций над ними. ещё
8 Графы Изучаются основные методы поиска путей на графах – поиск в глубину и поиск в ширину. Рассматривается... Изучаются основные методы поиска путей на графах – поиск в глубину и поиск в ширину. Рассматривается отношение достижимости на графе. Разбираются некоторые способы поиска кратчайших путей. Генерируется случайный лабиринт, визуализируется проход по нему. ещё
Графы тест для курса Основы программирования на языке Visual Prolog 40 мин
9 Деревья Рассматриваются конечные корневые деревья – бинарные деревья и деревья произвольного вида. Деревья представляются в виде термов.... Рассматриваются конечные корневые деревья – бинарные деревья и деревья произвольного вида. Деревья представляются в виде термов. Домены этих термов определяются рекурсивно. В качестве доменов деревьев используются полиморфные домены. Примером дерева первого вида является дерево предков человека, а примером дерева второго вида – дерево потомков. ещё
10 Арифметика и строки Рассматриваются примеры реализации некоторых операций над целыми числами, предикаты класса math и предикаты класса string. Строится... Рассматриваются примеры реализации некоторых операций над целыми числами, предикаты класса math и предикаты класса string. Строится изображение троичного острова Коха. ещё
Арифметика и строки тест для курса Основы программирования на языке Visual Prolog 40 мин
11 Парсеры Изучаются синтаксические анализаторы, или парсеры. Синтаксический анализатор проверяет строку на соответствие грамматике. Результатом анализа, или разбора... Изучаются синтаксические анализаторы, или парсеры. Синтаксический анализатор проверяет строку на соответствие грамматике. Результатом анализа, или разбора строки является дерево разбора, листьями которого являются терминальные символы грамматики, а остальными вершинами – нетерминальные символы. Рассматривается парсер некоторых английский предложений, арифметических выражений и составных термов языка Пролог. Реализуется алгоритм поиска наибольшего общего унификатора. ещё
12 Язык запросов "Настоящая глава посвящена созданию базы данных ""Родственные отношения"". База может изменяться во время исполнения программы, с... "Настоящая глава посвящена созданию базы данных ""Родственные отношения"". База может изменяться во время исполнения программы, с помощью добавления и удаления фактов, в процессе диалога с пользователем. Рассматривается язык запросов к базе данных, близкий к естественному языку. Вычисляются ответы на запросы. Создается консольный проект в объектном стиле." ещё
13 Поиск в пространстве состояний "Лекция посвящена решению задач при помощи графа пространства состояний. Пространство состояний описывается в виде множества состояний... "Лекция посвящена решению задач при помощи графа пространства состояний. Пространство состояний описывается в виде множества состояний – вершин графа, множества переходов от состояния к состоянию – дуг графа, множества начальных состояний и множества конечных состояний. Решение задачи представляется в виде пути на графе пространства состояний, соединяющего начальное состояние с конечным. Если пространство состояний задачи невелико, то будут находиться все оптимальные решения с помощью поиска в глубину. В задачах с большим пространством состояний будет вычисляться только одно оптимальное решение посредством поиска в ширину. К задачам применяются универсальные решатели. Состояния в разных задачах могут принадлежать различным доменам. Для запоминания наилучших среди найденных решений используется ""изменяемая переменная"" varM. Компилятор сам находит нужные типы." ещё
Поиск в пространстве состояний тест для курса Основы программирования на языке Visual Prolog 40 мин
14 Игры "Рассматриваются игры ""Ползунок"", ""Поле чудес"" и ""Отгадай числа"". В топологической игре ""Ползунок"" пользователь играет с компьютером.... "Рассматриваются игры ""Ползунок"", ""Поле чудес"" и ""Отгадай числа"". В топологической игре ""Ползунок"" пользователь играет с компьютером. Поле для игры невелико, поэтому выигрышные ходы, в случаях, когда они существуют, находятся с помощью перебора возможных продолжений игры. В игре ""Поле чудес"" пользователь отгадывает слово, загаданное компьютером. ""Отгадай числа"" – это игра пользователя с компьютером, в которой участники отгадывают наборы чисел, загаданные противниками. Стратегия компьютера реализуется с помощью генерации варианта хода и отбрасывания вариантов, которые не согласуются с результатами предыдущих ходов компьютера." ещё
15 Экспертная система. Логическая задача. Фейерверк "Рассматриваются примеры решения задач на языке Visual Prolog. Создается небольшая экспертная система. Она применяется для определения... "Рассматриваются примеры решения задач на языке Visual Prolog. Создается небольшая экспертная система. Она применяется для определения мифологических животных. Приводится решение так называемой ""головоломки Эйнштейна"" (задачи, авторство которой приписывается Эйнштейну). Моделируется фейерверк." ещё
16 Использование PIE в Visual Prolog
Использование PIE в Visual Prolog тест для курса Основы программирования на языке Visual Prolog 40 мин
Тренировочный экзамен Внимание! Тренировочный экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите проверить свои знания курса перед сдачей экзамена. Тренировочный экзамен можно сдавать сколько угодно один раз. 90 мин
Экзамен 60 мин

Какой документ я получу?

Сертификат

Выдаётся автоматически после успешного завершения программы.

Удостоверение о повышении квалификации

Выдается при наличии среднего специального или высшего образования (необходимые документы).

Стоимость программы

690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
^