首页 >课程 >哲学 > 哲学专业>符号逻辑
符号逻辑 条来源
所属学科: 哲学本课程有:1452人浏览 0人选课
符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。