-
計算機邏輯
鎖定
計算機邏輯描述應用於
計算機科學和
人工智能的邏輯,是以在計算機科學中的應用為導向的邏輯學研究。
- 中文名
-
計算機邏輯
- 應 用
-
計算機科學和人工智能
- 類 型
-
邏輯
- 領 域
-
計算機
它包括:
以邏輯形式自然表達的計算機科學基本概念。例如: 編程語言的形式語義, Hoare 邏輯, 和
邏輯編程;
計算理論的關注形式邏輯的基本問題的方面。例如: Curry-Howard對應和
博弈語義;
軟件(和硬件)開發的形式方法,比如在Z符號中使用
謂詞邏輯。
有相關的一個年刊IEEE Symposium on Logic in Computer Science (LICS)。