数理逻辑的一部重要经典着作。由英国数学家和哲学家罗素(Russell，B)和怀特海(Whitehead，A．N．)合着，共三卷。分别于1910，1912，1913年出版。该书贯穿逻辑主义的基本思想，认

早立秋和晚立秋有两种方式定义，一种是一天之中的早晚，一种是农历历法上的早晚。按上午下午区分：2021年为晚立秋。一天之中以中午为界定，若是立秋时间在上午，那么这年的立秋就算是“早立秋”。如果立秋的时

[拼音]：motai luoji[外文]：modal logic逻辑的一个分支，它研究必然、可能及其相关概念的逻辑性质。模态逻辑所研究的命题“必然 A”和“可能 A”与通常命题演算中的命题不同。后者是

[拼音]：hongshui yansuan[外文]：flood routing应用蓄泄关系把河段或水库的入流洪水过程转换成出流洪水过程的计算。根据入流洪水计算出流洪水是水文工作中经常遇到的问题，十分重

[拼音]：Gongcheng Shuiwenxue[外文]：Hydrology for Engineers阐述水文学原理和工程应用方法的专著和教材。美国水文专家R.K.林斯雷、M.A.寇乐、J.L.H

[拼音]：λ zhuanhuan yansuan[外文]：calculus of λ-conversion用以定义可计算函数的形式演算系统。其特点是把函数与函数值明显区分，并把函数的演算归结为按一定规

[拼音]：mingti luoji[外文]：propositional logic研究由命题经使用命题连接词构成的更复杂的命题，以及这样构成的命题之间的推理关系。命题演算是命题逻辑的形式系统(见逻辑演

[拼音]：youxiancha yansuan[外文]：calculus of finite difference运用符号算子及其运算规则处理插值、级数求和以及差分方程求解等问题的形式演算方法，也可称

[拼音]：yijie luoji[外文]：first order logic研究数学中由个体、函数及关系构成的命题以及由这些命题经使用量词和命题连接词构成的更复杂的命题和这类命题之间的推理关系。在为数

[拼音]：chousuan中国古代以筹为工具来记数、列式和进行各种数与式的演算的一种方法。筹，又称为策、筹策、算筹，后来又称之为算子。它最初是小竹棍一类的自然物，以后逐渐发展成为专门的计算工具，质地与

[拼音]：motai luoji[外文]：modal logic逻辑的一个分支，它研究必然、可能及其相关概念的逻辑性质。模态逻辑所研究的命题“必然 A”和“可能 A”与通常命题演算中的命题不同。后者是

[拼音]：hongshui yansuan[外文]：flood routing应用蓄泄关系把河段或水库的入流洪水过程转换成出流洪水过程的计算。根据入流洪水计算出流洪水是水文工作中经常遇到的问题，十分重

[拼音]：mohu luoji[外文]：fuzzy logic研究模糊命题演算和模糊推理的一种非布尔逻辑。从研究内容上看，模糊逻辑是把数理逻辑的联结词的使用和真值表的取值作了相应的推广。它的发展与计算

[拼音]：Gongcheng Shuiwenxue[外文]：Hydrology for Engineers阐述水文学原理和工程应用方法的专著和教材。美国水文专家R.K.林斯雷、M.A.寇乐、J.L.H

[拼音]：λ zhuanhuan yansuan[外文]：calculus of λ-conversion用以定义可计算函数的形式演算系统。其特点是把函数与函数值明显区分，并把函数的演算归结为按一定规

[拼音]：mingti luoji[外文]：propositional logic研究由命题经使用命题连接词构成的更复杂的命题，以及这样构成的命题之间的推理关系。命题演算是命题逻辑的形式系统(见逻辑演

[拼音]：youxiancha yansuan[外文]：calculus of finite difference运用符号算子及其运算规则处理插值、级数求和以及差分方程求解等问题的形式演算方法，也可称

[拼音]：yijie luoji[外文]：first order logic研究数学中由个体、函数及关系构成的命题以及由这些命题经使用量词和命题连接词构成的更复杂的命题和这类命题之间的推理关系。在为数

[拼音]：chousuan中国古代以筹为工具来记数、列式和进行各种数与式的演算的一种方法。筹，又称为策、筹策、算筹，后来又称之为算子。它最初是小竹棍一类的自然物，以后逐渐发展成为专门的计算工具，质地与