THELIB
分类规则 规则 登录
  • 图书
  • 编程语言
  • Haskell
  • 编程:组合逻辑
编程:组合逻辑
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编程基础、面向对象编程、算法与数据结构

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

程序正确性证明

程序正确性证明

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

THELIB

支持 8 种语言翻译的 IT 书籍库。

目录

  • 图书
  • 分类
  • 规则
  • 协议

账户

  • 注册
  • 登录
  • 支持

信息

  • thelib.cc
  • v0.1
© 2026 THELIB 8种语言 · AI实时翻译