人民幣定價:7000 元
定價
:NT$ 42000 元優惠價
:87 折 36540 元
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
相關商品
商品簡介
序
目次
商品簡介
包含《現代數學基礎叢書》共50本,一個書號,定價7000元,面向館配市場,裝箱銷售。本套叢書是《現代數學基礎叢書的》典藏版,包含了在不同時間段出版的數學基礎專著,使讀者能夠方便的閱讀和查閱。本書涉及書目均為數學基礎類,現在仍有很高的參考價值和市場前景
立足基礎,反映前沿,在學術界形成廣泛影響
研究生奉為經教材,青年學者視為良師益友
二百餘位超一流作者,精心編撰鑄就學術經典
超豪華的編委會陣容,精挑細選凝聚數學華章
序
數理邏輯是研究推理,特別是研究數學中的推理的科學,本書陳述數理邏輯的基礎性知識,包括邏輯演算(這裡是指命題邏輯和一階謂詞邏輯)的基本內容,這些內容構成數理邏輯各個分支(模型論、證明論和構造性數學、遞歸論、集合論)的共同的基礎。
數理邏輯的思想可以溯源到萊布尼茲D,而命題邏輯和一階謂詞邏輯的研究則從弗雷格開始。以後,經過皮爾斯,施羅德,皮亞諾,懷德海與羅素,勒文海姆,斯柯倫等的研究,特別是經過了希爾伯特與阿克曼、貝爾奈斯的研究和整理,謂詞邏輯的體係得以形成;而在哥德爾證明了一階邏輯的完全性定理之後,這個邏輯演算的體係可以說是最後得到完成,
邏輯演算是反映前提和結論之間的推理關係的形式系統。在數理邏輯的歷史發展中,構造了邏輯演算的重言式系統。在重言式系統中,以某些形式公理和形式推理規則刻劃重言式的全體,以重言式反映推理關係。
數理邏輯的思想可以溯源到萊布尼茲D,而命題邏輯和一階謂詞邏輯的研究則從弗雷格開始。以後,經過皮爾斯,施羅德,皮亞諾,懷德海與羅素,勒文海姆,斯柯倫等的研究,特別是經過了希爾伯特與阿克曼、貝爾奈斯的研究和整理,謂詞邏輯的體係得以形成;而在哥德爾證明了一階邏輯的完全性定理之後,這個邏輯演算的體係可以說是最後得到完成,
邏輯演算是反映前提和結論之間的推理關係的形式系統。在數理邏輯的歷史發展中,構造了邏輯演算的重言式系統。在重言式系統中,以某些形式公理和形式推理規則刻劃重言式的全體,以重言式反映推理關係。
目次
數理邏輯基礎(上冊)
數理邏輯基礎(下冊)
緊黎曼曲面引論
組合論(上冊)
組合論(下冊)
數理統計
多元統計分析引論
有限群構造(上冊)
有限群構造(下冊)
測度論基礎
分析概率論
微分方程定性理論
傅里葉積分算子理論及其應用
辛幾何引論
概率論基礎和隨機過程
算子代數
線性偏微分算子引論(上冊)
線性偏微分算子引論(下冊)
實用微分幾何引論
微分動力系統原理
線性代數群表示導論(上冊)
模型論基礎
遞歸論
擬共形映射及其在黎曼曲面論中的應甩
代數體函數與常微分方程
同調代數
近代調和分析方法及其應用
帶有時滯的動力系統的運動穩定性
代數拓撲與示性類
非線性發展方程
仿微分算子引論
公理集合論導引
解析數論基礎
二階橢圓型方程與橢圓型方程組
黎曼曲面
複變函數逼近論
Banach代數
隨機點過程及其應用
丟番圖逼近引論
線性整數規劃的數學基礎
單複變函數論中的幾個論題
复解析動力系統
組合矩陣論(第2版)
Banach空間中的非線性逼近理論
實分析導論
對稱性分岔理論基礎
Gel'fond-Bakar方法在丟番圖方程中的應用
隨機模型的密度演化方法
非線性偏微分複方程
複合算子理論
數理邏輯基礎(下冊)
緊黎曼曲面引論
組合論(上冊)
組合論(下冊)
數理統計
多元統計分析引論
有限群構造(上冊)
有限群構造(下冊)
測度論基礎
分析概率論
微分方程定性理論
傅里葉積分算子理論及其應用
辛幾何引論
概率論基礎和隨機過程
算子代數
線性偏微分算子引論(上冊)
線性偏微分算子引論(下冊)
實用微分幾何引論
微分動力系統原理
線性代數群表示導論(上冊)
模型論基礎
遞歸論
擬共形映射及其在黎曼曲面論中的應甩
代數體函數與常微分方程
同調代數
近代調和分析方法及其應用
帶有時滯的動力系統的運動穩定性
代數拓撲與示性類
非線性發展方程
仿微分算子引論
公理集合論導引
解析數論基礎
二階橢圓型方程與橢圓型方程組
黎曼曲面
複變函數逼近論
Banach代數
隨機點過程及其應用
丟番圖逼近引論
線性整數規劃的數學基礎
單複變函數論中的幾個論題
复解析動力系統
組合矩陣論(第2版)
Banach空間中的非線性逼近理論
實分析導論
對稱性分岔理論基礎
Gel'fond-Bakar方法在丟番圖方程中的應用
隨機模型的密度演化方法
非線性偏微分複方程
複合算子理論
主題書展
更多
主題書展
更多書展本週66折
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。
特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。
無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。
為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。