Программирование. Комбинаторная логика (2022)

Автор: SCART56 от 25-02-2022, 16:20, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: Программирование. Комбинаторная логика
Автор(ы): Кудрявцева И.А., Швецкий М.В.
Издательство: Юрайт
Год: 2022
Страниц: 524
Формат: PDF
Размер: 131 Мб
Язык: русский

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT.
Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий.





Скачать Кудрявцева И.А., Швецкий М.В. - Программирование. Комбинаторная логика (2022)

Скачать с katfile.com
Скачать с turbo.to





ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!


Нашел ошибку? Есть жалоба? Жми!
Пожаловаться администрации
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.