博文

数理逻辑

2016-10-20 09:29

研究人的思维形式和规律的科学，称为逻辑学。根据所研究的对象和方法的不同，逻辑学主要分辩证逻辑、形式逻辑和数理逻辑。 数理逻辑是研究演绎推理的一门科学，是传统演绎法研究的继续和发展。它的主要研究内容是推理，特别是着重推理过程是否正确；它不是研究某个特定的语句是否正确，而是着重于语句之间 ...

个人分类: 离散数学|2014 次阅读|没有评论

本页有 2 篇博文因作者的隐私设置或未通过审核而隐藏