[视频作者] 语言树
[视频时长] 19:47
#万物研究所,科学很可爱,数理逻辑# [视频类型] 科学科普
莫绍揆《数理逻辑初步》8-模型论，原始递归函数，能行可计算，一般递归函数带入替换，图灵计算机，λ换位演算，三者一体，Church Theory，存储量和时间改变
以上内容由小不点搜索引擎从网站www.bilibili.com自动化索引镜像而来，不代表网站的即时内容，也无法确保其有效性；仅限个人学习使用，禁止商用。如有任何异议，请使用举报删除
影音视频访问链接
以下链接为影音视频“莫绍揆《数理逻辑初步》8-模型论，原始递归函数，能行可计算，一般递归函数带入替换，图灵计算机，λ换位演算，三者一体，Church Theory，存储量和时间改变”在线访问地址，点击链接就可以访问查看啦
www.bilibili.com
WD
合集