数理逻辑
洛豳枭薰
最好的年华为最初的梦想尽最大的努力
展开
-
BNF巴科斯范式( )
Bakus-Naur form: BNF是描述编程语言的文法。自然语言存在不同程度的二义性。这种模糊、不确定的方式无法精确定义一门程序设计语言。必须设计一种准确无误地描述程序设计语言的语法结构,这种严谨、简洁、易读的形式规则描述的语言结构模型称为文法。最著名的文法描述形式是由Backus定义Algol60语言时提出的Backus-Naur范式(Backus-Naur Form, BNF)及其扩展形原创 2017-11-08 19:57:18 · 578 阅读 · 0 评论 -
命题逻辑的soundness可靠性和completeness完备性
转载于http://blog.csdn.net/on_1y/article/details/8727346 命题逻辑中的语法与语义,可靠性与完备性1 导言 初学数理逻辑的时候,一个非常重要的点就是对可靠性与完备性概念的理解,这两个概念极为重要,却又经常让人觉得 难以理解。 说它重要是因为它涉及逻辑系统的基本框架,初学数理逻辑,最重要的倒不在于你有多高超的技巧去推导那些 公式,而在于对一些转载 2017-11-08 23:14:49 · 10314 阅读 · 3 评论 -
偏序与全序
偏序和全序是公里集合论中的概念。首先你要知道什么是二元关系。 比如实数中的“大小”关系,集合的集合中的“包含”关系就是两种二元关系。所谓偏序,即偏序关系,是一种二元关系。 所谓全序,即全序关系,自然也是一种二元关系。全序是指,集合中的任两个元素之间都可以比较的关系。比如实数中的任两个数都可以比较大小,那么“大小”就是实数集的一个全序关系。偏序是指,集合中只有部分元素之间可以比较的关系。比如复数集原创 2017-11-30 20:58:09 · 2332 阅读 · 0 评论