社区
数据结构与算法
帖子详情
今天看数理逻辑,好玩。
forulong
2001-11-18 02:19:32
今天看数理逻辑,看到证明狭义谓词演算公理系统的完备性证明,发现一个挺好玩
的构造:0=<0,0,0>
1=<0,0,1> 2=<0,1,0> 3=<1,0,0>
4=<0,0,2> 5=<0,1,1> 6=<0,2,0> 7=<1,0,1> 8=<1,1,0> 9=<2,0,0>
10=<...
在用三元向量即用<a,b,c> 表示情况下,n=<?,?,?>
在h元向量表示的情况下,n又该如何表示呢?
不过这与定理证明没关系,呵呵。
...全文
112
3
打赏
收藏
今天看数理逻辑,好玩。
今天看数理逻辑,看到证明狭义谓词演算公理系统的完备性证明,发现一个挺好玩 的构造:0= 1= 2= 3= 4= 5= 6= 7= 8= 9= 10=<... 在用三元向量即用 表示情况下,n= 在h元向量表示的情况下,n又该如何表示呢? 不过这与定理证明没关系,呵呵。
复制链接
扫一扫
分享
转发到动态
举报
写回复
配置赞助广告
用AI写文章
3 条
回复
切换为时间正序
请发表友善的回复…
发表回复
打赏红包
wavecheng
2001-11-23
打赏
举报
回复
不用看了,反正又不考!
forulong
2001-11-18
打赏
举报
回复
可以的吧,用含n 的式子表示各分量,应该可以的吧?
fallstone
2001-11-18
打赏
举报
回复
咦,这可以表示出来么?
如何理解和实践幼儿园以游戏为基本活动.docx
游戏活动可以促进幼儿心理过程的快速发展,比如提高他们的社会性、语言表达能力、
数理逻辑
和交往合作技巧。例如,在“欢乐的餐厅”游戏中,孩子们通过扮演角色,学会了自我表达、人际交往和解决问题,这些都是在游戏...
数理逻辑
1 -- 命题演算1
一直对逻辑的东西很感兴趣,尤其最近做的东西和AI相关,因此下定决心系统地学习
数理逻辑
。这些笔记并不是严谨的描述,只是作为一些概念的快速参考,以及加入一些个人认为
好玩
的公式、定理和推导。 简单来说,数理...
数理逻辑
1 -- 命题演算3
定义1.2表明了逻辑系统的“存在性”,即给定一些wf和推导规则,要“证明”一个wf是否存在,简单来说就是看wf能否存在与某个推导规则 R i R_i 中。下面给出“证明”的定义。 定义1.3 (证明):一个证明(Proof)是...
数理逻辑
5 -- 计算理论3
定义图灵机不单单是为了
好玩
,还为了研究什么样的东西才是“可计算”的。从图灵机“一步一步”操作的方式来看,好像任意函数都能被计算。但实际上,只有某一类函数可被图灵机计算。这类函数被称作部分递归函数,与...
我的五年研究生生活(转自南京大学) --转载
Kunen的书是极好的,但是对于一个几乎没有什么逻辑背景的来说,看他的书几乎是看天书 。 里面的绝对性,相对性弄得我晕头转向,看到一半就没了力气。 但是第一章里面的appandix以及穿插在书中的一些remark却深深吸引...
数据结构与算法
33,028
社区成员
35,337
社区内容
发帖
与我相关
我的任务
数据结构与算法
数据结构与算法相关内容讨论专区
复制链接
扫一扫
分享
社区描述
数据结构与算法相关内容讨论专区
社区管理员
加入社区
获取链接或二维码
近7日
近30日
至今
加载中
查看更多榜单
社区公告
暂无公告
试试用AI创作助手写篇文章吧
+ 用AI写文章