Логическое и функциональное программирование

  • Ввод и вывод. Работа с файлами. Циклы и повторения. Рекурсия и эффективность. Итерации. Взаимосвязь между Прологом и логикой. Работа с множествами. Сортировка. Рекурсивно - перечислимые множества. Понятие алгоритма, классические алгоритмы. Пример вычислений для класса рекурсивных функций. Реализуемость алгоритмов. Машина Тьюринга, программа машины Тьюринга. Нормальные алгоритмы. Функции обработки списков. Предикаты. Разветвление вычислений.
  • Кредитов 3
  • Селективная дисциплина
  • Год обучения 2
  • Семестр 1
Top