(美)Pamela Bliss著2005 年出版30 页ISBN:7560048765
本书从极光现象说起,引出了磁体和磁性的概念,并通过生活中常见的现象说明地球以及地球上的生物无不受到其影响,解释了什么是磁体和磁性及它们的功用。还介绍了科学家发现带点物体能产生磁性,就此发现所作出的研...
李娜著2011 年出版187 页ISBN:9787303121694
本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此,本文首先定义了模态公式□α的布尔值||□α||;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的...