Algorithmique 2 SMI3 

Un algorithme est une suite finie d’instructions à appliquer dans un ordre déterminé à un nombre fini de données pour arriver, en un nombre fini d'étapes, à un certain résultat, et cela indépendamment des données. Un algorithme décrit ce qui doit faire l’ordinateur pour arriver un but bien précis. Ce sont les instructions qu’on doit lui donner. Donc l’algorithme est un moyen pour le programmeur de présenter son approche d’un problème donné à d’autres personnes, dans un langage clair et compréhensible par l’être humain. C’est un pseudo-langage qui est conçu pour résoudre les problèmes et applications sans aucune contrainte due aux langages de programmation et aux spécificités de la machine. Ce pseudo-langage sera ensuite traduit et codé dans le langage de programmation désiré. Le but de la logique de Hoare est de formaliser la preuve de la correction des programmes. Rappelons que notre souhait est de prouver des choses du type : programme Signification : si la pré-condition est vraie alors, après exécution du programme, la postcondition est vraie. Pour cela, nous allons utiliser des règles de déduction qui, étape par étape (i.e. instruction par instruction), nous amènerons de la pré-condition à la postcondition.

1.Cours FSR:

-------------------------------------------------------------------

Télécharger PDF 1: Chapitre1 Algorithmique 2 SMI3  : ICI

-------------------------------------------------------------------

Télécharger PDF 2: Chapitre2 Algorithmique 2 SMI3  : ICI

-------------------------------------------------------------------

Télécharger PDF 3: Chapitre3 Algorithmique 2 SMI3  : ICI

-------------------------------------------------------------------

Télécharger PDF 4: Chapitre4 Algorithmique 2 SMI3  : ICI

-------------------------------------------------------------------

Télécharger PDF 5: Chapitre5 Algorithmique 2 SMI3  : ICI
-------------------------------------------------------------------

Télécharger PDF 6: Chapitre6 Algorithmique 2 SMI3  : ICI

-------------------------------------------------------------------

Télécharger PDF 7: Chapitre7 Algorithmique 2 SMI3  : ICI

-------------------------------------------------------------------

Télécharger PDF 8: Chapitre8 Algorithmique 2 SMI3  : ICI
-------------------------------------------------------------------