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

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

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

Авторы

Рублев Вадим Сергеевич
Рублев Вадим Сергеевич
Профессор кафедры теоретической информатики Ярославского государственного университета им. П.Г. Демидова.
Чему я научусь?
  • Разрабатывать программы с использованием синтаксиса РЕФАЛ и Пролог.
  • Применять стратегии недетерминированных вычислений при решении логических задач.
  • Оперировать алгеброй программ в рамках модели Бэкуса.

Учебный план

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

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

Сертификат

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

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

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

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

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