作 者:编者:王元|总主编:王元 著作 定 价: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 电子书 格式