数理逻辑
更新时间:-- | 阅读量: 75

又称符号逻辑、数学逻辑、理论逻辑、逻辑斯蒂。指用数学方法研究逻辑问题,特别是研究数...这部著作总结了当时数理逻辑的全部研究成果，建立了一个完全的命题演算和谓词演算系统，发展并给出了一个完全的关系逻辑和抽象的关系理论。1930年，哥德尔（ ...

搜索到与“ 数理逻辑”相关的文献共 1条

浅析城轨交通运营管理数据库逻辑结构设计
城市轨道交通作为有效的公共交通一种，可以快速、安全、高效率的运输乘客，因此也要求轨道交通各业务系统需要具备严密的计算机数据库系统对不同业务系统进行数据信息化有效链接。其中，数据库逻辑结...

《科技创新导报》 2015年1期关键词: "城轨交通数据库","数据库逻辑结构设计","城市轨道交通实体" 收藏