具体数学

✍ dations ◷ 2025-06-16 21:04:57 #1988年出版书籍,数学书籍,高德纳的作品,计算机科学与技术书籍,Addison-Wesley出版物

《具体数学:计算机科学中的一块基石》(Concrete Mathematics: A Foundation for Computer Science),简称《具体数学》,是由葛立恒、高德纳及欧伦·帕塔许尼克共同编著的一本被许多信息科系广泛使用的数学教科书。此书讲解了许多计算机科学中用到的数学知识及技巧,并特别着墨于算法分析方面。

根据此书原序,书名Concrete Mathematics中的Concrete系由连续(CONtinuous)配上离散(disCRETE)所组成的词,真正含意并非字面所翻译的“具体”,而是指该书讲述的数学实质上就是由连续数学与离散数学共同构成的。特别地,微积分在此书的讲解及习题常被用到。另外,concrete mathematics也意味着对于抽象数学(abstract mathematics)的补充。

此书系创建在高德纳于1970年代在斯坦福大学的上课讲义。此书实质上是对Knuth的名著《计算机程序设计艺术》(The Art of Computer Programming)一书中预备数学知识的扩展。因此,一些读者将本书作为“计算机编程设计艺术”的入门。

本书写作风格不十分严肃正式,行文带有幽默风格。

如同高德纳的其他书籍,高德纳鼓励读者抓错,无论是学术性的、历史性的、打字的或政治方面的错误,抓到错误者高德纳会给予奖赏。

此书推广了许多数学记号,诸如:艾佛森括号、下取整符号与上取整符号、以及用阶乘幂来表示连续递增(或递减)数列的连乘积。

高德纳将《具体数学》一书(第一版)作为AMS Euler字体与Concrete Roman字体的实验。

相关

  • 通用转录因子通用转录因子(英语:General transcription factor,GTFs)是最基本的转录因子,为一群转录因子蛋白,键结于DNA的特殊位置以活化转录。GTFs、RNA聚合酶和辅活化子再加上蛋白质组成了转
  • 标准状况标准状况(英语:standard temperature and pressure, STP,标准温度与标准压力),简称“标况”。由于地表各处的温度、压强皆不同,即使是同一地点的温度压强也随测量时间不同而相异,因
  • XG血型系统Xg血型系统等位基因位于第二十三对染色体,也就是性染色体中的X染色体。自公元1962年由J.D.曼等用一个多次输血的病人血清时发现一种红细胞抗原Xg2。此抗原由X短臂上的Xg等位
  • ɱ唇齿鼻音是辅音的一种,用于一些口语中。唇齿鼻音在国际音标的符号是⟨ɱ⟩,X-SAMPA音标的符号则是⟨F⟩。国际音标中的⟨ɱ⟩符号是在小楷拉丁字母⟨m⟩的右下方加上一个向左
  • 各国死刑的使用情况阿富汗(英语:Capital punishment in Afghanistan) · 巴哈马(英语:Capital punishment in the Bahamas) · 白俄罗斯 · 博茨瓦纳 · 中华人民共和国(罪名 · 死刑犯) · 古巴(
  • 超几何级数在数学中,高斯超几何函数或普通超几何函数2F1(a,b;c;z)是一个用超几何级数定义的函数,很多特殊函数都是它的特例或极限。所有具有三个正则奇点(英语:Regular singular point)的二
  • 礼文薄雪草 Nakai. 礼文薄雪草(学名:)是菊科火绒草属的多年生草本植物,主要分布于日本北海道及俄罗斯库页岛等地。环境省已经将其列为红色名录濒危类中。其拉丁属名来自(,狮子)和(,脚),以形容其带
  • 模拟退火模拟退火是一种通用概率算法,常用来在一定时间内寻找在一个很大搜寻空间中的近似最优解。模拟退火是S. Kirkpatrick, C. D. Gelatt和M. P. Vecchi在1983年所发明。而V. Čern
  • 查尔斯·丹斯沃尔特·查尔斯·丹斯(英语:Walter Charles Dance,OBE,1946年10月10日-)是一位英国男演员、编剧和导演。较著名的是从2011年起,在HBO奇幻电视剧《冰与火之歌:权力游戏》中饰演泰温·
  • 破浪刨冰《破浪刨冰》(日语:波乗りかき氷)是AKB48子团体Not yet的第2张单曲,于2011年7月6日由日本古伦美亚发行。单曲分为Type-A、Type-B和Type-C,总共三个版本,其中《破浪刨冰》和《フェ