cashbery.ucoz.org Вторник, 24.12.2024, 06:29
Приветствую Вас Гость | RSS
Меню сайта

Категории раздела
Софт [2519]
Игры [16]
Видео [855]
Книги-Журналы [10736]
Музыка [22305]
ИНТЕРЕСТНОЕ [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
Просмотров: 145 | Загрузок: 0 | Рейтинг: 0.0/0
Всего комментариев: 0
Adguard
Вход на сайт

Поиск

ИНТЕРЕСТНОЕ
VA - Equilibrium In The Cosmos (2018)
Категория: Музыка
Дата: 31.10.2018

[01.11.2018]
[Музыка]
KTV012 Entertainment - DIY (2018)

[03.11.2018]
[Музыка]
30 Years of Global Deep House (2018)

[03.11.2018]
[Музыка]
Above & Beyond & Max Flyant - Group Therapy ABGT 305 (2018-11-02)

[27.10.2018]
[Книги-Журналы]
Гиллиан Флинн. 4 книги

[30.10.2018]
[Музыка]
Lounge Diary Episode 3 (2018)

[27.10.2018]
[Книги-Журналы]
Жак Кристиан - Закон пустыни

Творческие эффекты в фотошоп (2018) PCRec
Категория: Видео
Дата: 27.10.2018

[31.10.2018]
[Книги-Журналы]
Дэвид Бальдаччи. 21 книга

[03.11.2018]
[Музыка]
Photographer - SoundCasting 229 (2018-11-02)


Друзья сайта

Turbbobit.ru
Copyright MyCorp © 2024uCoz

top