Schema della sezione

  • 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 Scelta gruppo
    • Sujet APNEE 2 Pagina

      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.

      Accesso consentito dal 17 ottobre 2025, 13:30
    • Accesso consentito dal 17 ottobre 2025, 13:30
    • Rendu APNÉE 2 Compito
      Apre: venerdì, 17 ottobre 2025, 13:30
      Data limite: venerdì, 17 ottobre 2025, 17:00
    • Évaluation par les pairs Apnée 2 Workshop
      Apertura consegne: venerdì, 17 ottobre 2025, 13:30
      Chiusura consegne: venerdì, 17 ottobre 2025, 23:55
      Apertura valutazioni: venerdì, 17 ottobre 2025, 23:59
      Chiusura valutazioni: sabato, 25 ottobre 2025, 23:59