计算机逻辑

王朝百科·作者佚名  2009-12-27
窄屏简体版  字體: |||超大  

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

以在计算机科学中的应用为导向的逻辑学研究。例如: 组合子逻辑和抽象释义;

以逻辑形式自然表达的计算机科学基本概念。例如: 编程语言的形式语义, Hoare 逻辑, 和逻辑编程;

计算理论的关注形式逻辑的基本问题的方面。例如: Curry-Howard对应和博弈语义;

被当作应用计算机科学的逻辑工具。例如:自动定理证明和模型效验。

软件(和硬件)开发的形式方法,比如在Z符号中使用谓词逻辑。

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

有相关的一个年刊IEEESymposium on Logic in Computer Science (LICS)。

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有 導航