2022年2月4日
命题逻辑趣味拾遗
摘要： 数理逻辑(mathematical logic)（又称符号逻辑），是用数学方法研究逻辑或形式逻辑的学科，属形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字， 阅读全文
posted @ 2022-02-04 22:22 Ofnoname 阅读(553) 评论(1) 推荐(0) 编辑