李娜著2011 年出版187 页ISBN:9787303121694
本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此,本文首先定义了模态公式□α的布尔值||□α||;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的...
地理学的数学模型与应用 1934-1999年《地理学报》中的数学模型及公式汇编
刘昌明,岳天祥,周成虎主编2000 年出版185 页ISBN:7030085965
本书将《地理学报》1934年创刊以来发表的328 组数学模型和公式分类汇编成册。本书包括:地球信息科学的模型和公式38组,自然地理模型和公式209 组,经济地理的模型和公式81组。选编的模型及公式都是原文中的精髓...