Section outline

  • 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 Семинар
      Представление работ открыто: пятница, 11 октября 2024, 13:49
      Представление работ закрыто: пятница, 18 октября 2024, 23:55
      Оценивание открыто: пятница, 18 октября 2024, 23:59
      Оценивание закрыто: суббота, 26 октября 2024, 23:59