cashbery.ucoz.org Пятница, 22.11.2024, 07:14
Приветствую Вас Гость | RSS
Меню сайта

Категории раздела
Софт [2519]
Игры [16]
Видео [855]
Книги-Журналы [10736]
Музыка [22226]
ИНТЕРЕСТНОЕ [136]

Статистика
Seo анализ сайта
Онлайн всего: 1
Гостей: 1
Пользователей: 0
Кто сегодня был?


Программирование. Комбинаторная логика
27.02.2022, 16:53

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

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

Скачать Программирование. Комбинаторная логика

Скачать с katfile.com
Скачать с file-upload.com
Скачать с turb.cc
Категория: Книги-Журналы | Добавил: pmojka | Теги: Комбинаторная, логика, Программирование, 2022
Просмотров: 142 | Загрузок: 0 | Рейтинг: 0.0/0
Всего комментариев: 0
Adguard
Вход на сайт

Поиск

ИНТЕРЕСТНОЕ
[24.10.2018]
[Музыка]
Andi Durrant - Transmission Radio 192 (2018-10-24)

BELOFF 2018.10 Lite PC / Русский | ISO
Категория: Софт
Дата: 21.10.2018

[30.10.2018]
[Музыка]
Ridney pres. Retrospective, Vol. 1 (2018)

[28.10.2018]
[Музыка]
Brix & The Extricated - Breaking State (2018)

[28.10.2018]
[Музыка]
Amir Hussain - Grotesque Show 345 (2018-10-26)

[27.10.2018]
[Музыка]
Junglesound: Revenge of the Bass (2018)

[31.10.2018]
[Книги-Журналы]
Лев Жданов. 21 книга

[31.10.2018]
[Музыка]
Victoria Da Silva - Weekly Essentials Podcast 250 (2018-10-30)

[24.10.2018]
[Музыка]
Eurobeat Kudos 26 (2018)

[28.10.2018]
[Книги-Журналы]
Луи Жаколио. Собрание сочинений (21 книга)


Друзья сайта

Turbbobit.ru
Copyright MyCorp © 2024uCoz

top