当前位置:首页 > 名称
大约有9,000项符合查询结果项。(搜索耗时:0.0164秒)
为您推荐: 实证资产定价 基于boruta算法的某专科医院门诊患者就诊行为分析 基于模型的系统工程 基于matlab的模型预测控制系统设计与实现 基于hrct浸润性肺腺癌异质性分析及其与肿瘤倍增时间的相关性 基于先进代理模型的航空结构可靠性设计理论方法
-
-
-
-
-
-
-
-
-
集合论含有原子的自然模型和布尔值模型 【数理化】
李娜著2011 年出版187 页ISBN:9787303121694本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此,本文首先定义了模态公式□α的布尔值||□α||;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的...
-
学科分类
