排序方式: 共有76条查询结果,搜索用时 46 毫秒
2.
3.
4.
随着远程教育的不断发展,远程作业技术的研究与开发被提到越来越重要的位置。对于理工科专业的基础课来讲,学生在作业中需要输入大量的数学表达式,这些数学表达式最终必须由计算机自动进行识别和批改。针对这种情况,提出了适合于计算机自动识别的数据结构以及特殊结构的数据逻辑关系等,在此基础上对作业系统中的公式编辑器进行了设计和开发。 相似文献
5.
6.
《Planning》2013,(9)
邓析是春秋末期一位杰出的辩者,同时也是一位颇受争议的辩者。古往今来,人们对于他的"两可"之说的讨论从未停止过。本文将尝试运用数理逻辑的观点分析邓析的"两可"思想,探寻其合理因素。 相似文献
7.
讨论正规模态逻辑S4的自动定理证明理论,给出了一个关于正规模态逻辑S4的表推演(Tableau)系统TS4,证明了该系统的可靠性与完备性。 相似文献
8.
元数学是一门数理逻辑方面的学科 ,其主要研究对象是数学本身的矛盾性问题 .但是 ,由于元数学的研究空间是在一个形式化的体系中 ,因此 ,它所采用的各种研究方法以及考虑问题的思维模式必定会给我们的计算机科学的发展带来一些启示 ,甚至在某些与形式逻辑相关的领域如计算机语言的设计、人工智能等方面 ,还会起到一定的指导作用 相似文献
9.
<正>图灵1912年6月23日出生于伦敦近郊的帕丁顿(Paddington)自治镇,13岁时进入舍本中学(SherbourneSchool),1931年进入剑桥的"国王学院"(King’sCollege)攻读数学。1935年,图灵开始对数理逻辑发生兴趣,以他的才华、执着和努力,在24岁时提出了一个 相似文献
10.