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

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

Серия: "-"

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

Издательство: "Интернет-Университет Информационных Технологий (ИНТУИТ)" (2018)

Категории:

ISBN: 978-5-9556-0009-3,5-9556-0009-4

Купить за 330 руб

Другие книги схожей тематики:

АвторКнигаОписаниеГодЦенаТип книги
Зыков Сергей ВикторовичВведение в теорию программированияУчебный курс Введение в теорию программирования основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной… — ИНТУИТ.РУ, (формат: 60x90/16, 176 стр.) Основы информационных технологий Подробнее...2018
428бумажная книга
С. В. ЗыковВведение в теорию программирования. Курс лекций. Учебное пособиеУчебный курс ВВЕДЕНИЕ В ТЕОРИЮ ПРОГРАММИРОВАНИЯ основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной… — Интернет-университет информационных технологий, (формат: 60x90/16мм, 400 стр.) Интернет-университет информационных технологий Подробнее...2012
427бумажная книга
Зыков Сергей ВикторовичВведение в теорию программирования. Курс лекцийУчебный курс Введение в теорию программирования основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной… — Интернет-университет информационных технологий, (формат: 60x90/16мм, 400 стр.) Архитектура для профессионалов Подробнее...2004
427бумажная книга
Жан-Жак ЛевиВведение в теорию языков программированияЯзыки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю… — ДМК Пресс, Подробнее...2013
199электронная книга
Довек ЖильВведение в теорию языков программированияЯзыки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга Введение в теорию языков программирования представляет читателю… — ДМК Пресс, (формат: 60x90/16, 176 стр.) Классика программирования Подробнее...2016
451бумажная книга
Довек Жиль, Леви Жан-ЖакВведение в теорию языков программированияЯзыки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга Введение в теорию языков программирования представляет читателю… — ДМК-Пресс, (формат: 60x90/16, 176 стр.) Подробнее...2015
631бумажная книга
Жиль Довек, Жан-Жак ЛевиВведение в теорию языков программированияЯзыки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга Введение в теорию языков программирования представляет читателю… — ДМК Пресс, (формат: 60x90/16, 134 стр.) Классика программирования Подробнее...2016
360бумажная книга
Жиль Довек, Жан-Жак ЛевиВведение в теорию языков программированияЯзыки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга `Введение в теорию языков программирования` представляет читателю… — ДМК Пресс, (формат: 60x90/16, 134 стр.) Классика программирования Подробнее...2016
560бумажная книга
Л. Г. Гагарина, Е. В. КокореваВведение в теорию алгоритмических языков и компиляторовПриведен систематизированный курс освоения теории формальных языков и грамматик - как регулярных, так и контекстно-свободных. Рассмотрены современные задачи лексического, синтаксического и… — Форум, (формат: 60x90/16, 176 стр.) Высшее образование Подробнее...2009
371бумажная книга
Гагарина Л.Г.Введение в теорию алгоритмических языков и компиляторов. Учебное пособиеПриведен систематизированный курс освоения теории формальных языков и грамматик - как регулярных, так и контекстно-свободных. Рассмотрены современные задачи лексического, синтаксического и… — Форум, (формат: 60x90/16, 176 стр.) Высшее образование Подробнее...2018
618бумажная книга
Гагарина Л.Г., Кокорева Е.В.Введение в теорию алгоритмических языков и компиляторов. Учебное пособие176 с. Приведен систематизированный курс освоения теории формальных языков и грамматик как регулярных, так и контекстно-свободных. Рассмотрены современные задачи лексического, синтаксического и… — Форум, (формат: 60x90/16, 176 стр.) Высшее образование Подробнее...2011
799бумажная книга
Егоров Александр Иванович, Знаменская Людмила НиколаевнаВведение в теорию управления системами с распределенными параметрамиКнига посвящена основным разделам теории управления системами с распределенными параметрами. Решаются задачи (управляемость, наблюдаемость и оптимальность) для линейных параболических и… — Лань, (формат: 60x90/16мм, 400 стр.) Учебники для вузов. Специальная литература Подробнее...2017
1970бумажная книга

Look at other dictionaries:

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

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

  • Ершов, Андрей Петрович — (род. 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 лет) Место рождения: д. Равнец Ишимского района, Тюменской области Страна …   Википедия


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

Мы используем куки для наилучшего представления нашего сайта. Продолжая использовать данный сайт, вы соглашаетесь с этим.