作 者:編者:王元|總主編:王元 著作 定 價:268 齣 版 社:科學齣版社 齣版日期:2017年09月01日 頁 數:1425 裝 幀:簡裝 ISBN:9787030533364 ●目錄
●第二版前言
●前言
●凡例
●一、數理邏輯與數學基礎 1
●1.1 模型論 1
●1.2 證明論 15
●1.3 集閤論 20
●1.4 遞歸論 41
●1.5 數學基礎 52
●二、數論 58
●2.1 初等數論 58
●2.2 丟番圖分析與數的幾何 63
●2.3 解析數論 68
●2.4 代數數論 78
●2.5 算法數論 91
●三、代數學 100
●3.1 域論 100
●3.2 多項式 104
●3.3 綫性代數 108
●部分目錄
內容簡介
本書是一部綜閤性的數學大辭典,涵蓋數理邏輯、數學基礎、數論、代數學、代數幾何、分析學、復分析、常微分方程、動力係統、偏微分方程、泛函分析、組閤數學、圖論、幾何學、拓撲學、微分幾何學、概率論、數理統計、計算數學、控製論、信息論、密碼學、運籌學等學科,以常用、基礎和重要的名詞術語為基本內容,提供簡短扼要的定義或概念解釋,並有適度展開。正文後附有數學發展曆史紀要、人名譯名對照錶等附錄,並設有便於檢索的外文索引、漢語拼音索引。 一 數理邏輯與數學基礎
符號體係[symbolism] 由一係列符號和它們的組閤規則構成的集閤體。它常被用來替代自然語言對某些知識體係進行描述、分析和研究。使用符號體係來研究數學能使邏輯分析和推導更加嚴格和清晰,並能避免自然語言中的一語多義現象。(執筆:金人麟校閱:史念東)
數理邏輯[mathematical logic] 又稱盈號邏輯。數學的一個分支。處l-數學和哲學(特彆是數學哲學)的交叉部分。數理邏輯一方麵使用形式邏輯的思想方法研究數學及數學推理的基本原則和規律;另一方麵使用數學工具來錶示和研究形式邏輯的性質和結構。包含瞭很多分支和研究方嚮,其中很主要的分支為模型論、等
數學大辭典(第2版) 下載 mobi epub pdf txt 電子書 格式