Perfilado de sección

  • 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 Elección de grupo
    • Sujet APNEE 2 Página

      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 Taller
      Envíos abiertos: viernes, 16 de octubre de 2026, 12:00
      Envíos cerrados: viernes, 16 de octubre de 2026, 23:59
      Evaluaciones abiertas: sábado, 17 de octubre de 2026, 00:05
      Cierre de evaluaciones: viernes, 6 de noviembre de 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.


      No disponible hasta que: se pertenezca al agrupamiento APNEE2