智库文档

MBA智库文档综合素质训练数理逻辑

数理逻辑

数理逻辑是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑(相对于哲学逻辑),又称元数学,后者的使用现已局限于证明论的某些方面。

 Lwheless0次
1

提交需求

找不到您要的资料?
提交资料需求,让网友帮您查找。
充值
积分
开通
VIP
微信客服

微信扫码联系客服

微信
服务号
用户反馈
智库首页- 广告合作-友情链接-规范协议-权利通知-帮助中心-关于我们

©2022 MBAlib.com, All rights reserved.

闽公网安备 35020302032707号