计算机逻辑

✍ dations ◷ 2025-01-31 11:28:52 #计算机逻辑

计算机逻辑描述应用于计算机科学和人工智能的逻辑。它包括:

基本数理逻辑比如命题逻辑和谓词逻辑(通常联合上集合论)的研究被认为是对任何大学计算机科学课程都非常重要的理论基础。高阶逻辑通常不教,但在定理证明工具如HOL中是很重要的。

有相关的一个年刊(LICS)。

相关

  • UniProtUniProt(联合的蛋白)是一个全面的,高质量的,免费使用的蛋白质序列与功能信息数据库,许多内容来自基因组计划,它还包含了大量来自研究文献的关于蛋白的生物学功能信息。UniProt共同
  • VIIIBbr /8固体、 液体、 气体8族元素(又称铁族元素)是指元素周期表上第8族的元素,位于7族元素和9族元素之间,在过去和9族元素及10族元素合称为ⅧB族元素。8族元素包含铁(Fe)、钌(Ru)、锇(Os)、
  • 石松目石松目(学名:Lycopodiales)是石松植物门的一目,为草本植物,茎二叉分歧,叶极小,具单脉螺旋状排列。孢子囊生于孢子叶腋。其历史可追溯到古生代。本目现存有石松属。石松属为世界性属
  • 罗杰瑞罗杰瑞(Jerry Lee Norman,1936年7月16日-2012年7月7日),美国汉学家。早年在加州大学伯克利分校师从赵元任、Yakov Malkiel和Murray Emeneau。1965年和Leo Chen合写《福州方言引论
  • 驯养业驯化(英语:Domestication)是指一种生物的成长与生殖逐渐受另一种生物利用与掌控的过程,例如人类栽培各种农作物、畜牧,以及切叶蚁驯养真菌。人类驯化动植物的目的主要包括作为食
  • 蕾切尔·卡森蕾切尔·路易丝·卡森(英语:Rachel Louise Carson,1907年5月27日-1964年4月14日),美国海洋生物学家,其著作《寂静的春天》(Silent Spring)引发了美国以至于全世界的环境保护事业。卡
  • 奥陶系奥陶纪(英语:Ordovician,发音: /ɔːrdəˈvɪʃən/,符号O)是地质时代中显生宙古生代的第二个纪,约开始于4.85亿年前,结束于4.43亿年前。“奥陶”(Ordovices)之名来自英国威尔士一古
  • 何和礼何和礼(满语:ᡥᠣᡥᠣᡵᡳ,转写:Hohori;1561年-1624年),又称何和里、何和哩,明朝文献记载为好好里,董鄂氏人,是清太祖的开国五大臣之一。辽东董鄂(今辽宁桓仁)人。其先祖原姓觉罗氏,从东海
  • 王惠钧王惠钧(英语:Andrew H.-J. Wang,1945年11月29日-),台湾生物化学家,中央研究院院士、发展中世界科学院院士,现为中央研究院副院长、台湾大学生化科学研究所特聘研究讲座。结构生物学
  • 代谢工程学代谢工程学是指利用基因工程或是分子生物学技术,将生体内之代谢途径改变,通常改变生体内化学反应之酶。它来自于发酵学。代谢工程技术目前以微生物利用为主,改变工业微生物之代