From: couchot <couchot@couchot>
Date: Wed, 7 Dec 2016 08:30:45 +0000 (+0100)
Subject: ajout de F_f
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/16dcc.git/commitdiff_plain/dc38289efffc51c12872f9b0be76aefc25b32a05?ds=inline;hp=8dfce25f59a57787b53e1ba55971a5c4f8d5993f

ajout de F_f
---

diff --git a/main.pdf b/main.pdf
index c78b73f..1b07a24 100644
Binary files a/main.pdf and b/main.pdf differ
diff --git a/presPRNG.tex b/presPRNG.tex
index fd0ce17..a7c4a55 100644
--- a/presPRNG.tex
+++ b/presPRNG.tex
@@ -18,6 +18,7 @@
 \usepackage[francais]{babel}
 \usepackage{rotating}
 \usepackage{algorithm2e}
+\usepackage{stmaryrd}
 
 \graphicspath{{Figures/}}
 
@@ -144,6 +145,10 @@ return $x$\;
 %\end{scriptsize}
 \end{algorithm}
 \end{block}
+$$
+F_f:  \Bool^{{\mathsf{N}}} \times \llbracket1;{\mathsf{N}} \rrbracket \to \Bool^{\mathsf{N}}, 
+F_f(x,i)=(x_1,\dots,x_{i-1},f_i(x),x_{i+1},\dots,x_{\mathsf{N}}).
+$$
   \end{frame}
 }