《理论计算机科学 3》PDF下载

理论计算机科学 1

Theoretical Computer Science 1

V o1.3 1

1. 并行流计算机模型1/O-CGs的弱可控制性 1

2. 随机排列序列的子序列 22

3. 约略数结构与模型区间计算 27

4. 图式程序设计语言的形式定义和设计问题 47

5. 证明网的定义和验证 60

6. Ra的递归开子集上的可计算实函数 80

7. 范畴递归实例 89

8. 关于线路复杂性 103