From e98be112f2481863af60daef512cfb1660c33c03 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Mon, 6 Nov 2023 09:35:03 +0100
Subject: Typos.

(Thanks, Ilia.)
---
 transp-inf110-01-calc.tex | 6 +++---
 1 file 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}
 %
-- 
cgit v1.2.3