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