极小项与极大项的运算性质

研究了极小项、极大项的运算性质，给出了一组运算公式，利用这些运算公式可以使求命题公式的主范式运算更简洁。     

逻辑在基础数学课程中的教育价值

在新的课程改革的背景中,高中阶段开设数理逻辑课程.本文分别从数理逻辑的应用价值、思维价值以及文化价值等不同侧面论证了在高中阶段开设数理逻辑课程的必要性.     

The outbreak pattern of the SARS cases in Asia

The severe acute respiratory syndrome (SARS) caused tremendous damage to many Asia countries, especially China. The transmission process and outbreak pattern of SARS is still not well understood. This study aims to find a simple model to describe the outbreak pattern of SARS cases by using SARS case data commonly released by governments. The outbreak pattern of cumulative SARS cases is expected to be a logistic type because the infection will be slowed down due to the increasing control effort by people and/or due to depletion of susceptible individuals. The increase rate of SARS cases is expected to decrease with the cumulative SARS cases, as described by the traditional logistical model, which is widely used in population dynamic studies. The instantaneous rate of increases were significantly and negatively correlated with the cumulative SARS cases in mainland of China (including Beijing, Hebei, Tianjin, Shanxi,the Autonomous Region of Inner Mongolia) and Singapore. The basic reproduction number R0 in Asia ranged from 2.0 to 5.6 (except for Taiwan, China). The R0 of Hebei and Tianjin were much higher than that of Singapore, Hongkong, Beijing, Shanxi, Inner Mongolia, indicating SARS virus might have originated differently or new mutations occurred during transmission. We demonstrated that the outbreaks of SARS in many regions of Asia were wall described by the logistic model, and the control measures implemented by governments are effective. The maximum instantaneous rate of increase, basic reproductive number, and maximum cumulative SARS cases were also calculated by using the logistic model.     

论19世纪的逻辑学——在数学与哲学之间

19世纪的逻辑学处于数学与哲学之间:一方面,数学家在对传统逻辑的改革过程中形成了逻辑代数和数理逻辑;另一方面,哲学探讨热衷于逻辑学的性质、地位、基础等问题,由此形成了心理主义和反心理主义之争。这种状况从各个方面影响了20世纪的逻辑学、心理学和哲学的发展。     

离散数学教学中关于命题符号化问题的讨论

离散数学是计算机专业的一门重要专业基础课程,数理逻辑是其最复杂内容之一,而将命题符号化是数理逻辑部分的教学重点和难点,本文旨在讨论如何进行准确的命题符号化。     

数理逻辑之研究对象、学科归属、定义及研究领域

鉴于对数理逻辑这一学科的定义、研究对象、研究领域与学科归属等问题,尚无一个一致的说法,有的已不符合历史发展的现状.例如,就学科归属而言,就有两种说法其一说数理逻辑是数学的一个分支;其二说数理逻辑是逻辑学的一个分支,如此等等.有的数理逻辑著作中完全不论及这类问题.为此,本文从数理逻辑历史发展的几个侧面加以分析,并综合各家之长对数理逻辑的定义、研究对象、研究领域与学科归属等问题进行了探讨.     

逻辑的困惑

<正>一位研究数理逻辑的朋友告诉我,20世纪四位最有影响的思想家当中,有三位同逻辑有关,这让他十分自豪。这三位是哥德尔、冯·诺伊曼和图灵。显然,后两位的名气要比哥德尔大,他们都是计算机时代的奠基者,而且都亲自参与制造最早的计算机。计算机恐怕是20世纪的头号科技成就了。而计算机的设计又离不开哥德尔的数理逻辑,     

用数理逻辑理论分析数学命题的充要条件

主要结合微积分（Ｃａｌｃｕｌｕｓ）知识，用数理逻辑理论（ＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｌＴｈｅｏｒｙ）分析，阐述数学命题的充要条件，以加深对数学理论的理解而更准确地应用数学知识     

浅议一阶逻辑的发展与集合论公理化的关系

众所周知,一阶逻辑与公理集合论是数理逻辑的两个组成部分,其中,一阶逻辑是数理逻辑的基础部分.但在数理逻辑刚刚出现的时候,逻辑不是一阶的,集合论也经历了由康托尔素朴集合论到公理集合论的发展.在数理逻辑发展的历史中,一阶逻辑的出现及其主导地位的确立与集合论的公理化,二者之间存在着密切的联系.