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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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


Подать заявку бесплатное участие


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

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

Рекомендовать курс друзьям

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

Data Science Очная/дневная

Москва

295 000 руб.

Full stack JavaScript Заочная

Pоссия

235 000 руб.

Full stack JavaScript Очная/дневная

Санкт-Петербург

265 000 руб.

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

←Вернуться