摘要
用数学模型研究实际问题是现代科学研究的常用方法.通常采用的数学模型是各种方程.但是使用方程作为研究手段也存在着许多问题,例如无法应用于不可计算的或者不具有数量概念的实际情况中,这样许多问题无法加以讨论.以命题为基础,通过数理逻辑的概念和方法,建立了具有实际意义的逻辑模型的一般理论,分析了逻辑模型的一些基本性质.逻辑模型可以看成传统模型的一种推广.
Mathematical models are widely used for solving real problems. The mainly used model isthe equations. But this method has many problems, for example it cannot be used for the the uon calculated variables The logical relations among the variables of the model are not clear. On the basis of the concepts of mathematical logic, this paper has set up the logical mathematical model and Bas analysed the basic characteristics of the model. The logical mathematical model is an extended form of traditional equation model.
出处
《数学的实践与认识》
CSCD
北大核心
2009年第24期180-189,共10页
Mathematics in Practice and Theory
关键词
命题
逻辑模型
核
proposition
logical model
core
