內容簡介
這是一本面向計算機科學與技術類專業和數學專業,全面介紹康托集合論基礎知識的教材。
本書基於計算機科學與技術一級學科人纔培養科學理論,按照計算機科學與技術學科教材繫列一體化設計的綱要,全面介紹了康托素樸集合論的基本內容,包括集合的基本概念和基本運算、映射與關繫、基數理論、序數理論和素樸集合論的公理化發展。該書按照知識發現的邏輯及其歷史脈絡來組織有關內容,並將數學學科方法論的有關內容融入到教材中,突出數學思想與方法的介紹。同時,盡可能揭示出集合論與計算機科學與技術之間的聯繫,使學生感到學有所用。這樣做,不但有助於提高學生學習的興趣,調動其學習的積極性,培養學生的創新能力,而且有利於使學生的知識融會貫通。
該書可作為計算機科學與技術類專業和數學專業“集合論”課程的教材,也可供高等學校的教師、學生和廣大工程技術人員學習集合論時參考。基於計算機科學與技術一級學科人纔培養科學理論