查字典图书网
查字典图书网
内容简介：
基思•德夫林（Keith Devlin）
1947年出生于英国赫尔市，1972年在布里斯托尔大学获得数学博士学位，1987年移居美国，拥有英国和美国双重国籍。
他现为斯坦福大学人类–科学与技术高等研究院（H-STAR）联合创始人和执行主任、斯坦福大学Media X研究网络联合创始人和执行委员会委员、斯坦福大学语言与信息研究中心（CSLI）高级研究员。目前的研究主要关注于，运用不同的媒介向各种受众传授和传播数学。为此，他还创办了一家制作数学学习视频游戏的公司BrainQuake。
除了大量论文、专著和教科书，他还写作了十多部普及性读物，包括《数学：新的黄金时代》《笛卡儿，拜拜！》《数字缉凶》《数学犹聊天》《数学的语言》《千年难题》《数学天赋》《数字人：斐波那契的兔子》等。
他还长期为美国数学学会撰写专栏“德夫林的视角”（Devlin's Angle），并在
Coursera上开辟了热门课程《数学思维导论》。
作者简介：
基思•德夫林（Keith Devlin）
1947年出生于英国赫尔市，1972年在布里斯托尔大学获得数学博士学位，1987年移居美国，拥有英国和美国双重国籍。
他现为斯坦福大学人类–科学与技术高等研究院（H-STAR）联合创始人和执行主任、斯坦福大学Media X研究网络联合创始人和执行委员会委员、斯坦福大学语言与信息研究中心（CSLI）高级研究员。目前的研究主要关注于，运用不同的媒介向各种受众传授和传播数学。为此，他还创办了一家制作数学学习视频游戏的公司BrainQuake。
除了大量论文、专著和教科书，他还写作了十多部普及性读物，包括《数学：新的黄金时代》《笛卡儿，拜拜！》《数字缉凶》《数学犹聊天》《数学的语言》《千年难题》《数学天赋》《数字人：斐波那契的兔子》等。
他还长期为美国数学学会撰写专栏“德夫林的视角”（Devlin's Angle），并在
Coursera上开辟了热门课程《数学思维导论》。
目录：
导论 本书是讲什么的？1
第1章 什么是数学？9
1.1 不止是算术10
1.2 数学符号13
1.3 现代大学数学15
1.4 你为什么需要学这些？19
第2章 语言的精确化23
2.1 数学陈述24
2.2 逻辑联结词“ 与”、“ 或”、“ 非”31
2.3 蕴涵40
2.4 量词58
第3章 证明79
3.1 什么是证明？80
3.2 反证法82
3.3 证明条件式86
3.4 证明含量词的陈述90
3.5 归纳证明93
第4章 证明一些关于数的结论103
4.1 整数103
4.2 实数114
4.3 完备性118
4.4 序列123
附录 集合论129
译后记137
索引139
文章试读：...
(查看全部试读)