logo univ

Preuves et complexité des programmes
12/12/2017

logo univ
  • Retour à l'accueil Général
  • Les rubriques:
  • Nous écrire: formulaire
  • Vous pouvez télécharger les scripts Python des algorithmes fondamentaux
    1. A propos de la la suite de Syracuse que nous avons introduite pour mettre en évidence la difficulté du problème général de la terminaison, vous pouvez consulter le cours de J-P Delahaye et C. Lasou, sur La conjecture de Syracuse

    2. Le script de l'exercice sur le jeu de Nim dont l'objectif est de vous entraîner à construire des preuves de programme.

    3. Le script de l'exercice sur l' algorithme de Floyd (systèmes dynamiques périodiques) avec des tests.



  • Ce chapitre, intitulé Preuves et complexité des programmes, permet de revenir sur ces notions entrevues lors de la présentation des algorithmes fondamentaux dans le chapitre 2. On n'y propose pas de notions nouvelles, mais des illustrations à travers quelques exemples et exercices.