Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Также имеется ФРАГМЕНТ ТЕКСТА для ознакомления!
Коротко о главном в электронной версии сведений о базах данных с идентификатором 67058983:
Михаил Владимирович Швецкий, Ирина Андреевна Кудрявцева работа о БД базы данных, проектирование, учебники и пособия для вузов
Ниже приведены ТЕГИ, по которым можно посмотреть аналоги книг и справочной информации о БД.
Скачать Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов ОнЛайн
Электронная книга Высшее образование в жанре базы данных, проектирование, учебники и пособия для вузов для обучения и всестороннего развития.
Скачать ОнЛайн материалы автора Михаил Владимирович Швецкий, Ирина Андреевна Кудрявцева на устройства FB2 EPUB TXT RTF PDF HTML MOBI форматы. Цена скачивания составляет 1909.00 руб.
Читать бесплатно отрывок из книги или купить полную электронную версию:
ЧИТАТЬ ФРАГМЕНТ КУПИТЬ КНИГУ за 1909.00 руб.