位网民共同编写而成。共计 词条，文字。位网民共同编写而成。共计 词条，文字。
数理逻辑数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改造...[ 阅读全文]
此分类暂无分类人物
Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有
互动百科现已成为一个各类专家与维客交流的平台，如果您拥有本分类相关的学历或资历，您可以通过申请成为网站专家。 当您成为专家以后可以很方便的以对词条作出点评，为全球最大中文百科做出您的贡献，感谢您的申请。
您的投诉已经成功提交，感谢您对互动分类工作的支持，3天之内，互动百科站务委员会将给出投诉处理结果。 查看详情
