10% endirim hədiyyə edin
Bu kitabı tövsiyə edin və dostunuzun alışından 3,95 ₼ əldə edin.
mətnPDF
Həcm 653 səhifələri
2022 il
Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов
39,43 ₼
Kitab haqqında
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Rəy bildirmək
Giriş, kitabı qiymətləndirmək və rəy bildirmək
Kitabın təsviri
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Kitab Михаила Владимировича Швецкого, Ирины Андреевны Кудрявцевой «Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов» — saytda onlayn oxuyun. Şərh və rəylərinizi qeyd edin, sevimlilərinizi seçin.
Yaş həddi:
0+Litresdə buraxılış tarixi:
10 yanvar 2022Yazılma tarixi:
2022Həcm:
653 səh. ISBN:
9785534110883Ümumi ölçü:
4.5 МБSəhifələrin ümumi sayı:
653Müəllif hüququ sahibi:
ЮРАЙТ
