【摘 要】
：
一、定理机器证明思想的产生与发展所谓定理的机器证明，是指使用计算机证明定理的成立，即把人证明定理的过程，通过一套符号体系加以形式化，变成一系列在计算机上自动实现的符号
论文部分内容阅读
一、定理机器证明思想的产生与发展所谓定理的机器证明，是指使用计算机证明定理的成立，即把人证明定理的过程，通过一套符号体系加以形式化，变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明，是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程：公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出，并直接导源于他的定理证明机械化设想。到19世纪末，希尔伯特等
其他文献
目的 研究芍药苷(paeoniflorin,PA)对糖尿病创面愈合作用及作用机制。方法 采用糖尿病小鼠全层皮肤切除夹板模型,HE染色及Masson染色观察创面组织形态改变;免疫荧光法检测血
众所周知,伤湿止痛膏适用于风湿性关节痛、肌肉酸痛、轻度挫伤扭伤等.此外,它还有另外13种用途:……
我国恢复关贸总协定缔约国地位的进程在国内外引起强烈的反响。有的乐观,认为中国一旦"入关",国内市场就同国际市场形成一体,国外物美价廉的商品将会源源不断而来,从而引起国
有位临产期的妇女某夜做了一个梦,梦见自己坐在潮湿的土地上,醒来一看,发现自己"尿床"了.她感到十分奇怪,因为她从无尿床史.换了床单再睡,却发现这一夜"小便"次数比平时明显
康奇胶囊以甘草、枸杞等中药为原料,采用高新科技方法,运用大型现代化仪器及当代生物学技术提取多糖,功效成分达40%以上.其原料品质以DNA标记技术进行监测,保证了原料品质的
保管好药品是家庭用药的重要部分.家庭备药往往由于保管不得法,以致变质失效.如果病人服了这样的药品,不仅不能治好病,反而有害健康.因此,家庭备药应当是品种少、数量小,并应
白带病是妇女的一种常见病、多发病,直接危害广大妇女的身心健康.特别是非特异性阴道炎病因复杂,诊断较为困难,治疗效果也不佳.
我国《劳动法》等法律法规对于公司高管和一般劳动者未加以区分实行无差别的适用。实践中公司高管适用劳动法在工时、工资、参与工会、经济补偿金等方面存在困境,这主要是忽
<正> 本刊94年第5期刊登了《百分数解惑一例》一文.文中认为下面的解法是错误的:做一项工作,甲要4小时完成,乙要5小时完成.甲的工效比乙的工效高百分之几?
与西方感性理性两分,理性是道德根据的一般看法不同,孔子对于道德根据不持单一的理解,而是既讲智性,又讲仁性。智性即孔子关于学习的思想,大致相当于西方道德哲学的理性(道德