Поиск товаров по запросу: Книга Программирование: теория типов

По заголовку
  • По заголовку
  • По возрастанию цены
  • По убыванию цены
Показать 24
  • Показать 12
  • Показать 24
  • Показать 36
Цена -

Краткое описание

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