熱門搜尋
【我要重新搜尋】
您輸入的關鍵字: 李濤,張岩,劉峰(主編)
搜尋結果共 1 筆, 頁數 1 / 1
呈現:
主要側重於邏輯演算,即命題邏輯演算和一階謂詞邏輯演算,這些內容是構成數理邏輯其他分支的共同基礎。全書共分5章,分別介紹了數理邏輯的研究對象、研究內容和研究方法;命題邏輯的基本概念、命題邏輯演算形式系統... more