Question

数理逻辑学什么

Answer 1

数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。
主要学习命题演算和谓词演算。并且根据你的学科性质的不同，可能侧重点有所不同，但主要是以上两个方面