Подробное описание документа

Зыков С. В.
   Введение в теорию программирования : курс лекций : учеб. пособие / Зыков С. В. - М. : Интернет-Университет Информационных Технологий, 2004. - 396 с. - (Основы информационных технологий). - Библиогр.: с. 387-392. - ISBN 5-9556-0009-4.

Аннотация

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

УДК

004.42 Программирование ЭВМ. Компьютерные программы

Предметные рубрики

• Программирование для ЭВМ - Учебники и пособия

Общее кол-во в фондах

1 экз.

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313