Логическое программирование

	Организатор	Регион	Стоимость


ИНТУИТ (29.44)		Pоссия	бесплатно руб. 0.00 за 25.5 ак. часов

Даты проведения

C открытой датой

Форма обучения: Дистанционная

Вид мероприятия: Видеокурс

Преподаватель

Дмитрий Сошников - Московский физико-технический институт.

Анонс программы

Курс предназначен для студентов, специализирующихся в области компьютерных наук, и знакомит их с парадигмой программирования, основанной на логике предикатов, которая отличается от наиболее широко распространенного в современном программировании императивного подхода.

Описание программы

Что такое логическое программирование
Введение в Пролог и логическое программирование
Логика
Метод резолюции
Языки логического программирования Пролог и Mercury
Рекурсивные структуры данных. Списки и деревья
Отрицание в логическом программировании
Решение логических задач. Метод генерации и проверок
Типизация в логических языках
Алгоритмы поиска в графах
Алгоритмы поиска в нагруженных графах
Символьные вычисления и преобразование выражений
Обработка (естественного) языка
F-Logic и объектно-ориентированное логическое программирование
Метапрограммирование
Экспертные системы
Экзамен

	Сохранить в избранном

	Заказать звонок

	Отправить вопрос или заявку


Курс в архиве


	Телефон организатора Нажмите на ссылку, чтобы увидеть телефон Показать телефон

	Пожалуйста, скажите организатору, что нашли мероприятие на EduMarket.ru

Похожие мероприятия

ARCHI: Архитектурное проектирование с ArchiMate Online

Pоссия

5 000 руб.

Конфигурирование и администрирование в системе 1С: Предприятие 8 Очная/дневная

Саратов

30 500 руб.

Web-программирование c CMS Joomla Очная/дневная, Вечерняя

Барнаул

9 600 руб.

Быстрый переход к спискам мероприятий:
Все курсы программирования
Курсы программирования в России

←Вернуться