算法学(algorithmics) 系统地研究算法的设计、分析和验证的学科。现在计算机问世以来，人们不断用计算机求解一些空前大型和复杂的数学问题，与计算机打交道，即是研究设计各种类型的算法。因此，将算法本身作为研究对象，建立一门独立的学科已是水到渠成。这就是算法学的基础。算法学的主要内容大体分为：设计、验证和分析。设计是指创作算法的过程和研究有代表性的、好的创作策略；验证是指证明算法的正确性；分析是指对算法的效率的确定。在算法学的领域中，难题比比皆是，许多新、老问题等待探索和研究解决。