当前位置：首页 > 名称
大约有614,566项符合查询结果项。（搜索耗时：0.8500秒）
为您推荐： 数据模型与决策基于excel的建模和商务应用第三版 观止 微软创建nt和未来的夺命狂奔 建筑工程设计bim深度应用 居住区位选择模型的发展和应用 基于bim的土建类毕业设计 建筑方向 国家建筑标准设计图集13cj43建筑陶瓷薄板和轻质陶瓷板工程应用幕墙
-
-
集合论含有原子的自然模型和布尔值模型
李娜著2011 年出版187 页ISBN：9787303121694本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此，本文首先定义了模态公式□α的布尔值||□α||；其次证明在该定义下，模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的...
-
-
-
-
-
-
-
-
学科分类
出版时间