Résumé de section

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

    • Documents de cours
      • Cours : Logique de Hoare
        Preuve automatique de programme
        Recherche dichotomique
      • TD1 : preuves de correction et de terminaison
      • TD2 : validation expérimentale de programmes
    • Apnée 2
      En cas de problème technique sur une apnée, 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 n'est donc pas judicieux de la commencer avant d'avoir terminé l'apnée de Programmation.

      Disponible à partir du 17 octobre 2025, 13:30
    • Disponible à partir du 17 octobre 2025, 13:30
    • Rendu APNÉE 2 Devoir
      Ouverture : vendredi 17 octobre 2025, 13:30
      À rendre : vendredi 17 octobre 2025, 17:00
    • Évaluation par les pairs Apnée 2 Atelier
      La phase de remise ouvre : vendredi 17 octobre 2025, 13:30
      La phase de remise ferme : vendredi 17 octobre 2025, 23:55
      La phase d’évaluation ouvre : vendredi 17 octobre 2025, 23:59
      La phase d’évaluation ferme : samedi 25 octobre 2025, 23:59