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
    • 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.

      Доступно с 17 октября 2025, 13:30
    • Доступно с 17 октября 2025, 13:30
    • Rendu APNÉE 2 Задание
      Открывается: пятница, 17 октября 2025, 13:30
      Срок сдачи: пятница, 17 октября 2025, 17:00
    • Évaluation par les pairs Apnée 2 Семинар
      Представление работ открывается: пятница, 17 октября 2025, 13:30
      Представление работ закрывается: пятница, 17 октября 2025, 23:55
      Оценивание открывается: пятница, 17 октября 2025, 23:59
      Оценивание закрывается: суббота, 25 октября 2025, 23:59