Программирование учебник и практикум

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

Full description

Bibliographic Details
Main Author: Зыков С. В. Сергей Викторович
Format: Book
Language:Russian
Published: Москва Юрайт 2023
Edition:2-е изд.
Series:Бакалавр. Академический курс
Subjects:
Online Access:https://urait.ru/bcode/530294
https://urait.ru/book/cover/B9107A48-1959-4EB1-B464-6CBA9467A38E