Описание:Курс предназначен для магистров 1 и 2 года обучения, в нем обобщаются знания по различным вычислительным моделям в современных языках программирования. Рассматриваются основные парадигмы императивного, функционального, логического и объектно-ориентированного программирования, включая представление сложных символьных структур (списков, термов, деревьев), рекурсивное программирование, функционалы, континуации, унификация (сопоставление) символьных структур, бектрекинг, ленивые вычисления, каррирование, программирование без переменных и обобщенное программирование. Рассматриваемые парадигмы иллюстрируются на примерах языковых средств языков Лисп, Схема, Пролог, Хаскель, С++, С, Java, Питон.