首页 >
定理机器证明
✍ dations ◷ 2025-04-25 19:10:40 #定理机器证明
自动化定理证明(Automated theorem proving,简称ATP)目前是自动推理(Automated reasoning,简称AR)体系中发展最好的部分,它的目的是为使用电子计算机程序来进行数学定理的证明。对于不同的公理系统,它能够推论出一个定理在此系统下是正确的,还是不可证明的,或者错误的。
相关
- 鬼笔科Clathraceae Chevall. 1826 Lysuraceae Corda 1842鬼笔科(英文:Phallaceae)是鬼笔目下两个科的其中一个,其菌盖不成伞状。多具有臭味以吸引苍蝇助其繁殖。鬼笔科多半出现于热带
- 采法特采法特 (希伯来语: צְפַת;阿拉伯语: صفد)是以色列北部城市。根据以色列中央统计局资料,2003年末该市人口为26,600人。采法特和耶路撒冷、提比里亚和希布伦一起被列为犹
- Δsubc/subiHsubm/subsupso/s标准摩尔燃烧焓是指一摩尔物质在标准状况下完全燃烧时的反应焓变,用符号Δc HmO表示,其中下标“c”表示燃烧(combustion),其单位为kJ/mol(又作kJ·mol-1)。如标准状况下,甲烷完全燃
- 希腊地震列表希腊地震列表包含希腊历史上有记录的主要地震。爱琴文明 · 迈锡尼时期 · 黑暗时期 · 古风时期 · 古典时期 · 希腊化时代 · 罗马领 · 拜占庭领 · 十字军占 ·
- 孙鸿烈孙鸿烈(1932年1月31日-),中国土壤地理与土地资源学家。出生于北京。籍贯河南濮阳。1954年北京农业大学土壤农化系毕业。1960年中国科学院沈阳林业土壤研究所研究生毕业。1987年
- 炒饭炒饭,是在炒锅或煎锅中炒熟的米饭,通常与鸡蛋、蔬菜、海鲜或肉类等其他食材混合。常见的蛋炒饭是一种美拉德反应,蛋液与米饭表面在加热时产生焦糖化反应,米粒表面会变得较硬且易
- 北大武山北大武山(排湾语:Kavulungan)位于台湾的屏东县雾台乡好茶村、泰武乡泰武村与台东县金峰乡嘉兰村交界,也是大武地垒的最高峰,标高3,092米,一般人习称“大武山”,为中央山脉南段最高
- 萨拉戈萨萨拉戈萨(西班牙语:Zaragoza;IPA:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium",
- 氯化氨基汞氯化氨基汞是一种无机化合物,化学式为HgNH2Cl。它由折线型的链状聚合物(HgNH2)n和起着平衡电荷作用的氯离子构成。它可以由氨与氯化汞反应制得。此外氨还能将它转化成米隆碱(M
- 建阳话建阳话(闽北语:.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif} 建陽