| 词条 | 数理逻辑 |
| 释义 | shuli luoji 数理逻辑(卷名：哲学) mathematical logic 一门以研究推理规律为核心内容并具有数学性质的工具性学科，即现代形式逻辑，亦称符号逻辑。最严格意义下的数理逻辑，指纯逻辑演算。广义的数理逻辑还包括已成为数学分支的集合论、证明论、模型论和递归论。最广义的数理逻辑，把各种非经典逻辑也包括在自己的范围之内。（见数理逻辑史、形式逻辑） |
| 随便看 |
百科全书收录78206条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。