2020年7月14日
[翻译转载]离散数学教程--命题逻辑,谓词逻辑和推理规则
摘要： Discrete Mathematics 命题逻辑 数理逻辑的规则指定了如何判断一个数学语句的正确性. 古希腊哲学家,亚里士多德是数理逻辑的先驱. 数理逻辑为数学和计算机科学的许多领域提供了理论的基础. 它在计算机科学领域中也有着许多实际的应用,如计算器,人工智能,编程语言中数据结构的定义等等. 命 阅读全文
posted @ 2020-07-14 23:26 新新人類 阅读(1557) 评论(0) 推荐(0) 编辑