章节

2452 个页面

Tags

数据压缩

信息论

Lambda演算

Millennium-Prize

Np-Complete

P-vs-Np

计算理论

停机问题

图灵机

形式语言

正则表达式

自动机

CAP定理

架构

系统设计

比特币

密码学

区块链

Alan Baker

P进霍奇理论