Czytaj tylko na LitRes

Książki nie można pobrać jako pliku, ale można ją czytać w naszej aplikacji lub online na stronie.

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

Objętość 653 strony

2022 rok

0+

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

Czytaj tylko na LitRes

Książki nie można pobrać jako pliku, ale można ją czytać w naszej aplikacji lub online na stronie.

85,03 zł

O książce

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

Zostaw recenzję

Zaloguj się, aby ocenić książkę i zostawić recenzję
Książka Михаила Владимировича Швецкого, Ирины Андреевны Кудрявцевой «Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов» — czytaj online na stronie. Zostaw komentarze i recenzje, głosuj na ulubione.
Ograniczenie wiekowe:
0+
Data wydania na Litres:
10 stycznia 2022
Data napisania:
2022
Objętość:
653 str.
ISBN:
9785534110883
Całkowity rozmiar:
4.5 МБ
Całkowita liczba stron:
653
Właściciel praw:
ЮРАЙТ

Z tą książką czytają