* [[http://www.diku.dk/~neil/comp2book2007/book-whole.pdf|Computability and Complexity: From a Programming Perspective]]
====== 數理邏輯 ======
  * [[http://blog.csdn.net/on_1y/article/details/8727346#t18|命题逻辑中的语法与语义，可靠性与完备性]]
    * [[wp>Propositional logic]]
      * 命題邏輯
      * 命題 (proposition) 只能為真 (true)，或為假 (false)，二擇一。
    * [[wp>First-order logic]]
      * 一階邏輯
      * 相比於命題邏輯，一階邏輯可以使用 ∀ (any，任一) 和 ∃ (exist，存在) 量化變量。
    * 語法
      * 語法規則  
    * 語意
      * 真值表   
    * [[wp>Soundness]]
      * 可靠性
    * [[wp>Completeness (logic)|Completeness]]
      * 完備性
      * [[wp>Gödel's incompleteness theorems]]
        * 哥德爾不完備定理  

  * [[wp>Finite model theory]]
    * 有限模型理論
  * [[wp>Fixed point (mathematics)]]
====== 離散數學 ======
  * [[http://www.amazon.com/Discrete-Mathematics-Norman-L-Biggs/dp/0198507178|Discrete Mathematics - Norman L. Biggs]]
    * [[http://global.oup.com/booksites/content/9780198507185/|Biggs: Discrete Maths: 2e]]
    * 推薦
  * [[wp>Idempotence]]
    * [[http://lists.cs.uiuc.edu/pipermail/llvmdev/2011-October/044764.html|[LLVMdev] Idempotent intrinsics]] 
  * [[http://www.amazon.com/gp/product/0130652474/ref=pd_lpo_k2_dp_sr_1?pf_rd_p=1278548962&pf_rd_s=lpo-top-stripe-1&pf_rd_t=201&pf_rd_i=0073987948&pf_rd_m=ATVPDKIKX0DER&pf_rd_r=1J7GDJF3B06F803T8VKJ|Discrete Mathematics - Kenneth A. Ross]]
  * [[http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/|Mathematics for Computer Science]]
  * [[http://www.stanford.edu/class/cs103a/index.shtml|CS103A: Discrete Mathematics for Computer Science]]
  * [[http://www.cs.pitt.edu/~milos/courses/cs441/|CS 441  Discrete Mathematics for Computer Science]]
====== 組合數學 ======
====== 參考資料 ======
  * [[http://www.amazon.com/Logic-Computer-Science-Modelling-Reasoning/dp/052154310X|Logic in Computer Science: Modelling and Reasoning about Systems]]
    * [[http://www.cse.buffalo.edu/LRG/JevMri/E-Books/LogicInCS.pdf|Logic in Computer Science: Modelling and Reasoning about Systems]]