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

Книгу нельзя скачать файлом, но можно читать в нашем приложении или онлайн на сайте.

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

Длительность книги 653 страницы

2022 год

0+

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

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

Книгу нельзя скачать файлом, но можно читать в нашем приложении или онлайн на сайте.

2 409 ₽

Начислим

+72

Покупайте книги и получайте бонусы в Литрес, Читай-городе и Буквоеде.

Участвовать в бонусной программе
Подарите скидку 10%
Посоветуйте эту книгу и получите 240,91 ₽ с покупки её другом.

О книге

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

Войдите, чтобы оценить книгу и оставить отзыв
Книга Михаила Владимировича Швецкого, Ирины Андреевны Кудрявцевой «Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов» — читать онлайн на сайте. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Возрастное ограничение:
0+
Дата выхода на Литрес:
10 января 2022
Дата написания:
2022
Объем:
653 стр.
ISBN:
9785534110883
Общий размер:
4.5 МБ
Общее кол-во страниц:
653
Правообладатель:
ЮРАЙТ
Аудио
Средний рейтинг 0 на основе 0 оценок
По подписке
Аудио
Средний рейтинг 1 на основе 2 оценок
По подписке
Аудио
Средний рейтинг 5 на основе 7 оценок
По подписке
Текст PDF
Средний рейтинг 5 на основе 1 оценок
Аудио
Средний рейтинг 4 на основе 1 оценок
По подписке
Аудио
Средний рейтинг 4,9 на основе 32 оценок
По подписке
Подкаст
Средний рейтинг 4,5 на основе 10 оценок
Аудио
Средний рейтинг 4,8 на основе 189 оценок