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
    • Corrigés des TDs de la semaine
    • 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.

    • Ces fichiers ne sont utilisés que dans l'exercice 3 (facultatif), ne perdez pas de temps à les consulter avant d'en avoir besoin.

    • Rendu APNÉE 2 Compito
      Aperto: venerdì, 11 ottobre 2024, 12:30
      Data limite: venerdì, 18 ottobre 2024, 17:00

      ATTENTION : tous les membres d'un binôme doivent s'inscrire dans ce binôme sur moodle avant de faire le rendu pour que le devoir soit bien pris en compte pour tous les étudiants.

      Plusieurs fichiers sont à déposer :

      • Compte-rendu : 4 pages maximum, au format PDF (rappel : utilisez Grammalecte ou LanguageTool)
      • Fichiers sources de vos programmes (le correcteur doit pouvoir compiler votre code)
      • Archive compressée contenant les chaînes générées
      • Le cas échéant, le fichier oracle.c complété

      Un seul dépôt (avec tous les fichiers) par binôme.

      N'oubliez pas de déposer aussi dans l'atelier "Évaluation par les pairs" exactement les mêmes fichiers que dans ce devoir "Rendu Apnée 1".

      https://moodle.caseine.org/mod/workshop/view.php?id=75368

      Condizioni per l'accesso: Appartenere ad un gruppo presente in APNEE2
    • Évaluation par les pairs Apnée 2 Workshop
      Consegne aperte: venerdì, 11 ottobre 2024, 13:49
      Consegne chiuse: venerdì, 18 ottobre 2024, 23:55
      Valutazioni aperte: venerdì, 18 ottobre 2024, 23:59
      Valutazioni chiuse: sabato, 26 ottobre 2024, 23:59
      Condizioni per l'accesso: Appartenere ad un gruppo presente in APNEE2