Зыков С.В. Введение в теорию программирования

М.: ИНТУИТ.РУ "Интернет-университет информационных технологий", 2004. — 400 с. Учебный курс «Введение в теорию программирования» основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NЕT, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Целью курса является формирование адекватного мировоззрения на современное программирование. Проводится сравнительный анализ функционального и объектного-ориентированного подходов к разработке программных систем
Рекомендовано УМО в области прикладной информатики для студентов высших учебных заведений, обучающихся по специальности «Прикладная информатика»