Книга: Зыков Сергей Викторович «Введение в теорию программирования. Курс лекций»
Производитель: "Интернет-университет информационных технологий" Серия: "Архитектура для профессионалов" Учебный курс Введение в теорию программирования основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft. NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Целью курса является формирование адекватного мировоззрения на современное программирование. Проводится сравнительный анализ функционального и объектно-ориентированного подходов к разработке программных систем. Рекомендовано УМО в области прикладной информатики для студентов высших учебных заведений, обучающихся по специальности 351400 Прикладная информатика . ISBN:5-9556-0009-4 Издательство: "Интернет-университет информационных технологий" (2004) Формат: 60x90/16мм, 400 стр.
ISBN: 5-9556-0009-4 |
Другие книги автора:
Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|
Введение в теорию программирования | Учебный курс "Введение в теорию программирования" основан на творческом синтезе избранных формальных… — ИНТУИТ.РУ, Основы информационных технологий Подробнее... | бумажная книга |
См. также в других словарях:
Событийно-ориентированное программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Система автоматизированного проектирования — Система автоматизированного проектирования автоматизированная система, реализующая информационную технологию выполнения функций проектирования[1], представляет собой организационно техническую систему, предназначенную для автоматизации… … Википедия
Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… … Медицинская энциклопедия
Борис Владимирович Гнеденко — Гнеденко, Борис Владимирович (1 января 1912, Симбирск, ныне Ульяновск, Россия 27 декабря 1995, Москва, Россия) советский математик, специалист по теории вероятностей, математической статистике, вероятностным и статистическим методам, член… … Википедия
Борис Гнеденко — Гнеденко, Борис Владимирович (1 января 1912, Симбирск, ныне Ульяновск, Россия 27 декабря 1995, Москва, Россия) советский математик, специалист по теории вероятностей, математической статистике, вероятностным и статистическим методам, член… … Википедия
Гнеденко — Гнеденко, Борис Владимирович Гнеденко, Борис Владимирович (1 января 1912, Симбирск, ныне Ульяновск, Россия 27 декабря 1995, Москва, Россия) советский математик, специалист по теории вероятностей, математической статистике,… … Википедия