計算機數學 -- 邏輯推論

離散數學

布林邏輯

邏輯推論

計算理論

資訊理論

圖形理論

正規語言

相關書籍

應用數學

微積分

離散數學

線性代數

機率統計

訊息

相關網站

參考文獻

最新修改

簡體版

English

西洋文化中的數學,是建構在一種合理性的假設上面,但這種合理性並非是現實生活上會發生的那種合理性,而是思考上沒有矛盾的合理性。換句話說,所有的數學理論,必須建構精確的邏輯推論之上,因此邏輯學就成了數學當中最基本的核心之所在。

通常優秀的程式設計人員都有很強的邏輯推論與組織能力,但是卻不見得都會懂得邏輯推論背後隱藏的數學原理,為了說明邏輯與電腦的關係,筆者至做了兩份投影片,用來幫助程式設計人員快速的進入邏輯學的世界。其中第一份是有關基礎邏輯,特別是布林邏輯的部分,而第二份則是有關一種較強大的邏輯系統,稱為一階邏輯的介紹。

基礎邏輯學

投影片下載:Logic.ppt

一階邏輯

投影片下載:FirstOrderLogic.ppt

Facebook

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