Bonjour à tous,
Ce jeudi nous aurons le dernier CM de logique (notez l’horaire inhabituel de 8h), qui portera sur la preuve automatisée par ordinateur (introduction à l’assistant de preuve Coq/Rocq). À partir de la semaine prochaine nous aurons trois séances de TP sur le sujet, en salles machine, (à l’issue desquelles il y aura un dernier CC pourtant là-dessus).
Je souhaite également profiter de cette dernière séance pour un moment d’échange et de questions sur l’ensemble du module. Donc je vous invite à réfléchir à des questions (d’ordre général, ou sur des points précis du cours), que vous pouvez également m’envoyer avant le cours.
De plus, je propose comme à mon habitude un petit sondage anonyme sur ce que vous avez pensé du module, en vue de l’améliorer au fil du temps. Je vous remercie d’avance de prendre le temps (c’est court : quelques questions simples) d’y répondre, il est sur la page du cours, à l’adresse suivante : https://celene.univ-orleans.fr/mod/feedback/view.php?id=606163.
Je vous souhaite à tous une bonne reprise,
Bien à vous,
Jules Chouquet