Автор:Зыков С.В. Год: 2017 Издание:Интернет-Университет Информационных Технологий (ИНТУИТ) Страниц: [не указано] ISBN: 9785955600093, 5955600094 Учебный курс "Введение в теорию программирования" основан на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET,...