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

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

      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 Работилница
      Submissions opened: петък, 16 октомври 2026, 12:00
      Submissions closed: петък, 16 октомври 2026, 23:59
      Assessments opened: събота, 17 октомври 2026, 00:05
      Assessments close: петък, 6 ноември 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.