Программирование: комбинаторная логика
A

Программирование: комбинаторная логика

Haskell
combinatory logic lambda calculus Haskell type theory category theory formal systems programming foundations
Автор
И. А. Кудрявцева, М. В. Швецкий
Издательство
Юрайт
Год
2022
Язык
Русский
29
Оцените книгу

Чтобы читать книгу, войдите / зарегистрируйтесь

Ознакомительный фрагмент

Похожие книги

Программирование: учебник и практикум для вузов

Программирование: учебник и практикум для вузов

С. В. Зыков

Конструирование компиляторов. Основания и приложения

Конструирование компиляторов. Основания и приложения

Ханспетер Мёссенбёк

Алгоритмический тренинг. Решения практических задач на Python и С++

Алгоритмический тренинг. Решения практических задач на Python и С++

Максим Иванов

Искусство доказательства в математике. Курс лекций с упражнениями

Искусство доказательства в математике. Курс лекций с упражнениями

Дэниэл Веллеман

Совершенный алгоритм. Алгоритмы для NP-трудных задач

Совершенный алгоритм. Алгоритмы для NP-трудных задач

Тим Рафгарден

Тайная жизнь программ. Как создать код, который понравится вашему компьютеру

Тайная жизнь программ. Как создать код, который понравится вашему компьютеру

Джонатан Стейнхарт

Теоретический минимум по Big Data. Всё, что нужно знать о больших данных

Теоретический минимум по Big Data. Всё, что нужно знать о больших данных

Ын Анналин, Су Кеннет

Computer Science: основы программирования на Java, ООП, алгоритмы и структуры данных

Computer Science: основы программирования на Java, ООП, алгоритмы и структуры данных

Роберт Седжвик, Кевин Уэйн

Доказательство корректности программ

Доказательство корректности программ

К. Рустан М. Лейно