非奇异矩阵提示您:看后求收藏(热门小说网www.cvsonline.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+
CSgo:属于中国的Top1

CSgo:属于中国的Top1

梦想牛
游戏+电竞+都市+无敌+无女主 天赋即是解释一切的东西,无需借助外物,天赋,便是钱凯最好的赠品。 钱凯,怀龙市中考的状元,却在开学季离奇退学! 只因自己在暑假期间,接触到了一款游戏的大作,CS go! 在曾经的天才道具师谭勇的帮助下,与一群志同道合的朋友组成了一个战队! 在各大S赛事中横冲直撞,斩落强队无数,而钱凯之名也逐渐响彻在世界舞台之上! 从此,CS go中属于中国的top1已经冉冉升起,而
其他 连载 68万字
轮回恋曲:遗忘的秘密

轮回恋曲:遗忘的秘密

盐焗酒千柒
在一个充满玄幻与神秘的世界里,命运的轮盘悄然转动。主角一次次陷入轮回的漩涡,每一世都无可救药地爱上同一个人,然而每一次新的轮回开始,又会将爱人的记忆忘却。 悬疑的迷雾笼罩着这段跨越轮回的爱恋。为何会陷入这样的循环?是前世的诅咒,还是隐藏在世界背后的巨大阴谋? 每一世的相遇,都是心动的开始,却也是遗忘的前奏。在追寻真爱的道路上,主角不断探索、挣扎,试图打破轮回的枷锁,解开被遗忘的秘密。 爱,能否战胜
其他 连载 44万字
诡异森林

诡异森林

羡路
路雯琪在这片诡异森林里醒来,被少女诱骗去死海找了诡异老人,诡异老人给了路雯琪一把,只剩1/7的刀。然后路雯琪坐上了诡异61路公交车开启了传奇之旅
其他 连载 36万字
未来生命的延续数字人Ai

未来生命的延续数字人Ai

何心荷
上本书匆匆结束,有很多遗憾,所以在这本书里补一下,可以说是上本书的续集,补充相柳和文鳐穿越过来,在未来世界的故事。 主角安缇是一个数字意识档案管理员,她的工作是数字意识人的终结者,她经常见识各种不同的人,看他们的人生喜乐疾苦,也带给她自己许多心理冲击。让她一步步感受到人生的无常,逐渐变得成熟。 看她如何在常谦,相柳,何峥,程恩尚之间的感情纠葛中,纠结,犹豫,徘徊。 书中的长留市是现实的人间世界。
其他 连载 47万字