编程：组合逻辑
A

编程：组合逻辑

Haskell
combinatory logic lambda calculus Haskell type theory category theory formal systems programming foundations
作者
I. A. Kudryavtseva, M. V. Shvetskiy
出版社
Yurayt
年份
2022
语言
俄语
182
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

编程：大学教材与练习

编程：大学教材与练习

S. V. Zykov

编译器构造。基础与应用

编译器构造。基础与应用

汉斯彼得·莫森伯克

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

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

马克西姆·伊万诺夫

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

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

丹尼尔·韦勒曼

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

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

蒂姆·拉夫加登

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

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

乔纳森·斯坦哈特

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

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

尹安娜琳，苏肯尼斯

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

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

罗伯特·塞奇威克，凯文·韦恩

程序正确性证明

程序正确性证明

K. 鲁斯坦 M. 莱诺