Запись открыта бесплатно
Войдите, чтобы после просмотра получить свидетельство на 1 ак. час.
Войти и смотреть
Войдите, чтобы после просмотра получить свидетельство на 1 ак. час.
Искусственный интеллект и математическая логика
Григорьев Сергей Георгиевич
член-корреспондент РАО, доктор технических наук, профессор
На вебинаре:
- Рассмотрим нисходящую парадигму искусственного интеллекта.
- Изложим научные основы математической логики, исчисления предикатов, метода резолюций как основы построения системы логического программирования.
- Приведем различные подходы к созданию трансляторов с языка логического программирования.
- Рассмотрим синтаксические и семантические особенности языка Пролог — Д.
Документы
Электронное свидетельство на 1 ак. час
Учитывается при аттестации. Войдите и посмотрите вебинар — свидетельство появится здесь.
Посмотреть образец
Материалы · 1
Коллекции с этим вебинаром
Элементы логического программирования в сфере образования
В рамках серии вебинаров предполагается рассмотрение основ математической логики и исчисления предикатов первого порядка, применение метода резолюции для доказательства теорем, реализация этого принципа в рамках логической парадигмы обработки информации на примере языка Пролог.
Предполагается рассмотреть возможности языка Пролог в сфере образования, на примере кроссплатформенной версии языка Пролог-Д (ПРОграммирование в ЛОГике для Детей). Рассмотрены возможные типы задач, для решения которых может быть применен данный язык программирования.
Комментарии
Войдите, чтобы оставить комментарий.
Комментариев пока нет.