2017年7月13日
命题逻辑
摘要： 逻辑规则给出了数学语句的准确含义，这些规则用于区分有效和无效的数学论证。为了理解数学，我们必须理解正确的数学论证（即证明）是由什么组成的。只要证明一个数学语句是真的，我们称之为一个定理。关于一个主题的定理的集合就组成了我们对这个主题的认知 逻辑不仅对理解数学推理十分重要，而且在计机科学中有许多应用。 阅读全文
posted @ 2017-07-13 09:19 busui 阅读(840) 评论(0) 推荐(0) 编辑