分類:計算機邏輯

頁面分類 > 人類社會 > 知識 > 科學 > 邏輯 > 計算機邏輯
頁面分類 > 人類社會 > 文化 > 哲學 > 邏輯 > 計算機邏輯
頁面分類 > 人文學科 > 哲學 > 邏輯 > 計算機邏輯

計算機邏輯數理邏輯的一個分支,它大致上是邏輯學計算機科學的交集。它包括:

  1. 以在計算機科學中的應用為導向的邏輯學研究。例如:
  2. 以邏輯形式自然表達的計算機科學基本概念。例如:
  3. 從關注純邏輯學問題的計算理論推導出來的基本概念的應用。例如:
  4. 被當作應用計算機科學的邏輯工具。例如:

子分類

此分類包含以下 8 個子分類,共 8 個。

C

L

Q