搜索【Computability】的结果

computability

可计算理论中的国际经典教材,适合较为专业的人来查阅

2022-09-21 21:07:14 1.1MB introduction to recursive function

1

Computability and Logic

classic textbook:G.S. boolos,J.P.Burgess and R.C.Jeffrey

2022-09-19 16:59:58 2.23MB 数理逻辑

1

Computability complexity logic

这是关于可计算性与计算复杂性的电子书，旧版，经典著作，英文版

2022-01-09 19:51:16 20.75MB Comput

1

Discrete Structures, Logic, and Computability

这是关于离散结构与逻辑，可计算性的电子书，最新版本，经典著作，英文版

2021-09-27 01:30:29 15.26MB Discre

1

可计算理论课本(computability)

可计算理论课程的课本,英文书,全名Computability,An Introduction To Recursive Function Theory (Cutland),内容比较理论,有兴趣的可以看一下..(上海交大的娃们苦逼的必修啊....)

2021-09-27 01:29:43 1.1MB 可计算理论 课本

1

John Longley, Dag Normann (auth.)-Higher-Order Computability(2015)

Theory and Applications of Computability系列书本中的第3本。可计算性理论的高级专题！

2021-09-27 01:29:03 5.2MB 可计算性理论 理论计算机 数理逻辑

1

A first Course in An Introduction To Model Theory Proof Theory

2021-09-27 00:52:06 8.08MB Complexity Computability Logic

1

Computability and Complexity Theory Homework Solution

2021-09-27 00:50:48 717KB Solution

1

可计算性与数理逻辑（computability and logic）

适合计算机专业类和数学类专业本科以上参考使用

2021-09-27 00:14:19 2.23MB 数理逻辑

1

Computability theory

这是关于可计算性的电子书，高清，最新版本，经典著作，英文版

2021-09-27 00:09:54 7.4MB Comput

1