非奇异矩阵提示您:看后求收藏(衍墨轩小说网www.hangmygiasi.net),接着再看更方便。

【写在8月25日20:53,发布后发现上下标给我全滤了?,我调整一下,过会儿再看】

硬核程度:☆☆☆☆☆

涉及领域:计算理论

大标题:三种函数外加三种操作怎样解决所有可计算问题?为什么偏递归函数可以制造无限循环?

可能是全网最不报菜名、最不装比的解释。

以下开始:

首先,什么是可计算?

可计算就是指,有一个算法,我们把它交付给计算机后,计算机可以像执行一个函数一样,接受我们给它的输入,然后返回输出,这个输出就是我们想要的答案。

为了方便描述,先行约定一下数学符号。

假设我们有一个乘法器,叫做mult,它可以接受一对整数作为输入,把它们相乘后输出一个整数。

比如,输入(3,4)输出12

输入(6,2)输出12

输入(0,6)输出0

这时,我们把这些输入数对叫做domain,输出的一个数叫做codomain。如果我们用Z来代表全体整数集,那么这个平平无奇的乘法器就可以用数学符号表示为:

mult:Z^2→Z

中间的这个→表示这个mult是一个total function,也许可以称作“全函数”吧,意思是每一个domain里的输入,都能对应一个codomain里的输出。

与全函数相对应的是,是“偏函数”。对于偏函数,对于有些输入,它并不能给出输出。比如一个除法器,当我们给它(6,0)时,它输出不了任何东西。这个除法器可以表示为:

div:Z^2—Z

这里的单横线代表这是一个偏函数(其实应该用半箭头表示,但在这里打不出来)

好了,定义好符号之后,就可以清爽地描述我们的三种基本函数:后继函数、零函数、投影函数。

后继函数:succ:N→N,succ(x)=x+1,N代表自然数集。我们给它2,它输出3;给它3它输出4。总之就是往上+1.

零函数:zero:Nn→N,zero=0。不管给它什么,它都输出0.

投影函数:projn:Nn→N,projin(x1,...,xn)=xi。它接受长度为n的输入,输出第i个自然数。比如,

更多内容加载中...请稍候...

本站只支持手机浏览器访问,若您看到此段落,代表章节内容加载失败,请关闭浏览器的阅读模式、畅读模式、小说模式,以及关闭广告屏蔽功能,或复制网址到其他浏览器阅读!

本章未完,请点击下一章继续阅读!若浏览器显示没有新章节了,请尝试点击右上角↗️或右下角↘️的菜单,退出阅读模式即可,谢谢!

其他类型推荐阅读 More+
柯学五人组自救穿越

柯学五人组自救穿越

泷优
【更新时间改到每晚18:00】拜托大家点点收藏啦!快穿类型,全员cb向,没有固定任务,终极目标只有活着。第一个世界是吸血鬼骑士ok~第二个世界是魔卡少女樱g~第三个世界是尸鬼…本文又名:冤种同期无时无刻不在
其他 连载 12万字
最长的墓志铭

最长的墓志铭

游隼之心
请大家不要读这本书 因为不是当下流行的爽文题材 诸如赘婿 战王 甜宠 末日 ……这本书没有上面的种种爽感 不要浪费你宝贵的时间 本书只简简单单是一个21世纪“人”的生活日记 这个家伙经测试心理年龄已经99岁了 哈哈 一个老人的唠叨而已 像老太太的裹脚布——又臭又长 书名叫 只要我在喘气 就会挑选一些有感觉的日记更新上去 分享一个人的灵魂模样 希望给大家递上一面通灵宝鉴 以我为镜 见不贤则内自省也
其他 连载 39万字
末世女神收割机,我即是主宰

末世女神收割机,我即是主宰

炸裂小番茄
方航重生回到丧尸末世爆发前,没想到竟获得末世生存系统。 想到竟被队友出卖,葬送尸王口中,既然这次给了自己重来的机会 ,方航发誓一定要宰了他们。 方航立马搬空百亿仓库。 在末世没有强劲身体怎么行。 无限量武器供应,就问还有谁? 到最后,才发现,自己的死并不是意外,后面竟隐藏着一个大阴谋。 这次末世,方航想要那些人看看,到底谁是棋子,谁是执棋之人。
其他 连载 58万字
NBA:我的女友是神仙姐姐

NBA:我的女友是神仙姐姐

太阳太阳别把我晒黑
完美的人生是什么样的? 在自己热爱的事业上获得成功,家人朋友健康平安,还有一个美丽的人儿相知相守。 经历过失败的一世之后,宋亚重生到了2000年。 这一世,他要做喜欢的事,爱喜欢的人。 他喜欢篮球,于是开启了篮球系统;他喜欢安茜,于是他穿越后是安茜的同学。 对宋亚来说,篮球和女人都有了,幸福还远吗? 随手投个资就成为世界首富;只是想陪安茜拍个电影,结果就到处拿奖;至于篮球,也就拿了个十连冠,怎么样
其他 连载 38万字