首页 资讯 国内 聚焦 教育 关注 热点 要闻 民生1+1 国内

您的位置:首页>热点 >

全球焦点!罗素一怀特海命题演算公理系统_关于罗素一怀特海命题演算公理系统介绍

来源:互联网    发布时间:2023-05-26 05:23:35


(相关资料图)

1、 罗素一怀特海命题演算公理系统(R ussel and Whitehead axiomatic system of propositional calcu- lus)是一种重要的命题演算公理系统。

2、是由英国数理逻辑学家罗素(Russell,B. A. W.)和英国逻辑学家、数学家怀特海(Whitehead, A. N.)在《数学原理》一书中给出的命题演算公理化的形式系统。

关键词:

频道精选

首页 | 城市快报 | 国内新闻 | 教育播报 | 在线访谈 | 本网原创 | 娱乐看点

Copyright @2008-2018 经贸网 版权所有 皖ICP备2022009963号-11
本站点信息未经允许不得复制或镜像 联系邮箱:39 60 29 14 2 @qq.com