diff options
| -rw-r--r-- | transp-inf110-01-calc.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/transp-inf110-01-calc.tex b/transp-inf110-01-calc.tex index ce1033f..7b5a138 100644 --- a/transp-inf110-01-calc.tex +++ b/transp-inf110-01-calc.tex @@ -274,13 +274,13 @@ mathématiq\textsuperscript{t} plus commodes : \begin{itemize} \item « tout est un entier » (fonctions $\mathbb{N}^k \dasharrow \mathbb{N}$), -\item définition inductive, numérotation associé. +\item définition inductive, numérotation associée. \end{itemize} \medskip \itempoint Les \textbf{machines de Turing} représentent des -ordinateurs très simple : +ordinateurs très simples : \begin{itemize} \item travaillent sur une « bande » illimitée a priori (mémoire), \item aspect algorithmique évident, plus proche d'un « vrai » ordinateur, @@ -1519,7 +1519,7 @@ Ceci justifie d'omettre parfois abusivement l'arité \bigskip {\footnotesize Même chose, \textit{mutatis mutandis} (avec $\psi$) - pour les fonctions p.r.\par} + pour les fonctions p.r. elles-mêmes.\par} \end{frame} % |