У вас уже есть заявка на текущий период. Если вы хотите, чтобы данная программа участвовала в розыгрыше гранта в этом месяце, необходимо добавить ее в папку "Интересные мероприятия". Или создайте заявку на другой период.
 
Курсы
MBAКомпанииГранты на обучениеВузыДоступное образованиеПовысь зарплату

EduMarket Образование
  Вход на сайт
 
Напомнить   
Запомнить меня
 
Пользовательское соглашение


Победители конкурса грантов

Завершился 35-й конкурс грантов «Мечты сбываются». Поздравляем победителей!
Нет ничего невозможного, если есть сильное желание чего-то добиться. Если у вас есть ...

Куценко Александра Анатольевна, менеджер из Ростова-на-Дону, победитель 34 конкурса грантов, выиграла 100 000 руб.
Хочу поблагодарить портал EduMarket.ru и всех, кто причастен к его созданию, развитию и ...



Подать заявку на грант
 
 
Курсы, программы / IT: Для программистов и IT-специалистов / Программирование / Логическое программирование

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

ИНТУИТ ИНТУИТ (27.38) Рейтинг компании Pоссия бесплатно

руб. 0.00

за 25.5 ак. часов

Даты проведения
C открытой датой
Форма обучения: Дистанционная
Вид мероприятия: Видеокурс
Преподаватель
Дмитрий Сошников - Московский физико-технический институт.
Анонс программы
Курс предназначен для студентов, специализирующихся в области компьютерных наук, и знакомит их с парадигмой программирования, основанной на логике предикатов, которая отличается от наиболее широко распространенного в современном программировании императивного подхода.
Описание программы
  1. Что такое логическое программирование
  2. Введение в Пролог и логическое программирование
  3. Логика
  4. Метод резолюции
  5. Языки логического программирования Пролог и Mercury
  6. Рекурсивные структуры данных. Списки и деревья
  7. Отрицание в логическом программировании
  8. Решение логических задач. Метод генерации и проверок
  9. Типизация в логических языках
  10. Алгоритмы поиска в графах
  11. Алгоритмы поиска в нагруженных графах
  12. Символьные вычисления и преобразование выражений
  13. Обработка (естественного) языка
  14. F-Logic и объектно-ориентированное логическое программирование
  15. Метапрограммирование
  16. Экспертные системы
  17. Экзамен
 
 
Телефон организатора Телефон организатора
Нажмите на ссылку, чтобы увидеть телефон
Показать телефон
 
 
Рекомендовать курс друзьям
 
 
Похожие мероприятия
Data Science Очная/дневная Москва 295 000 руб.

Full stack JavaScript Заочная Pоссия 235 000 руб.

Full stack JavaScript Очная/дневная Санкт-Петербург 265 000 руб.
Вернуться
Пользовательское соглашение       Обратная связь       Карта сайта

© 2006—2022 Edumarket


 

Город

Начните писать и выберите вариант из списка

Последняя или будущая должность

Начните писать и выберите вариант из списка
 

Ваше имя

Электронная почта

 

Телефон

 

Текст сообщения


Я принимаю условия, изложенные в Соглашении об оказании информационных услуг по развитию карьеры и профессиональному образованию