On désigne par algorithmique l’ensemble des activités logiques qui relèvent des algorithmes ; en particulier, en informatique, cette discipline désigne l'ensemble des règles et des techniques qui sont impliquées dans la définition et la conception des algorithmes. Le mot vient du nom du mathématicien Al-Khuwarizmi (latinisé au Moyen Âge en Algoritmi), qui, au IX^e siècle écrivit le premier ouvrage systématique sur la solution des équations linéaires et quadratiques. Dans le cas général, l’algorithmique s’effectue au moyen de calculs.

Un algorithme est un processus systématique de résolution, par le calcul, d'un problème permettant de présenter les étapes vers le résultat à une autre personne physique (un autre humain) ou virtuelle (un calculateur). En d'autres termes, un algorithme est un énoncé d’une suite finie et non-ambiguë d’opérations permettant de donner la réponse à un problème. Il décrit formellement une procédure concrète.

Bien que leur classement soit difficile, on peut distinguer plusieurs grand groupes d'algorithmes, sans pour autant tous les classer. En voici quelques uns :

• Algorithmes de structures de données
• Algorithmes de tris
• Algorithmes de la théorie des graphes
• Algorithmes géométriques
• Algorithmes mathématiques
• Union-find
• Algorithmes de balayage