【摘 要】
：
元数学是一门数理逻辑方面的学科。其主要研究对象是数学本身的矛盾性问题。但是，由于元数学的研究空间是在一个形式化的体系中。因此，它所采用的各种研究方法以及考虑问题的思
论文部分内容阅读
元数学是一门数理逻辑方面的学科。其主要研究对象是数学本身的矛盾性问题。但是，由于元数学的研究空间是在一个形式化的体系中。因此，它所采用的各种研究方法以及考虑问题的思维模式必定会给我们的计算机科学的发展带来一些启示。甚至在某些与形式逻辑相关的领域如计算机语言的设计、人工智能等方面。还会起到一定的指导作用。
其他文献
目的研究莫沙必利在消化性溃疡治疗中的合理应用价值。方法 96例消化性溃疡患者,按治疗方法不同分为基础组（45例）和分析组（51例）。基础组实施对症疗法,分析组实施对症疗法＋莫沙必
摘 要：随着无线通信技术的蓬勃发展，超宽带（Ultra-Wide Band）无线通信技术以其频带宽、低功耗等优点获得了高度重视，为了顺应这种发展趋势，本文介绍了一种小型共面波导UWB陷波天线，该天线工作频段覆盖2.2GHz-10.7GHz，在频段4.9GHz-5.9GHz具有陷波特性，实现了超宽带与WLAN的协同通信。 关键词：超宽带；小型；共面波导；陷波天线 中图分类号：TN 文献标识码：B
<正>从本世纪六十年代开始出现的声发射检测技术,经过二十多年的发展,已被广泛应用于材料性能和断裂机理研究、压力容器水压试验和实时监测等方面,成为无损检测技术式重要手
摘 要：实践中发现，现阶段部分机械制造公司的供方产品质量得不到保障，因为产品生产流程不规范，不能及时把握产品质量控制要点，因此导致了机械制造公司的供方产品质量不达标，并对企业发展造成了不利影响。因此要积极掌握供方产品质量管控技术，强化产品检验，从而促进机械制造公司供方产品质量控制工作的有序开展。 关键词：机械制造公司；供方产品；质量控制研究 供应商质量控制是机械制造公司产品质量的重要保障，为有
预制楼板顺板缝方向出现裂缝的原因主要是施工工艺不精、选用的嵌缝材料不当及施工后养护不认真造成的,提高施工工艺标准、改进楼板常规施工工艺及嵌缝施工的常规模式是减少
全国教育大会召开之后,今年全国教育工作的关键词就是两个字“落实”,要通过狠抓落实,为教育新发展新跨越开好局、起好步、奠好基。“落实”两字,说起容易做起难。怎样抓好落
利用高性能混凝土的优化设计方法以及活性掺和料双掺技术配置出C40自密实高性能混凝土.该混凝土的28 d免振抗压强度为40 MPa以上,坍落度大于240 mm,扩展度约为600mm,不离析沁
目的：了解成人过敏性紫癜的临床特点。方法：回顾性分析2005年5月至2010年6月在我院诊治的28例成人过敏性紫癜患者的临床和实验室资料。结果：本组病人以青壮年男性为主，冬、春季好
目的 观察过敏性鼻炎患者采用玉屏风颗粒与咪唑斯汀联合治疗的临床效果。方法 100例过敏性鼻炎患者,随机分为观察组和对照组,每组50例。对照组患者采用咪唑斯汀进行治疗,观察
一、一道观察想象题引起的思索 我们曾对18名大专学生进行了一次考核,考核的内容是:观察你面前的一只学生实验用的安培表,想象并画出它的电路图(有几种可能就画几种电路)。