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