程序库（Library）是指 一组相关的程序模块（如函数、类、接口等）的集合，这些程序模块可以被其他程序调用和复用。程序库使得程序员可以复用之前编写的代码，从而减少重复的开发工作，提高开发效率和减少出错可能性。程序库通常被称为“库”，可分为动态链接库（DLL）和静态链接库（LIB）。静态链接库是把程序库的代码编译进主程序中，因此程序库体积很大，但运行速度比较快。
程序库的主要作用包括：
代码复用：
程序员可以从程序库中找到需要的函数和数据，而不需要重新编写代码。
模块化管理：
程序库将相关的功能封装在一起，便于管理和维护。
提高开发效率：
通过使用程序库，程序员可以更快地开发出功能丰富的应用程序。
标准化：
程序库中的程序都是规范化的，这有助于确保代码的一致性和可靠性。
常见的程序库包括：
标准子程序：如三角函数、反三角函数、对数和指数函数、开平方和开立方函数等。
标准程序：实现一些常用的计算方法，如解常微分方程、偏微分方程、数值积分、解代数方程式等。
服务性程序：如复制卡片、磁带、磁盘及调试用的各种程序等。
综上所述，程序库是计算机科学中的一个重要概念，它提供了一组相关的程序模块，供其他程序调用和复用，从而提高开发效率和代码质量。