與通常的公理集會論著作不同,本書在引人形式係統之前首先直觀而又嚴謹地闡述瞭類、集閤、序數、基數以及勢的概念,為沒有受過邏輯訓練的讀者掌握集閤論的基本概念提供瞭方便。第六章引進瞭集閤論形式語言和ZF形式公理係統,對直觀集閤論中的概念和公理進行瞭形式化處理,並在此基礎上建立瞭若乾邏輯定理。以後各章介紹瞭公理集會論中的主要方法和結果,以及作者本人的研究成果。
本書可供大專院校數學係學生、教師以
發表於2024-12-27
公理集閤論導引 2024 pdf epub mobi 電子書 下載
圖書標籤: 集閤論 數學 數理邏輯 數學基礎 邏輯 邏輯學 形式係統 離散數學
國內最專業的瞭吧
評分國內最專業的瞭吧
評分早期很全麵的
評分有點吃力,先放一邊
評分概念介紹很好,證明細節有些含混
公理集閤論導引 2024 pdf epub mobi 電子書 下載