:
Log in
Sign up
2
Matching Annotations
Dec 2022
www.zhihu.com
www.zhihu.com
简单图灵机怎么模拟高级的? - 知乎
1
caocao485
14 Dec 2022
in
Public
简单图灵机怎么模拟高级的?
类型系统
图灵
图灵记
图灵机
Visit annotations in context
Tags
图灵机
图灵记
类型系统
图灵
Annotators
caocao485
URL
zhihu.com/question/371479671
Collapse view
www.zhihu.com
www.zhihu.com
如何通俗地解释停机问题(Halting Problem)? - 知乎
1
caocao485
13 Dec 2022
in
Public
如何通俗地解释停机问题(Halting Problem)?
基础概念
图灵机
数理逻辑
逻辑学
Visit annotations in context
Tags
图灵机
数理逻辑
基础概念
逻辑学
Annotators
caocao485
URL
zhihu.com/question/20081359
Collapse view
Share:
Group.
Only group members will be able to view this annotation.
Only me.
No one else will be able to view this annotation.