简介：

简介：

简介：考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.

简介：在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理.

简介：逻辑推理的方法和探索工具——类比思维若谷数学学习能使人聪明，故人们称数学是“思维的体操”类比思维就是“思维体操”中非常重要，非常关键的一节，著名数学教育家波利亚曾说过：“类比是获得发现的源泉，是最富创造性的逻辑推理方法和探索工具”。实际上，类比是根据...

简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。

简介：介绍动物觅食行为的建模。首先考察觅食动物的搜寻、处理所需时间和能量等基本因素如何影响食饵的选择,建立一个初等模型,使觅食动物的净能量获取率最大,并可预测动物的"最优"食物,然后考虑食饵识别时间、食物地块和觅食中心位置等因素来修正、改进这个模型。最后,用一些实验数据来解释这些模型。

简介：通过对平面动力问题控制方程的分析,研究了相应的应力函数，得出了关于应力函数的基本方程。

简介：一、引言税收作为财政政策的主要表现形式，是一个国家调节宏观经济运行状况的重要手段。鉴于其沟通宏观领域与微观领域的理论功能及其所承担的现实意义，赋税理论一直是学界研究的热点，并在各个国家的政策层面得到充分体现。其中，税负转嫁理论深入人心。

简介：分布参数系统控制主要研究状态空间维数为无穷的系统的控制,本文讨论了分布参数系统控制的一些理论,介绍了作者的著作《无穷维线性系统控制理论》的基本内容。

简介：给出了锥超度量空间与锥度量空间上Hausdorff度量的定义.并利用球完备的性质在锥超度量空间上证明了有关收缩映射与多值映射的不动点理论.

简介：本文将常系数线性微分方程的特征根理论推广到变系数线性微分方程上去,从而建立了线性微分方程系统一的特征根理论。常系数线性微分方程的特征根理论实质是矩阵的特征根理论,因此,我们建立的理论也可以看成将矩阵的特征根理论平移到线性微分方程系上去。矩阵的特征根分简单特征根(初等因子次数为1)与复杂特征根(初等因子次数大于1)两类。本文先推广前者并称之为“方程的特征根”;然后推广后者,并称之为“方程的特征阵”。

简介：分析了罗素悖论与康托的实数集合不可数证明及康托定理S〈P（S）证明之间的本质性联系，发现康托的这两个非构造性证明与罗素悖论有完全相同的思路，但是康托犯了两个逻辑性错误而使他误用了这个悖论思路。得到明确的结论：康托在集合论中如上两个证明里的核心部分实际上是罗素悖论的翻版，这两个证明中的思路与做法是错误的，这样的证明结果没有科学性。

简介：这篇文章在伽罗瓦域上的代数构造和关于一些特定类型图的Ramsey数之间建立了一个关系.研究了关于伽罗瓦域上的代数构造的方程及方程组的解.我们得到了一些关于二部图的Ramsey数的新的下界和上界.

简介：正倒向随机微分方程源于随机控制和金融等问题的研究,反之,方程理论的研究成果在控制、金融等领域也有着重要的应用。基于正向和倒向随机微分方程的理论成果,正倒向随机微分方程的研究在短时间内取得了长足进步。本文将从方程可解性这一角度出发,对正倒向随机微分方程目前取得的成果进行系统的总结与探讨。

简介：会计理论结构或概念体系是会计实务工作者确认、计量和报告企业财务状况和经营成果的依据,是会计准则制定者选定会计和报告方法的基础。自1494年LucaPacioli发表了有关簿记的第一本论著以来,人们为财务会计理论体系的建立做出了不懈的努力。目前,国内外会计界比较有影响的会计理论结构体系,按其逻辑起点不同有九种体

简介：一、政府绩效审计产生的历史背景及内涵绩效审计(performanceaudit)在西方国家产生较早,但真正兴起是在第二次世界大战后。20世纪40年代以后,随着国家公共开支的大幅度增长,经济资源与需求矛盾的日益尖锐,纳税规模的扩大以及人们民主意识的提高,纳税人对提高公营部门支出的效益和明确支出经济责任的要求越来越高,许多国家开始关注资源使用的效率和效果。"公共性"的不断觉醒,要求审计部门应适应公共经济责任发展的需要,不仅对政府经济活动的合规性进行严格监督,而且要对政府经济活动的合理性、有效性实施监督。政府绩效审计正是在这种背景下产生并得到发展的。

简介：一、研究背景上市公司自愿性信息披露(VoluntaryInformationDisclosure),一方面是对强制性信息披露(MandatoryInformationDisclosure)的细化和深化,以提高强制性披露信息的可靠性和完整性;另一方面也是对强制性披露信息的补充和扩展,以求实现全方位、系统化披露信息。

简介：本文提出一种研究稳定性的新设想,首先讨论了n维非自治系统,获得了其平凡解一致稳定、渐近稳定和不稳定的充分条件,然后讨论了n=2时,二维非自治系统和时变系数线性系统的稳定性,获得其平凡解一致稳定,渐近稳定和不稳定的充分条件。

简介：在Nash点的基础上，提出一种新的平衡点s—Nash点．基于博弈的双方都追求比对方有更大的收益，计算出了二人二策略零和博弈的进化稳定策略．用进化博弈理论研究了分配制度的先进性，提出了符合分配制度先进性的分配率．在实践中具有长远意义．