当前位置:首页 > 名称
大约有10,000项符合查询结果项。(搜索耗时:0.0702秒)
为您推荐: 演化心理学视角下的亲情 友情和爱情 中国临床肿瘤学进展 2022中国临床肿瘤学进展 aspen模拟软件在精馏设计和控制中的应用 t-lnp图在天气分析和预报中的应用 植物耐盐性 多学科的研究进展
-
-
-
集合论含有原子的自然模型和布尔值模型 【数理化】
李娜著2011 年出版187 页ISBN:9787303121694本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此,本文首先定义了模态公式□α的布尔值||□α||;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的...
-
-
-
-
-
数学和数学家的故事 7 【数理化】
(美)李学数编著2017 年出版208 页ISBN:9787547835401《数学和数学家的故事》是一本介绍古今中外数学家生平事迹和各种有趣数学问题的数学普及读物。在这套科普读物中,青少年不仅可以了解和涉猎历史上许多著名的数学问题,而且也有可能了解和认识数学界的最新成果...
-
求总极值的某些确定性算法 连续变量和整变量情况 【数理化】
田蔚文著2001 年出版132 页ISBN:7810582755本文分“求总极值的确定性算法的概述”、“用均值——水平集求总极值的算法”、“用填充函数求总极值的算法”三章,对积分型和填充函数型两种求全局最优化的理论和方法作进一步探索。...
-
学科分类
