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