Схема на раздела

  • 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 Група за избор
    • Sujet APNEE 2 Страница

      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.

      Available from 17 октомври 2025, 13:30
    • Available from 17 октомври 2025, 13:30
    • Rendu APNÉE 2 Задание
      Стартира: петък, 17 октомври 2025, 13:30
      До: петък, 17 октомври 2025, 17:00
    • Évaluation par les pairs Apnée 2 Работилница
      Submissions open: петък, 17 октомври 2025, 13:30
      Submissions close: петък, 17 октомври 2025, 23:55
      Assessments open: петък, 17 октомври 2025, 23:59
      Assessments close: събота, 25 октомври 2025, 23:59