数理逻辑

来自开放百科 - 灰狐
跳转到: 导航, 搜索
Wikipedia-35x35.png 您可以在Wikipedia上了解到此条目的英文信息 数理逻辑 Thanks, Wikipedia.

数理逻辑

目录

简介

数理逻辑(Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。

历史

体系

数理逻辑的主要分支包括:模型论、证明论、递归论和公理化集合论。

项目

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱