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