Москва
![Логотип Raddy](/dist/i/raddy-main-versions_logos@3x.png?ef31c7)
Каталог
Программирование: теория типов
Описание
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу "Теоретические основы программирования", содержащих теоретические сведения по элементам теории типов, теории категорий и...Подробнее
3 061 ₽
3 401 ₽
Продавец:Партнер Raddy
Описание
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу "Теоретические основы программирования", содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Основные характеристики
Производитель
Юрайт
Сер. номер
444496
Другие товары этой категории