编程：组合逻辑
A

编程：组合逻辑

Haskell
combinatory logic lambda calculus Haskell type theory category theory formal systems programming foundations
作者
И. А. Кудрявцева, М. В. Швецкий
出版社
Юрайт
年份
2022
语言
俄语
28
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

编程：大学教材与练习

编程：大学教材与练习

С. В. Зыков

编译器构造。基础与应用

编译器构造。基础与应用

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

算法训练。Python与C++实战题解

算法训练。Python与C++实战题解

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

数学证明的艺术。附练习的讲座课程

数学证明的艺术。附练习的讲座课程

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

完美算法。NP难问题的算法

完美算法。NP难问题的算法

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

程序的隐秘生活：如何编写让计算机喜爱的代码

程序的隐秘生活：如何编写让计算机喜爱的代码

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

大数据理论精要。关于大数据你需要知道的一切

大数据理论精要。关于大数据你需要知道的一切

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

计算机科学：Java编程基础、面向对象编程、算法与数据结构

计算机科学：Java编程基础、面向对象编程、算法与数据结构

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

程序正确性证明

程序正确性证明

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