Книга: Зыков Сергей Викторович «Введение в теорию программирования»
|
Серия: "Основы информационных технологий" Учебный курс "Введение в теорию программирования" основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft. NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Целью курса является формирование адекватного мировоззрения на современное программирование. Проводится сравнительный анализ функционального и объектно-ориентированного подходов к разработке программных систем. Рекомендовано УМО в области прикладной информатики для студентов высших учебных заведений, обучающихся по специальности 351400" Прикладная информатика" . Издательство: "ИНТУИТ.РУ" (2018)
ISBN: 5-9556-0009-4 Купить за 428 руб в Лабиринте |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Введение в теорию программирования. Курс лекций | Учебный курс Введение в теорию программирования основан на творческом синтезе избранных формальных теорий… — Интернет-университет информационных технологий, (формат: 60x90/16мм, 400 стр.) Архитектура для профессионалов Подробнее... | бумажная книга |
См. также в других словарях:
Событийно-ориентированное программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Компонентно-ориентированное программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Ершов, Андрей Петрович — (род. 19.4.1934) советский математик, акад. АН СССР (1984; чл. кор. 1970). Род. в Москве. Окончил МГУ (1954). Д р физико матем. наук (1968), проф. (1969). В 1954 59 работал в ВЦ АН СССР, с 1959 работает в ВЦ СО АН СССР и в Новосибирском ун те.… … Большая биографическая энциклопедия
КИБЕРНЕТИКА — (от греч. kybernetike [techne] – искусство управления) – наука о самоуправляющихся машинах, в частности о машинах с электронным управлением («электронный мозг»). Кибернетика получила самое широкое распространение в последней трети 20 в. и сейчас… … Философская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
