Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 19-11-2016 05:58:00

capesman
Modérateur
Inscription : 15-08-2016
Messages : 117

[Info 13] - Exemples de démarches...correction d'un algorithme

Bonjour,

  Cette discussion est ouverte pour parler de la leçon du capes de mathématiques : Exemples de démarches et de raisonnements prouvant la terminaison et la correction d'un algorithme.

Capesman.

Hors ligne

#2 29-04-2017 17:28:03

caro
Invité

Re : [Info 13] - Exemples de démarches...correction d'un algorithme

Bonjour,
Prouver la terminaison et la correction d'un algorithme ne me semble pas au programme d'ISN ni BTS SIO.
Quelles sont les attentes de cette lecon d'apres vous? Ce qui est fait en informatique pour tous en cpge?
Merci de votre aide!

#3 30-04-2017 17:42:16

capesman
Modérateur
Inscription : 15-08-2016
Messages : 117

Re : [Info 13] - Exemples de démarches...correction d'un algorithme

Bonjour,

  Je peux me tromper, mais en comparant avec ce qui se passe dans la partie "mathématiques" de cette même épreuve, j'ai l'impression qu'il faut être un peu plus modeste... On peut déjà parler d'activités comme on en trouve (en cherchant bien!) dans les livres de lycée où des algorithmes erronés sont donnés et où l'élève doit trouver ce qui ne fonctionne pas. Les exemples les plus simples de cpge pourront bien sûr convenir aussi, mais je ne pense pas que le niveau de la leçon doive s'envoler.

Capesman.

Hors ligne

#4 30-04-2017 19:21:08

yoshi
Modo Ferox
Inscription : 20-11-2005
Messages : 11 380

Re : [Info 13] - Exemples de démarches...correction d'un algorithme

Bonsoir,

Alors dans ce cas, il y a un exemple récent sur le forum : http://www.bibmath.net/forums/viewtopic … 734#p64734.
Il y en a d'autres mais dans celui-ci justement un algorithme est donné contenant une erreur à corriger...

@+


Arx Tarpeia Capitoli proxima...

Hors ligne

#5 22-09-2017 19:55:57

capesman
Modérateur
Inscription : 15-08-2016
Messages : 117

Re : [Info 13] - Exemples de démarches...correction d'un algorithme

Bonjour,

  Voici ce que dit le rapport du jury 2017 à propos de cette leçon :
"Cette leçon doit présenter des utilisations pratiques et concrètes de telles démarches et méthodes en les appliquant à un ensemble d’algorithmes concrets. Le candidat est attentif à la précision et àvla diversité des aspects présentés et non à la difficulté des développements théoriques. Le  candidat  peut  s'appuyer  sur  l'introduction  d'assertions  logiques  dans  la  description  de  son
algorithme pour exprimer les propriétés vérifiées aux points de contrôle intéressants.
Dans  le  cas  des  itérations  non  bornées (while),  on  peut  présenter  les  notions  de  variant  et d'invariant, en particulier dans les cas classiques: parcours de tableau, tri, calcul de factorielle, etc.
Pour prouver la correction, le candidat peut montrer, sur des exemples simples, comment dériver la spécification du résultat à partir des assertions, en particulier les invariants de boucle. Le candidat peut également faire le lien avec la définition de suites récursives $u_{n+1}=f(u_n)$."

Hors ligne

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le deuxième mot de cette phrase?

Pied de page des forums