数理逻辑(Mathematical Logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。
留学资讯 一扫掌握
备案号:沪ICP备14029753号-6 上海互享版权所有