Reading...
Play button
Play button
Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
14 Cards in this Set
- Front
- Back
|
Algorithme
|
Description d'un procede de calcul qui repond a un pbl posé. Il se presente sous la forme d'une suite finie d'action organisées selon des regles bien precises, a effectuer sur un nombre fini d'objets. La solution est produite en un temps fini.
|
|
|
Programme
|
Est une traduction ou plus precisement une implantation d'un algorithme dans un langage de programmation.
|
|
|
Algorithmique
|
Est la science de la descriptions des algorithmes connus, de la production de nouveau algorithme, ainsi que de leur analyse
|
|
|
Quel est l'avantage du passage par un enoncé algorithmique?
|
La possibilité de ne pas se focaliser sur les details techniques inherents aux langage de programmation. Pour parvenir à cela le style de l'enoncé doit etre a la fois precis ( aucune trace d'ambiguité pr des traductions aisés), souple( car pretendant a une universalité), concis (memorisable).
|
|
|
Correction partielle
|
On montre que sous reserve que le calcul se termine, le resultat produit par le calcul est bien le resultat attendu, pour toutes les données possibles.
|
|
|
Terminaison
|
Ou l'on montre que le calcul se termine pr toutes les donnes possibles.
|
|
|
Assertion
|
Affirmation d'une relation vraie entre les valeurs de variables d'un programme
|
|
|
Schéma pré-post, pré-assertion, post-assertion
|
Le triplet (p, a, pprime) forme un schema pre-post lorsque l'execution de l'action A commencée dans un etat des variables satisfair l'assertion P, donne si elle se termine, un etat des variables qui satisfair l'assertion Pprime. On dit de l'hypothese P qu'elle est la pré assertion de la consequence Pprime, la post assertion.
|
|
|
Assertion d'entree
|
Assertion decrivant l'etat initial des variables du programme, cad les contraintes sur les données.
|
|
|
Assertion de sortie
|
Assertion decrivant l'etat final, cad les contraintes sur le resultat en fonction des données.
|
|
|
Specification
|
Cad ce qu'il fait mais pas la maniere dont il le fait
|
|
|
Invariant d'action
|
Soit A une action. L'assertion P est un invariant d'action de A lorque le triplet (PAP) forme un schéma pré post
|
|
|
Invariant de boucle
|
Soit B une boucle tant que de condition C et de corps A. L'assertion P est un invariant de boucle de B lorque le triplet p et c, a, p forme un schema pre-post.
|
|
|
Quantité de controle
|
Une qc associé a une boucle donée est une expression entiere dependant des valeurs des variables du programme, dont la suite des valeurs considérées lors de l'evaluation de la condition de la boucle est strictement monotone et bornée.
|
