Perfilado de sección

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

      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 desde 17 de octubre de 2025, 13:30
    • Disponible desde 17 de octubre de 2025, 13:30
    • Rendu APNÉE 2 Tarea
      Apertura: viernes, 17 de octubre de 2025, 13:30
      Cierre: viernes, 17 de octubre de 2025, 17:00
    • Évaluation par les pairs Apnée 2 Taller
      Apertura de envíos: viernes, 17 de octubre de 2025, 13:30
      Cierre de envíos: viernes, 17 de octubre de 2025, 23:55
      Apertura de evaluaciones: viernes, 17 de octubre de 2025, 23:59
      Cierre de evaluaciones: sábado, 25 de octubre de 2025, 23:59