Основной контент книги Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов
Текст PDF
Длительность книги 653 страницы
2022 год
Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов
Входит в серию «Высшее образование»
2 409 ₽
Начислим
+72
Покупайте книги и получайте бонусы в Литрес, Читай-городе и Буквоеде.
Участвовать в бонусной программеПодарите скидку 10%
Посоветуйте эту книгу и получите 240,91 ₽ с покупки её другом.
О книге
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Входит в серию "Высшее образование"
Войдите, чтобы оценить книгу и оставить отзыв
Книга Михаила Владимировича Швецкого, Ирины Андреевны Кудрявцевой «Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов» — читать онлайн на сайте. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Возрастное ограничение:
0+Дата выхода на Литрес:
10 января 2022Дата написания:
2022Объем:
653 стр. ISBN:
9785534110883Общий размер:
4.5 МБОбщее кол-во страниц:
653Правообладатель:
ЮРАЙТ