diff options
| -rw-r--r-- | notes-inf105.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/notes-inf105.tex b/notes-inf105.tex index af7df7e..5fa2d6b 100644 --- a/notes-inf105.tex +++ b/notes-inf105.tex @@ -165,7 +165,7 @@ tout langage décidable est semi-décidable (\ref{decidable-iff-semidecidable-and-complement}). On procède donc du plus particulier au plus général. -\thingy \textbf{Notations :} On écrit $A:=B$, ou parfois $B=:A$ pour +\thingy \textbf{Notations :} On écrit $A:=B$, ou parfois $B=:A$, pour dire que $A$ est défini comme égal à $B$ (cela signifie simplement $A=B$ mais en insistant sur le fait que c'est la définition du membre du côté duquel se situent les deux points). On note $\mathbb{N}$ |