8 (812) 320-06-69

Каталог

Категории
Высшее образование (16+) (44671)
Высшее образование
Естественные науки (2770)
Естественные науки
Общественные науки (3854)
Общественные науки
Информатика и компьютерные технологии (4975)
Информатика и компьютерные технологии
Инженерное дело (1487)
Инженерное дело
Телекоммуникации, электроника, электротехника и радиотехника (1412)
Телекоммуникации, электроника, электротехника и радиотехника
Строительство. Архитектура (819)
Строительство. Архитектура
Строительство. Архитектура. Журналы (17)
Строительство. Архитектура. Журналы
Бетон и железобетон (3)
Бетон и железобетон
Жилищное строительство (7)
Жилищное строительство
Строительные материалы (7)
Строительные материалы
Юридические науки.Право (4557)
Юридические науки.Право
Отрасли права (2870)
Отрасли права
Гуманитарные науки (6444)
Гуманитарные науки
Иностранные языки (2420)
Иностранные языки
Экономика. Экономические науки (7774)
Экономика. Экономические науки
Образование. Педагогические науки (4112)
Образование. Педагогические науки
Медицина и здравоохранение (993)
Медицина и здравоохранение
Физическая культура и спорт (510)
Физическая культура и спорт
Среднее профессиональное образование (14+) (3312)
Среднее профессиональное образование
Коллекции (48316)
Коллекции
Издательские коллекции (47897)
Издательские коллекции
Журналы (1146)
Журналы
Остаться в выбранном разделе
Назад к каталогу

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

Введение в теорию программирования ISBN intuit139
ISBN intuit139
Авторы: 
Зыков С.В.
Тип издания: 
Учебное пособие
Издательство: 
Москва: Национальный Открытый Университет ИНТУИТ
Год: 
2024
Количество страниц: 
152
Аннотация

Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Первая часть курса посвящена основам функционального подхзда к программированию на основе метаязыка SML.NET.
Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий

Библиографическое описание Скопировать библиографическое описание

Зыков С.В. Введение в теорию программирования / С.В. Зыков. - Москва : Национальный Открытый Университет ИНТУИТ, 2024. - 152 с. - ISBN intuit139. - URL: http://new.ibooks.ru/bookshelf/394171/reading (дата обращения: 17.07.2025). - Текст: электронный.