2013年3月27日
命题逻辑中的语法与语义，可靠性与完备性
摘要： 命题逻辑中的语法与语义，可靠性与完备性1导言 初学数理逻辑的时候，一个非常重要的点就是对可靠性与完备性概念的理解，这两个概念极为重要，却又经常让人觉得 难以理解。 说它重要是因为它涉及逻辑系统的基本框架，初学数理逻辑，最重要的倒不在于你有多高超的技巧去推导那些 公式，而在于对一些基本概念的理... 阅读全文
posted @ 2013-03-27 17:41 Iambda 阅读(1162) 评论(0) 推荐(0) 编辑