計算機邏輯Introduction


計算機邏輯描述應用於計算機科學人工智能邏輯。它包括:

基本數理邏輯比如命題邏輯謂詞邏輯(通常聯合上集合論)的研究被認為是對任何大學計算機科學課程都非常重要的理論基礎。高階邏輯通常不教,但在定理證明工具如HOL中是很重要的(Wikipedia,計算機邏輯詞條)。

之所以說邏輯在計算機科學的學習中占有很重要的成分,是因為在大學中,傳統上,他們專注於微積分,線性代數和微分方程,但在計算機科學領域,邏輯,組合和離散數學更為合適。其中,邏輯特別重要,因為它是軟件的數學基礎:它能夠用於形式化編程語言的語義和程序的規范,並進行驗證

程序的正確性。(Huth&Ryan,2004)

這里所說的邏輯常規上由三部分組成Syntax, Semantics, Proof theory

而邏輯的種類又分為 propositional logic命題邏輯,first-order logic一階邏輯, temporal logic時間邏輯,這些所有數學邏輯,他們在計算機科學領域的最重要的應用是程序驗證。



注意!

本站转载的文章为个人学习借鉴使用,本站对版权不负任何法律责任。如果侵犯了您的隐私权益,请联系我们删除。



 
粤ICP备14056181号  © 2014-2020 ITdaan.com