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