布林邏輯、一階邏輯與計算理論

離散數學

布林邏輯

邏輯推論

計算理論

資訊理論

圖形理論

正規語言

相關書籍

應用數學

微積分

離散數學

線性代數

機率統計

訊息

相關網站

參考文獻

最新修改

簡體版

English

  1. 嚴格的數學證明
  2. 0 與 1 形成的序列 (Zero-One Sequence)
  3. 真值表 (Truth Table)
  4. 卡諾圖 (Karnaugh Map)
  5. 邏輯三段論 (Syllogism, 亞里斯多德)
  6. 述詞邏輯 (Predicate Logic, Frege 弗雷格)
  7. 洪式推論 (Horn Clause & Reasoning)
  8. 一階邏輯 (First-Order Logic, Frege 弗雷格)
  9. 消解式推論 (Godel, Robinson)
  10. 哥德爾完備定理 (Godel Complete Theorem) — 一階邏輯是一致且完備的。
  11. 哥德爾不完備定理 (Godel Complete Theorem) — 包含數論的皮亞諾公設體系是不完備的。
  12. 數學歸納法 (Mathematical Induction)
  13. 對角證法 (Diagonalization Method)
  14. 整數有可數無限多個 (Countable Infinite)
  15. 實數有不可數無限多個 (Uncountable Infinite)
  16. 邏輯悖論 (Paradox)
  17. 停止問題 (Halting Problem)
  18. 有限狀態機 (Finite State Machine)
  19. 堆疊機 (Push-Down Automata)
  20. 圖靈機 (Turing Machine)

Facebook

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License