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