Введение в теорию программирования. Курс лекций. Учебное пособие
Автор:Зыков С. В. Год: 2012 Издание:Интернет-университет информационных технологий Страниц: 400 ISBN: 9785955600093 Учебный курс ВВЕДЕНИЕ В ТЕОРИЮ ПРОГРАММИРОВАНИЯ основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Целью курса является формирование адекватного мировоззрения на современное программирование. Проводится сравнительный анализ функционального и объектно-ориентированного подходов к разработке программных систем. Рекомендовано УМО в области прикладной информатики для студентов высших учебных заведений, обучающихся по специальности 351400 "Прикладная информатика"
