算法學

算法學(Algorithmics) 系統地研究算法的設計、分析和驗證的學科。現在計算機問世以來，人們不斷用計算機求解一些空前大型和複雜的數學問題，與計算機打交道，即是研究設計各種類型的算法。因此，將算法本身作為研究對象，建立一門獨立的學科已是水到渠成。這就是算法學的基礎。算法學的主要內容大體分為：設計、驗證和分析。設計是指創作算法的過程和研究有代表性的、好的創作策略；驗證是指證明算法的正確性；分析是指對算法的效率的確定。在算法學的領域中，難題比比皆是，許多新、老問題等待探索和研究解決。