熊明,1973年生於雲南昭通,華南師範大學教授、博士生導師。北京大學哲學學士、碩士,中山大學理學博士學位。1998年起,任教於廣州華南師範大學。2011—2012年,在麻省理工學院語言學與哲學係訪問研究。主要研究方嚮為符號邏輯,齣版專著1部,在國內外學術期刊上發錶論文20餘篇。成果曾獲金嶽霖學術奬、洪謙很好哲學論文奬、廣東省哲學社會科學奬、中國邏輯學會科研奬等奬項。
本書以公理化思想為主導,從亞裏士多德的三段論到哥德爾的不完全性定理,闡述傳統邏輯與現代邏輯的基本理論。全書以有效推理的形式化作為軸綫,分彆展開三段淪的自然演繹係統、命題邏輯和一階邏輯的解析樹以及自然演繹係統等公理化的係統,並介紹瞭哥德爾完傘性定理與不完全性定理及相關的重要成果。本書力求在不失嚴謹的條件下盡可能直觀地呈現理論的內容,在闡述抽象深奧的理論時,注重強調思想性,並力爭通俗易懂,深入淺齣。
評分
評分
評分
評分
可以。
评分可以。
评分可以。
评分可以。
评分可以。
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有