diff options
| author | David A. Madore <david+git@madore.org> | 2018-03-16 17:57:26 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2018-03-16 17:57:26 +0100 |
| commit | f75c24d64d690ddbc25f4396013c3df9343f65eb (patch) | |
| tree | f1fa95391832aaa682f1215300418c4748b2bdf4 /controle-20180322.tex | |
| parent | d1387fae5a9ef597c0f92650f7f5aba5f3578b42 (diff) | |
| download | inf105-f75c24d64d690ddbc25f4396013c3df9343f65eb.tar.gz inf105-f75c24d64d690ddbc25f4396013c3df9343f65eb.tar.bz2 inf105-f75c24d64d690ddbc25f4396013c3df9343f65eb.zip | |
Change names, add Git line, suggest grading.
Diffstat (limited to 'controle-20180322.tex')
| -rw-r--r-- | controle-20180322.tex | 36 |
1 files changed, 22 insertions, 14 deletions
diff --git a/controle-20180322.tex b/controle-20180322.tex index d06ec8d..4d3f6fa 100644 --- a/controle-20180322.tex +++ b/controle-20180322.tex @@ -77,13 +77,13 @@ \date{22 mars 2018} \maketitle -%% {\footnotesize -%% \immediate\write18{sh ./vc > vcline.tex} -%% \begin{center} -%% Git: \input{vcline.tex} -%% \end{center} -%% \immediate\write18{echo ' (stale)' >> vcline.tex} -%% \par} +{\footnotesize +\immediate\write18{sh ./vc > vcline.tex} +\begin{center} +Git: \input{vcline.tex} +\end{center} +\immediate\write18{echo ' (stale)' >> vcline.tex} +\par} \pretolerance=8000 \tolerance=50000 @@ -107,6 +107,14 @@ L'usage des appareils électroniques est interdit. Durée : 1h30 +Barème \emph{indicatif} : $7+8+5$ points. + +\ifcorrige +%Ce corrigé comporte 7 pages (page de garde incluse) +\else +Cet énoncé comporte 4 pages (page de garde incluse) +\fi + \pagebreak @@ -199,8 +207,8 @@ de $L$. On se demande si $L$ ou $M$ sont semi-décidables. \smallskip -(1) Créon et Antigone se disputent pour savoir si $L$ est -semi-décidable. Créon pense qu'il l'est, et il tient le raisonnement +(1) Thésée et Hippolyte se disputent pour savoir si $L$ est +semi-décidable. Thésée pense qu'il l'est, et il tient le raisonnement suivant pour l'expliquer : {\narrower @@ -215,7 +223,7 @@ boucle infinie. Ceci fournit un algorithme qui semi-décide $L$. \smallskip -\noindent Antigone, elle, pense que $L$ n'est pas semi-décidable. Son +\noindent Hippolyte, elle, pense que $L$ n'est pas semi-décidable. Son argument est le suivant : {\narrower @@ -241,9 +249,9 @@ passages incomplets dans le raisonnement correct. \medskip -(2) Héloïse et Abélard se disputent pour savoir si $M$ est -semi-décidable. Héloïse pense qu'il l'est, et elle tient le -raisonnement suivant pour l'expliquer : +(2) Achille et Patrocle se disputent pour savoir si $M$ est +semi-décidable. Achile pense qu'il l'est, et il tient le raisonnement +suivant pour l'expliquer : {\narrower @@ -258,7 +266,7 @@ M$. Ceci fournit un algorithme qui semi-décide $M$. \smallskip -\noindent Abélard, lui, pense que $M$ n'est pas semi-décidable. Son +\noindent Patrocle, lui, pense que $M$ n'est pas semi-décidable. Son argument est le suivant : {\narrower |