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

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

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

Авторы

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

Учебный план

№ Занятия
Экзамен экстерном Внимание! Экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите подтвердить свои знания по данному курсу без его изучения или поверить свои знания по нему. Экзамен экстерном можно сдать только один раз. 90 мин
1 Введение в язык логического программирования Пролог История возникновения и развития Пролога. Японский проект ЭВМ пятого поколения. Императивные и декларативные языки программирования. Области... История возникновения и развития Пролога. Японский проект ЭВМ пятого поколения. Императивные и декларативные языки программирования. Области использования Пролога. Пролог - язык начального обучения программированию. Преимущества и недостатки языка Пролог. ещё
Введение в язык логического программирования Пролог тест для курса Основы программирования на языке Пролог 25 мин
2 Логические основы Пролога Хорновские дизъюнкты. Принцип резолюций. Алгоритм унификации.Процедура доказательства теорем методом резолюций для хорновских дизъюнктов. Особенности работы с... Хорновские дизъюнкты. Принцип резолюций. Алгоритм унификации.Процедура доказательства теорем методом резолюций для хорновских дизъюнктов. Особенности работы с негативными знаниями в Прологе. ещё
Логические основы Пролога тест для курса Основы программирования на языке Пролог 25 мин
3 Основные понятия Пролога "Предложения: факты и правила. Цели внутренние и внешние. Отношения (предикаты). Переменные свободные и связанные. Анонимная переменная.... "Предложения: факты и правила. Цели внутренние и внешние. Отношения (предикаты). Переменные свободные и связанные. Анонимная переменная. Отсечение. ""Зеленые"" и ""красные"" отсечения. Семантические модели Пролога: декларативная и процедурная." ещё
Основные понятия Пролога тест для курса Основы программирования на языке Пролог 25 мин
4 Рекурсия Рекурсия. Достоинства и недостатки рекурсии. Хвостовая рекурсия. Организация циклов на основе рекурсии. Вычисление факториала.
Рекурсия тест для курса Основы программирования на языке Пролог 25 мин
5 Основы Турбо Пролога. Структура программы на Турбо Прологе. Директивы компилятора "Структура программы на Турбо-Прологе. Домены: стандартные, списковые, составные. Альтернативные домены. Программы: ""Родственники"", факториал, возведение в степень,... "Структура программы на Турбо-Прологе. Домены: стандартные, списковые, составные. Альтернативные домены. Программы: ""Родственники"", факториал, возведение в степень, числа Фиббоначи." ещё
Основы Турбо Пролога. Структура программы на Турбо Прологе. Директивы компилятора тест для курса Основы программирования на языке Пролог 25 мин
6 Управление выполнением программы на Прологе Метод поиска в глубину. Откат после неудачи. Отсечение и откат. Метод поиска, определяемый пользователем.
Управление выполнением программы на Прологе тест для курса Основы программирования на языке Пролог 25 мин
7 Списки Списки. Рекурсивное определение списка. Операции над списками.
Списки тест для курса Основы программирования на языке Пролог 25 мин
8 Сортировка списков "Рассматривается нахождение суммы элементов списка, среднего и минимального значений
Сортировка списков тест для курса Основы программирования на языке Пролог 25 мин
9 Множества Реализация множеств в Прологе. Операции над множествами: превращение списка во множество, принадлежность элемента множеству, объединение, пересечение,... Реализация множеств в Прологе. Операции над множествами: превращение списка во множество, принадлежность элемента множеству, объединение, пересечение, разность, включение, дополнение. ещё
Множества тест для курса Основы программирования на языке Пролог 25 мин
10 Деревья Бинарные деревья, двоичные справочники и операции над ними.
Деревья тест для курса Основы программирования на языке Пролог 25 мин
11 Строки Обработка строк.
Строки тест для курса Основы программирования на языке Пролог 25 мин
12 Файлы Описание файлового домена. Стандартные предикаты Турбо-Пролога для работы с файлами. Запись информации в файл. Чтение информации... Описание файлового домена. Стандартные предикаты Турбо-Пролога для работы с файлами. Запись информации в файл. Чтение информации из файла. Переписывание информации из файла в файл. ещё
Файлы тест для курса Основы программирования на языке Пролог 25 мин
13 Внутренние (динамические) базы данных "Работа с внутренними (динамическими) базами данных: добавление фактов в базу, удаление фактов из базы. Проекты ""Телефонный... "Работа с внутренними (динамическими) базами данных: добавление фактов в базу, удаление фактов из базы. Проекты ""Телефонный справочник"", ""Словарь""." ещё
Внутренние (динамические) базы данных тест для курса Основы программирования на языке Пролог 25 мин
14 Пролог и искусственный интеллект "Применение Пролога в области искусственного интеллекта. Тест Тьюринга. Проекты ""Электронный психотерапевт"", ""Самообучающийся определитель животных""."
Тренировочный экзамен Внимание! Тренировочный экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите проверить свои знания курса перед сдачей экзамена. Тренировочный экзамен можно сдавать сколько угодно один раз. 90 мин
Экзамен 60 мин

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

Сертификат

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

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

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

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

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