【摘 要】
：
<正> §1 引言递归论是数理逻辑的一个分枝。递归论的研究是由算法的研究开始的,早在古希腊时就有了算法的概念,并且开始寻求算法,欧几里德算法就是那个时代的产物。到十六世
论文部分内容阅读
<正> §1 引言递归论是数理逻辑的一个分枝。递归论的研究是由算法的研究开始的,早在古希腊时就有了算法的概念,并且开始寻求算法,欧几里德算法就是那个时代的产物。到十六世纪代数里已经有了大量的算法成果,于是人们产生了一种错觉,以为一切类的问题都可以找出它们的统一的算法来。为了把代数里算法研究的成果应用于几何之中,笛卡儿引进了座标系。德国数学家莱布尼兹受到当时已有的算法成果的鼓舞,开始设想要搞一
其他文献
几千年来,“修身为本”的思想是中国传统伦理文化的核心,历代思想家在修身的目的、修身的境界、修身的内容、修身的方法等方面都提出了许多有价值的思想。党的十六大以来,胡
<正>层出不穷的监狱腐败案证明,“有法不依、执法不严”,再加上“一把手意志”和监督真空,使以“特殊和神秘”自居的监管场所成为司法腐败的高发区。2006年8月,四川省检察院
目前我国正处于由粗放增长型逐渐向质量效率增长型的高速发展期,公共设施的均衡供给是提升城市生活质量,促进社会公平的重要保障。市政管线设施作为城市赖以生存和发展的公共
通过对质量管理体系运行与日常质量管理活动游离的原因进行分析,提出要着重从领导作用、体系文件、全员参与、监督检查、持续改进及按章办事等方面进行防治。
纵观近几年的高考数学,结合笔者多年的高三教学体会,发现中档题成为学生间成绩差异的一道分水岭.因此,如何引导学生突破中档题也就成了一线教师特别关注的一个问题.如2017年
伴随着虚拟现实应用的逐渐深入,人们对于场景的复杂度和真实感要求也越来越高,当前基于传统技术的仿真模拟已经不能满足复杂环境下可视化、真三维的需求,人们更希望构建一个具有逼真可视化效果、能够与虚拟场景交互,具备构想创造性的虚拟仿真环境。因此,复杂环境下的三维虚拟交互系统研究与应用已经成为虚拟仿真技术研究的热点。本文以校园三维虚拟交互系统设计与开发作为主线,以南昌航空大学校园真实场景为研究实例,以3ds
第二次世界大战之后,美苏在惊叹核武器强大破坏力的同时,为了争夺世界霸主地位疯狂地展开了核军备竞赛,1951-1963年期间,进行了成百上千次的核试验,对世界和平造成了巨大威胁
<正>茯苓是我国的名特产,用茯苓加工成的食品对人体具有多种保健功能,深受广大消费者青睐。现介绍几种茯苓食品的加工技术。 茯苓夹饼 1.配料 优质淀粉5公斤、富强粉1.25公
脑出血（intracerebral hemorrhage ICH）是指原发性脑实质出血,具有较高的病死率和致残率,约占所有脑卒中的15%[1]。目前在脑出血的治疗上仍缺乏有效的治疗方法,研究ICH后的神经
本文讨论了一种带约束的多态类型系统，引入了约束类型．约束与全称量化的结合使得参数化多态函数的应用更安全，同时也为重载的表示和实现提供了一个新的途径，提高了类型表示的抽象