可计算函数相关论文
最近，方程的计算机求解引起了人们的极大关注，从而推动了数学软件的蓬勃发展。但是，是否所有的方程都可以在计算机上实现求解呢?这是......
研究微分方程解的数值算法是数值分析的核心。用来解微分方程的数值技术主要包括有限差分法和有限元法，目标是通过这种数值技术找到......
精确求解偏微分方程在工程设计和其他计算科学等研究领域有着重要的现实应用。到目前为止,这一工作并没有得到圆满解决,仍存在一些......
可计算理论建立于二十世纪三十年代.可计算理论的研究对象有三个:(1)判定问题;(2)可计算函数;(3)计算复杂性.判定问题主要是判定方......
根据Ｂｌｕｍ，Ｓｈｕｂ和Ｓｍａｌｅ定义实数环上的计算模型中将递归和μ－算子限制在自然数上这一特点，提出了基于自然数上的递归定义和μ－算子。研究了在可允许序......
【正】 一九八二年,我参加了在北京召开的全国文科数理逻辑教学和科研讨论会。为促进我国逻辑学的现代化,会上由北大教授晏成书介......
非线性偏微分方程的求解作为非线性科学中的前沿研究课题和热点问题,极具挑战性。目前,虽然国内外众多学者已经提出和发展了许多求......
现代计算学科大家族中有许多分支,如并行计算、网格计算、高性能计算、情感计算、虚拟计算、移动计算、云计算、移动云计算……但......
<正> 逻辑悖论常常被简单地认为是思维不严格造成的,然而集合论和人工智能等研究表明:逻辑悖论出现的另一个重要原因是思维和推理......
