TD1.5 Preuves de correction et de terminaison
algorithme simple; spécifier un algorithme simple et démontrer sa correction à l'aide d'un invariant. Exercice 1 : Encore un tour de cartes. Observez ...
Algorithmes et structures de données : TD 1 Corrigé
Algorithmes et structures de données : TD 1 Corrigé. Affectations Ecrivez un algorithme qui calcule la somme suivante et l'affiche `a l'écran: 30. ∑ i=10.
ENSM - Correction Feuille TD1
# cet algorithme permet d'afficher le plus petit de trois nombres. # entrés au clavier. variables a b
Algorithmique PEIP2 Correction TD1 : Boucles et conditionnelles 1
Que fait cet algorithme ? Cet algorithme renvoie Vrai si n est un nombre premier et Faux sinon. En effet
TD1.5 Preuves de correction et de terminaison
5. Quel autre invariant faut-il étudier pour établir complètement la correction de cet algorithme? L3 Info Algorithmique et analyse d'algorithmes. 2023-
TD1.10 Algorithmes gloutons
Que penser de cet algorithme par rapport au précédent ? Est-il optimal ? Correction de l'exercice 2. Le principe est le même mais on a l'espoir que le
Algorithmes et structures de données : TD 1 Corrigé - Arbres binaires
Algorithmes et structures de données : TD 1 Corrigé. Arbres binaires - Arbres binaires de recherche - Fonctions définies par récurrence -. Complexité
01-td1-fork-correction.pdf - Processus UNIX
CORRECTION. CORRECTION. TD1 : Processus UNIX. RS : Réseaux et Syst`emes. Deuxi`eme année. L'objectif de ce TD est d'approfondir les notions relatives aux
TD1.1 Analyse dalgorithmes calculs de coûts
Plus généralement que pouvez-vous dire de la complexité d'un algorithme en observant le nombre de boucles emboîtées ? Correction de l'exercice 1. Pour tous ces
ENSM - Correction Feuille TD1
éléments de correction … Exercice 1. Résolution d'une équation du 1er degré. Écrire un algorithme permettant de résoudre une équation à coefficients réels
Algorithmes et structures de données : TD 1 Corrigé
Algorithmes et structures de données : TD 1 Corrigé. Affectations - Algorithmes - Types. Exercice 1.1 Cocher ce qui est une affectation :.
TD 1 : Correction et terminaison dalgorithmes
14 sept. 2017 TD 1 : Correction et terminaison ... 2 Correction d'algorithmes ... même pour la boucle externe ; en déduire la correction de l'algorithme.
AP1 TD1 – Variables entrée-sortie
https://nanopdf.com/download/correction-113_pdf
Algorithmique - TD1 Correction
10 sept. 2012 Algorithme : trierLettresMagnétiques. Mettre en bas du tableau une lettre spéciale ? (indiquant “fin”) tant que il reste des lettres en haut ...
TD dalgorithmique avancée Corrigé du TD 1 : recherche par rang
Concevez un algorithme de recherche du maximum dans un ensemble `a n éléments (vous disposez en tout et pour tout d'une fonction de comparaison). Maximum(A) max
TD 1 : Correction et terminaison des algorithmes
TD 1 : Correction et terminaison des algorithmes. 13 septembre 2018. 1 Le tri comptage. On considère un algorithme de tri agissant sur un tableau A
TD1.5 Preuves de correction et de terminaison
exhiber un invariant d'une boucle et l'enrichir éventuellement afin d'établir la preuve de correction d'un algorithme simple ;.
Diapositive 1
15 févr. 2013 1. CORRECTION. EXERCICES ALGORITHME 1. Mr KHATORY. (GIM 1° A). 2. Ecrire un algorithme permettant de résoudre une équation du second degré.
TD1 : ALGORITHME
Un algorithme est une suite finie d'opérations élémentaires Les trois phases d'un algorithme sont : ... Correction des exercices 4 et 5. Exercice 4 -.
15/02/2013
1 1CORRECTION
EXERCICES ALGORITHME 1
Mr KHATORY
(GIM 1° A) 2 Ecrire un algorithme permettant de résoudre une équation du second degré.Afficher les solutions !
a acbbxsolutioncbxax2 4:;0 2 2rSolution:
ALGORITHME seconddegré
VAR a, b, c, delta : REEL
DEBUTECRIRE (" : ")
LIRE (a, b, c)
SI (a=0 )
ALORSECRIRE (" équation du premier degré ")
SIALORS ECRIRE ("solution est ", -c/b)
SINON ECRIRE (" Pas de solution")
FINSI SINON delta Õ b*b-4*a*cSi (delta > 0)
ALORSECRIRE ("les solutions sont " , )
SINON SI delta =0 ALORS ECRIRE ( "Solution est", -b/(2a))SINON ECRIRE ("pas de solutions réelles !!")
FINSI FINSI FINSI FIN a deltaracineb 2 , " et " , a deltaracineb 2Fonction
standardEXERCICES ALGORITHME
15/02/2013
2 3ALGORITHME seconddegré
VAR a, b, c, delta: REEL
DEBUT²+bx+c ")
LIRE (a, b, c)
Si (a=0)
ALORSECRIRE ("équation du premier degré ")
SI (b<>0 )
ALORS ECRIRE ("solution est ", -c/b)
SINON ECRIRE (" Pas de solution")
FINSI SINON delta Õ b*b-4*a*cSELONQUE
delta = 0 : ECRIRE ("la solution unique est:", -b/(2a)delta > 0 : ECRIRE (" les deux solutions sont ", )
SINON ECRIRE (" pas de solution réelle ")
FINSELON
FINSI FIN a deltaracineb 2 , " et " , a deltaracineb 2Ecrire le même algorithme avec des selon-que :
EXERCICES ALGORITHME
4 Ecrire un algorithme qui donne la durée de vol en heure minute connaissant l'heure de départ et l'heure d'arrivée. On considère que le départ et l'arrivé ont lieu le même jour !EXERCICES ALGORITHME
Cas possibles pour m1 et m2
Données: h1,m1,h2 et m2
On suppose que h2 > h1 !!
2 cas ( m1m2)
15/02/2013
3 5Ecrire un algorithme qui donne la durée de vol en heure minute connaissant l'heure de départ et
l'heure d'arrivée. On considère que le départ et l'arrivé ont lieu le même jourSolution:
ALGORITHME DuréeVol
VAR h1, h2, m1, m2: ENTIER
hd, md : ENTIER DEBUTECRIRE (" entrer horaire de départ: h min")
LIRE (h1, m1)
ECRIRE ("
LIRE (h2, m2)
SI (m2 > m1 )
ALORS hd Õ h2-h1 md Õ m2-m1 ECRIRE (" la durée de vol est : ", hd , ' : ', md) SINON hd Õ h2-h1-1 md Õ m2+60-m1 ECRIRE (" la durée de vol est : ", hd , ' : ', md) FINSI FINEXERCICES ALGORITHME
6Ecrire un algorithme qui donne la durée de vol en heure minute connaissant l'heure de départ et
l'heure d'arrivée. On considère que le départ et l'arrivé ont lieu le même jourSolution n 2:
ALGORITHME DureeVol1
VAR h1, h2, m1, m2: ENTIER
hd, md : ENTIERDEBUT :
ECRIRE (" entrer horaire de départ: h min")
LIRE (h1, m1)
ECRIRE ("
LIRE (h2, m2)
md Õ [h2*60+m2] [h1*60+m1] hd Õ md div 60 (* division entière ( / )*) md Õ md mod 60 (*reste de la division entière (%)*) ECRIRE (" la durée de vol est : ", hd , ' : ', md) FINquotesdbs_dbs7.pdfusesText_5[PDF] Programmes sous TI (ici TI 83+)
[PDF] TP 2 Structures de contrôle 1 Structure conditionnelle
[PDF] Cours graphe partie 4
[PDF] Analyse et comparaison d 'empreintes digitales avec - Eduscol
[PDF] Détection de contours dans les images
[PDF] Algorithme de Dijkstra - Normalesuporg
[PDF] GRAPHES - EXERCICES CORRIGES Compilation - Lycée d 'Adultes
[PDF] Algorithmes de graphes - Département informatique de l 'ENS Cachan
[PDF] algorithme de Dijkstra - DI ENS
[PDF] TP Informatique no 8 Algorithme de Dijkstra - Arnaud Jobin
[PDF] TD d 'algorithmique avancée Corrigé du TD 11 : Plus courts chemins
[PDF] corrigé - Irif
[PDF] Algorithmes de factorisation des entiers
[PDF] Reconnaissance de caractères ? l 'aide de réseaux de neurones