電腦邏輯
外觀
- 以在計算機科學中的應用為導向的邏輯學研究。例如:組合子邏輯和抽象釋義;
- 以邏輯形式自然表達的計算機科學基本概念。例如:程式語言的形式語義,霍爾邏輯和邏輯編程;
- 計算理論的關注形式邏輯的基本問題的方面。例如:Curry-Howard對應和博弈語義;
- 被當作應用計算機科學的邏輯工具。例如:自動定理證明和模型效驗。
- 軟件(和硬件)開發的形式方法,比如在Z符號中使用謂詞邏輯。
基本數理邏輯比如命題邏輯和謂詞邏輯(通常聯合上集合論)的研究被認為是對任何大學計算機科學課程都非常重要的理論基礎。高階邏輯通常不教,但在定理證明工具如HOL中是很重要的。
有相關的一個年刊IEEE Symposium on Logic in Computer Science(LICS)。
書籍
[編輯]- Mathematical Logic for Computer Scienceby Mordechai Ben-Ari. Springer-Verlag, 2nd edition, 2003. ISBN 1852333197.
- Logic in Computer Science: Modelling and Reasoning about Systems(頁面存檔備份,存於互聯網檔案館) by Michael Huth, Mark Ryan. Cambridge University Press, 2nd edition, 2004. ISBN 052154310X.
- Logic for Mathematics and Computer Science by Stanley N. Burris. Prentice Hall, 1997. ISBN 0132859742.
外部連結
[編輯]- Article on Logic and Artificial Intelligence(頁面存檔備份,存於互聯網檔案館) at the Stanford Encyclopedia of Philosophy.
- IEEE Symposium on Logic in Computer Science(LICS)
這是一篇與電腦相關的小作品。您可以透過編輯或修訂擴充其內容。 |