Résumé de section

  • En cas de problème technique sur une apnée, contacter immédiatement Benjamin Wack par mail.

    • Documents de cours
      • Cours : Preuve de programme récursif
        Logique de Hoare et preuve automatique de programme
        Recherche dichotomique
      • TD1 : preuves de correction et de terminaison
      • TD2 : validation expérimentale de programmes
    • Corrigés des TDs de la semaine
    • Apnée 2
      Attention, cette apnée est la suite de l'apnée Programmation «Tests de programmes». Il est donc judicieux d'avoir finalisé cette apnée de Programmation avant de commencer l'apnée d'Algorithmique.

      En cas de problème technique sur une apnée ou si vous ne suivez pas le cours de Programmation, contacter immédiatement Benjamin Wack par mail.
    • Choix d'un binôme pour l'APNEE 2 Choix de Groupe
    • Sujet APNEE 2 Page

      Cette apnée est la suite de l'apnée Programmation «Tests de programmes». Il est donc judicieux de finaliser la première avant de commencer la seconde.

    • Pour cette apnée vous êtes libres d'organiser votre code comme vous le souhaitez.

      Attention cependant, pour les besoins du test il faudra rendre toutes les déclarations et fonctions implémentées dans un unique fichier generation.c

      Le squelette ci-dessous vous donne les deux fonctions que vous devrez obligatoirement fournir, lisez le sujet pour en savoir plus.

    • Évaluation des comptes-rendus Apnée 2 Atelier
      Phase de remise ouverte : vendredi 16 octobre 2026, 12:00
      Phase de remise fermée : vendredi 16 octobre 2026, 23:59
      Phase d’évaluation ouverte : samedi 17 octobre 2026, 00:05
      La phase d’évaluation ferme : vendredi 6 novembre 2026, 23:59

      Dans le cadre de cette apnée, vous allez relire et évaluer le compte-rendu soumis par un autre binôme d'étudiants.

      Cette relecture est obligatoire et fait partie de la notation, mais elle vise également certains objectifs de formation :

      • vous faire prendre conscience des difficultés que vous rencontrez dans la rédaction de vos propres comptes-rendus (expression, argumentation...) ;
      • vous alerter sur certains éléments manquants dans vos comptes-rendus ;
      • vous donner l'occasion de voir d'autres formes que pouvait prendre votre compte-rendu.


      Non disponible à moins que : Vous soyez membre d’un groupe de APNEE2