Программирование: теория типов учебник для вузов

Программирование: теория типов учебник для вузов

Bibliographic Details
Main Author: Кудрявцева И. Ирина
Other Authors: Швецкий М. В. Михаил Владимирович
Summary:URL: https://urait.ru/bcode/565920 (дата обращения: 27.08.2025).
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Published: Москва, Юрайт, 2025
Edition:2-е изд.
Series:Высшее образование
Subjects:
Программирование
Компьютерные и информационные науки
Теория и технология программирования
Методы программирования
Основы программирования
Прикладное программирование
Программирование для ЭВМ
Введение в программирование
Программирование на ЭВМ
Теория типов
Online Access:https://urait.ru/bcode/565920
Format: Electronic Book

Similar Items

Similar Items