数理逻辑学 编辑
数理逻辑是数学的一个分支，其研究对象是对数学证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。
3
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
杨东屏，男，河北人，中国数理逻辑学家，曾任中国数学会理事，曾任中国科学院软件研究所研究员、博士生导师。