電腦邏輯

維基百科,自由的百科全書

計算機邏輯描述應用於計算機科學人工智能邏輯。它包括:

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

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

書籍[編輯]

外部連結[編輯]