數理邏輯導引 ![](/liaode/images/fjie0.gif)
市場價:1780元 優惠價:1490元
立刻節省:290元
《數理邏輯導引》是作者在新加坡國立大學、北京大學和中國科學院大學為本科高年級學生開設的數理邏輯選修課和在新加坡國立大學、中國科學院數學與繫統科學研究院為研究生開設的專業課程所寫講義基礎上整理出來的結果。《數理邏輯導引》主要由一階邏輯的核心內容和有關數的邏輯探索和分析兩大部分組成,其中包括完備性、緊致性、同質縮小、型省略等基本定理;有關數的經典理論的接近性和可定義性分析;哥德爾不接近性定理、丘奇不可判定性定理、塔爾斯基自然數標準模型真相不可定義性定理以及巴黎-哈靈頓不接近性定理。
|