Читайте только на Литрес

The book cannot be downloaded as a file, but can be read in our app or online on the website.

Основной контент книги Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО
Text PDF

Volume 653 pages

2022 year

0+

Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО

Читайте только на Литрес

The book cannot be downloaded as a file, but can be read in our app or online on the website.

$28.79

About the book

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям. Пособие предназначено для преподавателей, аспирантов и студентов факультетов образовательных учреждений среднего профессионального образования компьютерных наук и информационных технологий.

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 2022
Writing date:
2022
Volume:
653 p.
ISBN:
9785534153828
Total size:
4.5 МБ
Total number of pages:
653
Copyright holder:
ЮРАЙТ
Podcast
Average rating 0 based on 0 ratings
Text, audio format available
Average rating 5 based on 5 ratings
18+