diff options
| author | David A. Madore <david+git@madore.org> | 2023-11-06 09:35:03 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2023-11-06 09:35:03 +0100 |
| commit | e98be112f2481863af60daef512cfb1660c33c03 (patch) | |
| tree | 63748f18e3282c4dd45665d1093b89cb298dbad6 /transp-inf110-01-calc.tex | |
| parent | 9b07e5023b09f7fe8c243482d429cd22feffbbef (diff) | |
| download | inf110-lfi-e98be112f2481863af60daef512cfb1660c33c03.tar.gz inf110-lfi-e98be112f2481863af60daef512cfb1660c33c03.tar.bz2 inf110-lfi-e98be112f2481863af60daef512cfb1660c33c03.zip | |
Typos.
(Thanks, Ilia.)
Diffstat (limited to 'transp-inf110-01-calc.tex')
| -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} % |