![](http://img.alicdn.com/imgextra/i1/2455124912/O1CN01oQN9w71m9k1jARVWR_!!0-item_pic.jpg)
ISBN編號:9787030533364 書名:數學大辭典(第二版) 數學大辭典(第二版) 作 代碼:268 開本:16開 是否是套裝:否 出版社名稱:科學出版社
" 數學大辭典(第2版) 作 者: 編|總主 著作 定 價: 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-數學和哲學(特別是數學哲學)的交叉部分。數理邏輯一方面使用形式邏輯的思想方法研究數學及數學推理的基本原則和規律;另一方面使用數學工具來表示和研究形式邏輯的性質和結構。包含了很多分支和研究方向,其中很主要的分支為模型論、...... "![](http://img.alicdn.com/imgextra/i1/2455124912/O1CN01oQN9w71m9k1jARVWR_!!0-item_pic.jpg)
|