第3章：命題邏輯的公理化 第4章：謂詞邏輯的基本概念 第6章：謂詞邏輯的公理化
離散數學，是現代數學的一個重要分支，是計算機科學中基礎理論的核心課程.離散數學是隨著計算機科學的發展而逐步建立的.它形成於20世紀70年代初期，是一門新...
圖書簡介 目錄《離散數學(第2版)》，作者：於築國，由國防工業出版社於2008年出版， 本書主要介紹離散數學的基礎知識，全書共分7章，包括：命題邏輯、一階謂詞邏輯、集...
內容提要 編輯推薦 目錄）《Lattice Theory》（1948年第2版）中的問題31，64，103...王世強王世強，數學家。從事代數和數理邏輯方面的教學與研究。在格論和泛...中國共產黨。專於數理邏輯和代數，倡導模型論的研究。從計算機科學、多值邏輯...
人物生平 學術貢獻 人物年表 主要論著的形上學》中國時代經濟出版社2011.2第2版發展亞里士多德的工具論...，19世紀中葉以後發展起來的現代形式邏輯，通常稱為 數理邏輯，也稱為 符號邏輯...
釋義 發展 簡介 發展歷程 批判數理邏輯和數學基礎的著作。全書分 3卷，由劍橋大學出版社出版，第 1卷...1卷的第2版,增加了第2版導論和A、B、C3個附錄,共65頁。作者在導論...公理後對數學歸納法所發生的影響。1927年出了第2和第3卷的第 2版...
《數學原理》 正文 配圖 相關連線（Birkhoff）《Lattice Theory》（1948年第2版）中...代數及數理邏輯方面多種課程，並作了不少科研工作。他至今已培養了碩士18人...的重要側面。他在數學學習及科研中的主要興趣是在代數和數理邏輯方面，特別是...
人物生平 學術交流 學術貢獻 主要論著發生的影響。1927年出了第2和第3卷的第 2版。《數學原理》是數理邏輯...於1912年、第3卷於1913年先後出版。1925年出第1卷的第2版,增加了第2版導論和A、B、C3個附錄,共65頁。作者在導論中指出,新版不擬改動...
簡介 主要目的。《離散數學導論(第4版)》由六篇組成，分別是緒言、集合論、代數系統、圖論、數理邏輯和離散建模，並以離散建模為特色。《離散數學導論(第4版)》取材精練...11第十二章 數理邏輯的公理化理論12.1 公理化理論的基本思想12.2...
內容簡介 圖書目錄圖書信息出版社: 華南理工大學出版社; 第2版 (2010年1月... 重量: 540 g內容簡介《離散數學及套用(第2版)》是按教育部...計算機科研工作經驗編寫而成。主要內容包括數理邏輯、集合論、圖論、代數結構...
圖書信息 內容簡介 目錄