計算機邏輯

計算機邏輯描述套用於計算機科學和人工智慧的邏輯。

基本介紹

• 中文名：計算機邏輯
• 套用：計算機科學和人工智慧
• 類型：邏輯
• 領域：計算機

它包括:

以在計算機科學中的套用為導向的邏輯學研究。例如: 組合子邏輯和抽象釋義;

以邏輯形式自然表達的計算機科學基本概念。例如: 程式語言的形式語義, Hoare 邏輯, 和邏輯編程;

計算理論的關注形式邏輯的基本問題的方面。例如: Curry-Howard對應和博弈語義;

被當作套用計算機科學的邏輯工具。例如:自動定理證明和模型效驗。

軟體(和硬體)開發的形式方法，比如在Z符號中使用謂詞邏輯。

基本數理邏輯比如命題邏輯和謂詞邏輯(通常聯合上集合論)的研究被認為是對任何大學計算機科學課程都非常重要的理論基礎。高階邏輯通常不教，但在定理證明工具如HOL中是很重要的。

有相關的一個年刊IEEE Symposium on Logic in Computer Science (LICS)。