Primary links

2012秋季班大學部高年級群修課與研究所的選修課:Logic Foundation for Computer Science

我不太確定同學們在大學時候是否有修過電腦邏輯這一門課,這裡指的是logic program,涵蓋有propositional logic (calculus), predicate logic (calculus), logic programming。最後再到description logic。而不是指電腦架構與組織的邏輯線路設計。我未來將在下學期開設大學部高年級群修課「電腦科學邏輯基礎」。邏輯基礎知識在西方已經發展很久。因此已經出版的書汗牛充棟。切入點有可能從數學的角度,我記得我在大學時候修課的名稱叫做「理則學」。過去法律系及哲學系的學生可能都要修。同學們在高中時應該也有接觸一些這一方面的知識。這個logic基礎在電腦科學領域非常重要,有人甚至於把他類比成為電腦科學的微積分。因為做研究時多多少少多會用到它的技巧。它和電腦運算的複雜度也有相當大的關連性。我想在電腦科學其重要程性應該是不輸演算法或程式語言。這裡我找出兩本入門較少的書來供各位參考:

1. Springer, 2008 reprinted of 1989版的Logic for Computer Scientists, Uwe Schoning,
http://www.springerlink.com/content/978-0-8176-4762-9/contents/
推薦者是Moshe Y. Vardi (擔任過CACM雜誌總編輯)(http://en.wikipedia.org/wiki/Moshe_Y._Vardi )他在美國Rice Univ.開設的一門課就用這本書:http://www.cs.rice.edu/~vardi/comp409/

2. 逾2009年過世,專門研究defeasible reasoning的美國亞歷桑納大學教授John L. Pollock個人為出版的手稿:
Logic: An Introduction to the Formal Study of Reasoning
http://oscarhome.soc-sci.arizona.edu/ftp/Logic%20text.html

毓忠

Powered by Drupal 5.5 and copyright © 新趨勢網路科技實驗室 ( Emerging Network Technology Laboratory ), Some Rights Reserved
This work is licensed under a Creative Commons License.