Calculabilité-Décidabilité-Machine de Turing- Terminaison des algorithmes- problème de correction partielle et totale- Estimation de la complexité  asymptotique des algorithmes- Classe de complexité et  C-réduction.