Элементы логического программирования в сфере образования

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

5 видео · смотрите подряд, как курс, в любое время