diff options
| -rw-r--r-- | controle-20250129.tex | 21 |
1 files 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 |