Михаил Владимирович Швецкий - Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО
Жанры: | Жанр к этой книге еще не добавлен |
---|
Случайная цитата из книги
К этой книге еще не добавлены цитаты Добавить цитатуРекомендуемый контент
Описание книги «Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО»
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям. Пособие предназначено для преподавателей, аспирантов и студентов факультетов образовательных учреждений среднего профессионального образования компьютерных наук и информационных технологий.
С книгой «Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО» читают
Рецензии на книгу «Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО»
Рецензий еще нет. Вы можете стать первым, кто напишет рецензию на книгу «Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО»!
Пожалуйста, зарегистрируйтесь или войдите, чтобы оставить рецензию. Регистрация займет не более 15 секунд.
Популярные списки книг
Эти книги могут быть интересны:
Отзывы на книгу «Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО»
Отзывов еще нет. Станьте первым, кто напишет отзыв на книгу «Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО»!
Пожалуйста, зарегистрируйтесь или войдите, чтобы написать отзыв. Регистрация займет не более 15 секунд.