Основной контент книги Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО
Text PDF
Volume 653 pages
2022 year
Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО
Part of the series «Профессиональное образование»
$28.79
About the book
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям. Пособие предназначено для преподавателей, аспирантов и студентов факультетов образовательных учреждений среднего профессионального образования компьютерных наук и информационных технологий.
Genres and tags
Part of the series "Профессиональное образование"
Log in, to rate the book and leave a review
Book Михаила Владимировича Швецкого, Ирины Андреевны Кудрявцевой «Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО» — read online on the website. Leave comments and reviews, vote for your favorites.
Age restriction:
0+Release date on Litres:
01 February 2022Writing date:
2022Volume:
653 p. ISBN:
9785534153828Total size:
4.5 МБTotal number of pages:
653Copyright holder:
ЮРАЙТ