Книга: Зыков Сергей Викторович «Введение в теорию программирования»

Введение в теорию программирования

Серия: "Основы информационных технологий"

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

Издательство: "ИНТУИТ.РУ" (2018)

ISBN: 5-9556-0009-4

Купить за 428 руб в Лабиринте

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Введение в теорию программирования. Курс лекцийУчебный курс Введение в теорию программирования основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной… — Интернет-университет информационных технологий, (формат: 60x90/16мм, 400 стр.) Архитектура для профессионалов Подробнее...2004427бумажная книга

См. также в других словарях:

  • Событийно-ориентированное программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная …   Википедия

  • Компонентно-ориентированное программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная …   Википедия

  • Ершов, Андрей Петрович — (род. 19.4.1934) советский математик, акад. АН СССР (1984; чл. кор. 1970). Род. в Москве. Окончил МГУ (1954). Д р физико матем. наук (1968), проф. (1969). В 1954 59 работал в ВЦ АН СССР, с 1959 работает в ВЦ СО АН СССР и в Новосибирском ун те.… …   Большая биографическая энциклопедия

  • КИБЕРНЕТИКА — (от греч. kybernetike [techne] – искусство управления) – наука о самоуправляющихся машинах, в частности о машинах с электронным управлением («электронный мозг»). Кибернетика получила самое широкое распространение в последней трети 20 в. и сейчас… …   Философская энциклопедия

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …   Математическая энциклопедия

  • ИССЛЕДОВАНИЕ ОПЕРАЦИЙ — построение, разработка и приложения математич. моделей принятия оптимальных решений. Содержанием теоретич. аспекта И. о. являются анализ и решение математич. задач выбора в заданном множестве допустимых решений Xэлемента, удовлетворяющего тем или …   Математическая энциклопедия

  • Борис Владимирович Гнеденко — Гнеденко, Борис Владимирович (1 января 1912, Симбирск, ныне Ульяновск, Россия 27 декабря 1995, Москва, Россия) советский математик, специалист по теории вероятностей, математической статистике, вероятностным и статистическим методам, член… …   Википедия

  • Борис Гнеденко — Гнеденко, Борис Владимирович (1 января 1912, Симбирск, ныне Ульяновск, Россия 27 декабря 1995, Москва, Россия) советский математик, специалист по теории вероятностей, математической статистике, вероятностным и статистическим методам, член… …   Википедия

  • Гнеденко — Гнеденко, Борис Владимирович Гнеденко, Борис Владимирович (1 января 1912, Симбирск, ныне Ульяновск, Россия  27 декабря 1995, Москва, Россия)  советский математик, специалист по теории вероятностей, математической статистике,… …   Википедия

  • Ерёмин, Иван Иванович — Иван Иванович Ерёмин Дата рождения: 22 января 1933(1933 01 22) (79 лет) Место рождения: д. Равнец Ишимского района, Тюменской области Страна …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»