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