计算机逻辑

✍ dations ◷ 2025-06-07 12:47:58 #计算机逻辑

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

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

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

相关

  • 志留纪志留纪(Silurian,符号S)是地质时代表古生代的第三个纪,约开始于4.44亿年前,结束于4.19亿年前。志留系一名源于威尔士地区一个古老部族志留人(英语:Silures)。1835年,英国R.I.莫企逊,在
  • 可兰经《古兰经》(阿拉伯语:اَلْقُرآن‎,al-qurʾān,字面上解作“诵读”)是伊斯兰教中最重要的经典。伊斯兰教信徒(穆斯林)相信《古兰经》是真主安拉的启示,它被广泛认为是最优
  • 熊大闰熊大闰(1938年9月16日-),中国天文学家。生于江西吉安,籍贯江西南昌。1962年毕业于北京大学地球物理系。1991年当选为中国科学院学部委员(院士)。中国科学院紫金山天文台研究员,国
  • 托马斯·赫尔维格汤马士·赫尔维格(丹麦语:Thomas Helveg,1971年6月24日-)是一名已退役的丹麦足球员,主要司职右后卫,亦曾担任防守中场。现为丹麦超级联赛球会欧登塞的助教。在足球生涯的高峰期,赫尔
  • 进化恒星演化是恒星随着时间的推移而变化的过程。根据恒星的质量,它的寿命可以从质量最大恒星的几百万年到质量最小恒星的万亿年,这是比宇宙年龄还要长许多的时间。这张表格显示恒
  • 总爷国小台南县麻豆镇总爷国民小学,简称总爷国小,是台湾台南县麻豆镇曾经存在过的一所国民小学。于民国97年(2008年)因为台南县政府要扩建南瀛总爷艺文中心的范围,总爷国小遭裁撤,并入台
  • 猪急性腹泻综合征冠状病毒猪急性腹泻综合征冠状病毒(学名:Swine acute diarrhea syndrome coronavirus),简称SADS冠状病毒(SADS-CoV),又称猪肠道甲型冠状病毒(Porcine enteric alphacoronavirus),是甲型冠状病
  • 钟观光锺观光(1868年9月19日-1940年9月30日),字宪鬯,出生于浙江镇海。中国著名植物学家。他曾任湖南高等师范学校、北京大学和浙江大学副教授,及北平研究院副研究员;自1918年起,先后调查中
  • 通婚异族通婚(英文:Interracial marriage)是指不同民族或种族个体间的婚姻,有混血儿的一系列现象。异族通婚的成因有很多,而大规模的异族通婚则成为种族混合(英语:Miscegenation),往往对
  • 吴茵吴茵(1909年8月2日-1991年4月10日),女,江苏吴县人,生于天津,中国电影与话剧演员,她一生共演出了45部电影和48个舞台剧。以扮演老年妇女形象著称,被誉为中国影坛“第一老太婆”。吴茵1