內容提要
公理集合引論我校邏輯與智慧型研究中心成立於2005年4月,在全國邏輯學界大力支持下,發展很快,已經於2006年12月批准為重慶市重點文科研究基地。為了進一步發揮中心的作用,充分調動中心專、兼職專家學者的科研積極性,我們決定編輯出版《邏輯與智慧型研究叢書》。該叢書包括學術專著、譯著、教材。如同邏輯與智慧型研究中心聘請了若干名校外的專家學者做兼職研究人員,是一個開放性的文科研究基地一樣,這套叢書也具有開放性,它面向全國學術界,吸納邏輯學、心理學、語言哲學、認知科學、計算機科學、人工智慧等學科的書稿,特別歡迎在新興學科、交叉學科、邊緣學科方面,在邏輯與智慧型研究方面的創新性成果。
我們堅信,在大家的共同努力下,叢書的質量和水平將不斷提高,從而為邏輯學的學科建設,為全面實施素質教育,實施全面的素質教育,為發展與繁榮哲學社會科學作出應有的貢獻!
目錄
第一章緒論
第二章集合
第一節集合的概述
第二節集合論的公式與集合的條件
第三章集合的基本運算
第一節子集
第二節偶集
第三節集合的運算
第四章關係集與函式集
第一節序偶
第二節笛卡爾積
第三節關係集
第四節等價關係集
第五節關係集的逆集與複合集
第六節函式集
第七節象和原象
第八節反函式集和複合函式集
第九節族
第五章集合的數學模型——自然數集
第一節引言
第二節自然數集
第三節皮亞諾公理體系
第四節自然數的順序
第五節最小數原理
第六節遞推原理
第七節自然數的和、積、冪
第八節第二歸納原理
第六章集合的等勢與受制
第七章序集
第八章基數與序數
參考書目
