KZ

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

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