《具体数学：计算机科学中的一块基石》（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字体的实验。
