微信咨询
电话咨询
文档VIP
VIP专享文档
免费专享文档
超值8折下载
不包含研报
赠送积分
不过期
首篇免费
仅限积分文档
纯净版体验
内容过滤无广告
VIP权威标识
彰显身份
专属客服
一对一服务
积分充值
消息
昵称未设置
未开通
0
已购文档
我的文档
我的专题
订单查询
积分变动
推介奖励
优惠券
收藏
账号安全
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。
微信扫码联系客服
©2024 MBAlib.com, All rights reserved. 闽公网安备 35020302032707号
