搜索【可计算理论】的结果

本文是阿兰图灵的经典代表论文，文中对图灵机概念进行了细致阐述。本文论述的计算机概念为后来人类使用的各种现代计算机的设计提供了重要的思路来源

2021-12-11 17:12:22 2.05MB 可计算理论

1

可计算理论课本(computability)

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

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

1

可计算理论电子教案(4-7)

四川大学唐常杰教授，双语电子教案，配合教材计算理论导引（ Michael Sipser　著）4-7章

2021-05-03 02:18:11 2.59MB 可计算理论

1

可计算理论电子教案（1-3）

唐常杰，双语电子教案，配合教材计算理论导引（ Michael Sipser　著）1-3章。

2021-05-03 02:15:40 1.81MB 可甲酸理论

1

可计算理论电子教案（8）

四川大学唐常杰教授，双语电子教案，配合教材计算理论导引（ Michael Sipser　著）8章

2021-05-03 02:08:09 3.5MB 可计算

1

可计算理论单子教案（9-10）

四川大学唐常杰教授，双语电子教案，配合教材计算理论导引（ Michael Sipser　著）8-10章

2021-05-03 02:05:55 2.11MB 可计算理论

1

哥德尔.艾舍尔.巴赫：集异璧之大成 (中文扫描版）

叙事体风格描述，读起来比较啰嗦，自由散漫，杂乱无章，令人费解。名词缩写EGB，BEG又翻译成汉字，烦不胜烦！简单明快，直指核心好不好！期待解码、译码！做摘要、提炼精华。然则不静心不读书，后续再做更细的书签标注、提炼思想骨架、把握脉络。

2020-01-03 11:30:04 34.6MB EGB BEG 数理逻辑 可计算理论

1

COMPUTABILITY An introduction to recursive function theory

COMPUTABILITY An introduction to recursive function theory一书，可计算理论的教，pdf版，比较清晰。

2019-12-21 22:22:40 7.73MB 可计算理论

1