定理机器证明

✍ dations ◷ 2025-06-28 15:55:09 #定理机器证明
自动化定理证明(Automated theorem proving,简称ATP)目前是自动推理(Automated reasoning,简称AR)体系中发展最好的部分,它的目的是为使用电子计算机程序来进行数学定理的证明。对于不同的公理系统,它能够推论出一个定理在此系统下是正确的,还是不可证明的,或者错误的。

相关

  • 淋巴管炎症淋巴管发炎(英语:lymphangitis)指的是病灶处到远端的淋巴系统之间,淋巴管的发炎或感染。最常见的病因是化脓链球菌(英语:Streptococcus pyogenes) (A组 链球菌),其次为申克氏孢子丝菌
  • 马桶马桶,又称便桶、粪桶、恭桶、虎子、木马子等,是指承接粪便、尿溺的厕所用具。马桶的使用方式为坐式,与蹲坑式厕所(也称为蹲式马桶)相对。尿罐、尿壶、尿盆等则仅限于承接尿液。广
  • 月经过多经血过多(Menorrhagia)描述女性在月经期间经血量过多的情形,属于功能失调性子宫出血的一种。非正常的子宫出血可能肇因于生殖道结构异常、无排卵(英语:anovulation)、出血疾病、激
  • 头发角蛋白发角蛋白或毛发角蛋白(英语:Hair keratin)是一类在头发和指甲中发现的角蛋白。存在两类毛发角蛋白:
  • 澳门本文列出澳门的主要节日,包括放假和不放假的纪念日、节日,以及常见的民俗节日。澳门的节日既有中国传统的农历新年、土地诞、端午节等节庆,也有复活节、花地玛圣像巡游、圣诞节
  • 太阳辐射太阳辐射(英语:Solar radiation)指太阳从核聚变所产生的能量,经由电磁波传递到各地的辐射能。太阳辐射的光学频谱接近温度5800K的黑体辐射。大约有一半的频谱是电磁波谱中的可见
  • 前9千年前9千纪,即公元前8000至9000年之间的一千年,是公元前第9个千年,新石器时代的开端。农业在新月沃土扩展,陶器广为传播。沿着食盐和燧石的贸易路线,兴起了耶利哥等更大规模的定居点
  • 隔膜泵隔膜泵(Diaphragm pump或Membrane pump),又称为气动隔膜泵(pneumatic diaphragm pump)或气动双隔膜泵(Air Operated Double Diaphragm Pump)。往复泵的一种,用弹性薄膜,耐腐蚀橡胶或
  • 伦敦爆炸案伦敦七七爆炸案,是指于2005年7月7日早上交通高峰时间在英国伦敦连环发生至少7次爆炸案,数个伦敦地铁站及数架巴士爆炸,共造成56人死亡(包括四名实施爆炸者),伤者逾百。英国政府和
  • 吉兰丹吉兰丹州(马来语:Kelantan)是马来西亚在西马北部的一个州,首府为哥打峇鲁(Kota Bharu)。该州北接泰国,东北为南中国海,西接霹雳州,南临彭亨州,东南为登嘉楼州。吉兰丹州号为Darul Naim