From 00f83611f70ef62eb2287e9800482f6a38f2ad27 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Wed, 22 Jan 2025 20:31:30 +0100 Subject: Instructions for test. --- controle-20250129.tex | 21 ++++++++++++--------- 1 file changed, 12 insertions(+), 9 deletions(-) diff --git a/controle-20250129.tex b/controle-20250129.tex index b78c71c..825e326 100644 --- a/controle-20250129.tex +++ b/controle-20250129.tex @@ -73,13 +73,11 @@ \noindent\textbf{Consignes.} -\textcolor{red}{À revoir.} - -Les exercices et le problème sont totalement indépendants. Ils -pourront être traités dans un ordre quelconque, mais on demande de -faire apparaître de façon très visible dans les copies où commence -chaque exercice (tirez au moins un trait sur toute la largeur de la -feuille entre deux exercices). +Les exercices et le problème sont totalement indépendants les uns des +autres. Ils pourront être traités dans un ordre quelconque, mais on +demande de faire apparaître de façon très visible dans les copies où +commence chaque exercice (tirez au moins un trait sur toute la largeur +de la feuille entre deux exercices). Les questions du problème dépendent les unes des autres, mais ont été rédigées de manière à ce que chacune donne toutes les informations @@ -94,6 +92,11 @@ sera pas nécessaire de tout traiter pour avoir le maximum des points. \medbreak +Les exercices 1 à 4 portent sur Coq. L'exercice 5 porte sur le calcul +propositionnel. Le problème final porte sur la calculabilité. + +\medbreak + L'usage de tous les documents écrits (notes de cours manuscrites ou imprimées, feuilles d'exercices, livres) est autorisé. @@ -107,9 +110,9 @@ Barème \emph{approximatif} et \emph{indicatif} (sur $20$) : \textcolor{red}{à écrire}. \ifcorrige -Ce corrigé comporte \textcolor{red}{à compléter} pages (page de garde incluse). +Ce corrigé comporte 14 pages \textcolor{red}{(à revérifier)} (page de garde incluse). \else -Cet énoncé comporte \textcolor{red}{à compléter} pages (page de garde incluse). +Cet énoncé comporte 8 pages \textcolor{red}{(à revérifier)} (page de garde incluse). \fi \vfill -- cgit v1.2.3