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