(русский / in Russian) Логическое программирование

# You can also click the upper-left icon to select videos from the playlist.

source: НОУ ИНТУИТ      2013年12月29日
Логическое программирование
Курс и тесты в НОУ "ИНТУИТ" http://www.intuit.ru/studies/courses/558/414/info
Автор: Дмитрий Сошников
Курс предназначен для студентов, специализирующихся в области компьютерных наук, и знакомит их с парадигмой программирования, основанной на логике предикатов, которая отличается от наиболее широко распространенного в современном программировании императивного подхода.
Курс содержит достаточно подробное изложение теоретических основ логического подхода к программированию, а также служит практическим пособием по современным языкам логического программирования -- Пролог и Mercury -- которые могут использоваться и используются для разработки исследовательских и промышленных систем наряду с более традиционными императивными языками. Наличие систем программирования на этих языках для платформы Microsoft .NET позволяет эффективно применять полученные знания и навыки в промышленных разработках.В курсе также рассматривается использование логического программирования для создания интеллетуальных систем, излагаются основные понятия искусственного интеллекта, такие, как общение на естественном языке, представление знаний, методы эвристического поиска в пространстве состояний и т.д.

Лекция 1: Что такое логическое программирование 1:14:42 Языки программирования. Декларативное программирование. Императивное программирование. Логическое программирование. Парадигмы программирования.
Лекция 2: Введение в Пролог и логическое программирование 1:03:50
Лекция 3: Логика 1:07:05
Лекция 4: Метод резолюции 50:23
Лекция 5: Языки логического программирования Пролог и Mercury 1:05:00
Лекция 6: Рекурсивные структуры данных. Списки и деревья 1:16:02
Лекция 7: Отрицание в логическом программировании 1:02:54
Лекция 8: Решение логических задач. Метод генерации и проверок 55:48
Лекция 9: Типизация в логических языках 1:07:09
Лекция 10: Алгоритмы поиска в графах 1:07:30
Лекция 11: Алгоритмы поиска в нагруженных графах 1:15:58
Лекция 12: Символьные вычисления и преобразование выражений 32:14
Лекция 13: Обработка (естественного) языка 1:21:38
Лекция 14: F-Logic и объектно-ориентированное логическое программирование 58:56
Лекция 15: Метапрограммирование 1:28:11
Лекция 16: Экспертные системы 40:59