Category:计算机逻辑

维基百科,自由的百科全书
跳转至: 导航搜索
頁面分類 > 人类社会 > 知識 > 科学 > 邏輯 > 计算机逻辑
頁面分類 > 人类社会 > 文化 > 哲学 > 邏輯 > 计算机逻辑
頁面分類 > 人文學科 > 哲学 > 邏輯 > 计算机逻辑

计算机逻辑数理逻辑的一个分支,它大致上是逻辑学计算机科学的交集。它包括:

  1. 以在计算机科学中的应用为导向的逻辑学研究。例如:
  2. 以逻辑形式自然表达的计算机科学基本概念。例如:
  3. 从关注纯逻辑学问题的计算理论推导出来的基本概念的应用。例如:
  4. 被当作应用计算机科学的逻辑工具。例如:

子分类

本分类有以下4个子分类,共有4个子分类。

L