# 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
1. Clicking ▼&► to (un)fold the tree menu may facilitate locating what you want to find. 2. Videos embedded here do not necessarily represent my viewpoints or preferences. 3. This is just one of my several websites. Please click the category-tags below these two lines to go to each independent website.
No comments:
Post a Comment