定理机器证明

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

相关

  • 国家全世界已有30个国家拥有核电站。在这些国家中,有26个国家有建造更多其他核电站的计划,而有4个国家决定不再建造核电站。另外,有15个暂未拥有核电站的国家正在准备建造属于这些
  • Pioglitazone吡格列酮(Pioglitazone)是一种专门用于治疗2型糖尿病的口服药物,属于噻唑烷二酮类(活化受体调节剂)药物的一种。
  • 罗丹明B罗丹明B /ˈroʊdəmiːn/,又称玫瑰红B或玫瑰精B、盐基性桃红精(红花米),是一种合成化学物和一种染料。它常溶解在水中,作为示踪染料来确定水流动的速率和方向。罗丹明染料能发
  • 塞尔维亚塞尔维亚国家图书馆( 错误:{{lang-xx}}:文本有斜体标记(帮助),NLS)是塞尔维亚的国家图书馆,位于贝尔格莱德。这是塞尔维亚规模最大的图书馆和历史最久的机构。图书馆成立于1832年2月
  • 木栓质木栓质(英语:Suberin,亦称为软木脂或木栓素)是一种在高等植物中存在的蜡质。木栓质是木栓的主要组分,此命名是根据栓皮栎而来的。
  • 蟾蜍二烯羟酸内酯蟾蜍二烯羟酸内酯(英语:Bufadienolide,或称为蟾二烯羟酸内酯)是一种带有腺甾烷结构的化合物,其甾环17号位上的侧链带有2-吡喃酮基团,其衍生物包括有许多蟾蜍甾型的糖苷配基,是强心
  • CL-20六硝基六氮杂异伍兹烷2,4,6,8,10,12-六硝基-2,4,6,8,10,12-六氮杂异伍兹烷,简称六硝基六氮杂异伍兹烷、HNIW,俗称CL-20,是具有笼型多环硝胺结构的一个高能量密度化合物,分子式为
  • 俄勒冈条约俄勒冈条约(英语:Oregon Treaty)是英国和美国于1846年7月15日在华盛顿哥伦比亚特区签署的条约。该条约结束了长久以来美国和英属北美在如今美加边境西部的边境争议。1818年条约
  • 非类固醇抗发炎药非甾体消炎药(英语:Non-Steroidal Anti-Inflammatory Drug,縮寫作NSAID),也译作非类固醇抗炎药,是一类具有解热镇痛效果的药物,在施用较高剂量时也具有消炎作用。“非甾体”一词用
  • 菌属Genus (LSE:GNS)是英国的一家种畜公司。Genus是富时250指数成份股,总部位于贝辛斯托克。该公司有两个子公司,分别是生产种牛的ABS和生产种猪的PIC。Genus公司的前身是成立于193