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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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


Курс в архиве


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

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

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

Объектно-ориентированное программирование. Базовый уровень. Язык С++ Очная/дневная

Москва

32 500 руб.

Программирование на языке C (Си) Очная/дневная

Москва

32 500 руб.

Программирование + 3D-моделирование Очно-заочная

Барнаул

4 800 руб.

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

←Вернуться