Программирование. Комбинаторная логика — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий.
Название: Программирование. Комбинаторная логика Автор: Кудрявцева И. А., Швецкий М. В. Издательство: Юрайт Год: 2022 Страниц: 524 Формат: PDF Размер: 130,47 МБ Качество: отличное Язык: русский
Добавлять комментарии могут только зарегистрированные пользователи. [ Регистрация | Вход ]
Портал mobil-videoplaneta.ru предлагает вашему вниманию аудиокнигу Программирование. Комбинаторная логика, которую можно слушать в формате аудио mp3 на мобильнике, PSP, iPhon, iPod, iPad и др. устройствах.
Аудиокнигу Программирование. Комбинаторная логика можно бесплатно скачать по ссылкам, указанным на сайте нашими пользователями.
Также Программирование. Комбинаторная логика можно бесплатно слушать онлайн.
Этот материал размещен на сайте mobil-videoplaneta.ru нашими пользователями и предоставлен для скачивания не с наших серверов, поэтому мы не несём ответственности за выложенные материалы,
не проводим проверку размещенных здесь материалов и не несем ответственности за их содержание и соответствие законодательству или безопасность их использования.
Все конфликтные материалы могут быть удалены по просьбе правообладателей.
