Книга "Программирование: Теория типов" Михаила Владимировича Швецкого - учебное пособие по теоретическим основам программирования, 2-ое издание, дополненное и переработанное. В книге представлены система упражнений и лабораторные работы, включающие теоретическую информацию об элементах теории типов, категории и интуиционисткой логики. В специальных главах рассматриваются такие темы, как TCP (Теория типов сложности), TSP (Теоретико-связные процессы) и TIP (Теорию интуиционистских категорий).
Учебное пособие предназначено для учебных заведений среднего профильного образования в области компьютерных наук и программирования. Книга соответствует требованиям ФГОС СПО и профессиональных стандартов и может быть использована преподавателями, аспирантами и студентами старших курсов.
Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. Книга представляет собой репринтное издание 1987 года. Несмотря на то, что была проведена серьезная работа по восстановлению первоначального качества издания, на некоторых страницах могут обнаружиться небольшие "огрехи": помарки, кляксы и т.п.
Электронная Книга «Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО» написана автором Михаил Владимирович Швецкий в 2022 году.
Минимальный возраст читателя: 0
Язык: Русский
Серии: Профессиональное образование
ISBN: 9785534153828
Описание книги от Михаил Владимирович Швецкий
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям. Пособие предназначено для преподавателей, аспирантов и студентов факультетов образовательных учреждений среднего профессионального образования компьютерных наук и информационных технологий.
