Автор: Павел Шрайнер | Сибирский университет потребительской кооперации
Форма обучения:
дистанционная
Стоимость самостоятельного обучения:
бесплатно
Доступ:
свободный
Документ об окончании:
 
Уровень:
Для всех
Длительность:
12:28:00
Студентов:
4335
Выпускников:
1299
Качество курса:
4.45 | 4.22
Курс посвящен изучению основ языка логического программирования Пролог. Общие принципы программирования на Прологе изучаются всюду без привязки к конкретной реализации.
Всюду, где возможно, изучаются общие принципы программирования на Прологе, без привязки к конкретной реализации. При выполнении практических заданий, планируется использовать Турбо Пролог или PDC Пролог. На взгляд автора, это наиболее используемые и распространенные версии Пролога у нас в стране. Кроме всего прочего, эти версии не предъявляют практически никаких требований к аппаратной части компьютера.
ISBN: 978-5-9556-0034-5
 

План занятий

Занятие
Заголовок <<
Дата изучения
Лекция 1
31 минута
Введение в язык логического программирования Пролог
История возникновения и развития Пролога. Японский проект ЭВМ пятого поколения. Императивные и декларативные языки программирования. Области использования Пролога. Пролог - язык начального обучения программированию. Преимущества и недостатки языка Пролог.
Оглавление
    -
    Лекция 2
    44 минуты
    Логические основы Пролога
    Хорновские дизъюнкты. Принцип резолюций. Алгоритм унификации.Процедура доказательства теорем методом резолюций для хорновских дизъюнктов. Особенности работы с негативными знаниями в Прологе.
    Оглавление
      -
      Лекция 3
      41 минута
      Основные понятия Пролога
      Предложения: факты и правила. Цели внутренние и внешние. Отношения (предикаты). Переменные свободные и связанные. Анонимная переменная. Отсечение. "Зеленые" и "красные" отсечения. Семантические модели Пролога: декларативная и процедурная.
      Оглавление
        -
        Лекция 4
        36 минут
        Рекурсия
        Рекурсия. Достоинства и недостатки рекурсии. Хвостовая рекурсия. Организация циклов на основе рекурсии. Вычисление факториала.
        Оглавление
          -
          Лекция 5
          33 минуты
          Основы Турбо Пролога. Структура программы на Турбо Прологе. Директивы компилятора
          Структура программы на Турбо-Прологе. Домены: стандартные, списковые, составные. Альтернативные домены. Программы: "Родственники", факториал, возведение в степень, числа Фиббоначи.
          Оглавление
            -
            Лекция 6
            34 минуты
            Управление выполнением программы на Прологе
            Метод поиска в глубину. Откат после неудачи. Отсечение и откат. Метод поиска, определяемый пользователем.
            Оглавление
              -
              Лекция 7
              43 минуты
              Списки
              Списки. Рекурсивное определение списка. Операции над списками.
              Оглавление
                -
                Лекция 8
                31 минута
                Сортировка списков
                Рассматривается нахождение суммы элементов списка, среднего и минимального значений; алгоритмы сортировки списков: пузырьковый, выбором, вставкой, слиянием, быстрая сортировка.
                Оглавление
                  -
                  Лекция 9
                  48 минут
                  Множества
                  Реализация множеств в Прологе. Операции над множествами: превращение списка во множество, принадлежность элемента множеству, объединение, пересечение, разность, включение, дополнение.
                  Оглавление
                    -
                    Лекция 10
                    45 минут
                    Деревья
                    Бинарные деревья, двоичные справочники и операции над ними.
                    Оглавление
                      -
                      Лекция 11
                      44 минуты
                      Строки
                      Обработка строк.
                      Оглавление
                        -
                        Лекция 12
                        44 минуты
                        Файлы
                        Описание файлового домена. Стандартные предикаты Турбо-Пролога для работы с файлами. Запись информации в файл. Чтение информации из файла. Переписывание информации из файла в файл.
                        Оглавление
                          -
                          Лекция 13
                          37 минут
                          Внутренние (динамические) базы данных
                          Работа с внутренними (динамическими) базами данных: добавление фактов в базу, удаление фактов из базы. Проекты "Телефонный справочник", "Словарь".
                          Оглавление
                            -
                            Лекция 14
                            42 минуты
                            Пролог и искусственный интеллект
                            Применение Пролога в области искусственного интеллекта. Тест Тьюринга. Проекты "Электронный психотерапевт", "Самообучающийся определитель животных".
                            Оглавление
                              -
                              1 час 40 минут
                              -
                              Виктор Бондарь
                              Виктор Бондарь

                              После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома:. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?

                              Ольга Потапенко
                              Ольга Потапенко

                              никак не могу увидеть тексты самих лекций.