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

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

      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 Задание
      Отворено: петък, 11 октомври 2024, 12:30
      До: петък, 18 октомври 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

    • Évaluation par les pairs Apnée 2 Работилница
      Submissions opened: петък, 11 октомври 2024, 13:49
      Submissions closed: петък, 18 октомври 2024, 23:55
      Assessments opened: петък, 18 октомври 2024, 23:59
      Assessments closed: събота, 26 октомври 2024, 23:59