(ссылка для форума) (ссылка для блога) (QR-код книги)
[url=https://coollib.com/b/651382] [b]Программирование. Теория типов. Учебное пособие для вузов (pdf 1.6)[/b] [img]https://coollib.com/i/82/651382/cover.jpg[/img][/url]
<a href=https://coollib.com/b/651382> <b>Программирование. Теория типов. Учебное пособие для вузов (pdf 1.6)</b> <img border=0 align=left style='padding: 3px;' src="https://coollib.com/i/82/651382/cover.jpg" alt="Программирование. Теория типов. Учебное пособие для вузов (pdf)"></a>
QR-код книги
Аннотация
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике.
Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP).
Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования.
Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Рекомендации:
эту книгу рекомендовали 0 пользователей. Прежде чем рекомендовать книгу, хорошо подумайте. Рекомендация - это высшая оценка, которую вы можете выставить книге. 10 по 5-балльной шкале.
Последние комментарии
10 часов 34 минут назад
11 часов 28 минут назад
11 часов 31 минут назад
22 часов 23 минут назад
22 часов 25 минут назад
1 день 11 часов назад