Dans ce cours en vise deux objectifs:
Conception d'algorithmes: On présente les techniques à mettre en oeuvre pour trouver la solution d'un problème donné
Construction de programmes: On présente dans cette partie les différents modes de programmation qui existent, c'est à dire on s'intéresse à la forme des programmes. Pour chaque Forme, nous essayerons également de donner les preuves et les sémantiques.
- Enseignant: ARIDJ Mohammed