From faa07a8f3337c5d191597ea9b9587cc0969d663c Mon Sep 17 00:00:00 2001
From: Jan Aalmoes <jan.aalmoes@inria.fr>
Date: Fri, 13 Sep 2024 00:07:42 +0200
Subject: =?UTF-8?q?avnac=C3=A9=20aia,=20remerciement=20notations,=20notes?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 notations.tex | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 notations.tex

(limited to 'notations.tex')

diff --git a/notations.tex b/notations.tex
new file mode 100644
index 0000000..90b70aa
--- /dev/null
+++ b/notations.tex
@@ -0,0 +1,14 @@
+Toutes les notations utilisés sont définies le première fois quelle sont introduites.
+Pour faciliter la lecture nous fournissons ici un liste des notations avec la referecence de leur définitions.
+
+\begin{table}
+\centering
+\begin{tabular}{|c|c|c|}
+    \hline
+    \textbf{Symbole}&\textbf{Description}&\textbf{Définition}\\
+    \hline
+    $f^{1}$&Fonction inverse ou image reciproque&\\
+    \hline
+\end{tabular}
+\caption{Liste de notations}
+\end{table}
-- 
cgit v1.2.3


From 4aae3ea0427a6c9e9a8519a38d9d9d0ac5f0ec9c Mon Sep 17 00:00:00 2001
From: Jan Aalmoes <jan.aalmoes@inria.fr>
Date: Sat, 21 Sep 2024 16:27:27 +0200
Subject: fin intro

---
 notations.tex | 55 ++++++++++++++++++++++++++++++++++++++++++++++++++++---
 1 file changed, 52 insertions(+), 3 deletions(-)

(limited to 'notations.tex')

diff --git a/notations.tex b/notations.tex
index 90b70aa..74e421d 100644
--- a/notations.tex
+++ b/notations.tex
@@ -1,13 +1,62 @@
 Toutes les notations utilisés sont définies le première fois quelle sont introduites.
-Pour faciliter la lecture nous fournissons ici un liste des notations avec la referecence de leur définitions.
-
+Pour faciliter la lecture nous fournissons ici une liste des notations avec la référence de leur définitions.
 \begin{table}
 \centering
 \begin{tabular}{|c|c|c|}
     \hline
     \textbf{Symbole}&\textbf{Description}&\textbf{Définition}\\
     \hline
-    $f^{1}$&Fonction inverse ou image reciproque&\\
+    $\implies \iff \wedge \vee \neq \forall \exists$&Logique du premier ordre&Section~\ref{sec:background-math}\\
+    \hline
+    $\{\}$&Ensemble&Section~\ref{sec:background-math-zf}\\
+    \hline
+    $\emptyset$&Ensemble vide&Section~\ref{sec:background-math-zf}\\
+    \hline
+    $\cup$&Union&Section~\ref{sec:background-math-zf}\\
+    \hline
+    $\mathcal{P}(\square)$&Ensemble des parties&Section~\ref{sec:background-math-zf}\\
+    \hline
+    $\cap~\backslash$&Intersection et différence&Définition~\ref{def:background-math-int}\\
+    \hline
+    $/$&Ensemble des classes d'équivalences&Définition~\ref{def:background-set-usu}\\
+    \hline
+    $\times$&Produit cartésien&Définition~\ref{def:background-fct}\\
+    \hline
+    $\circ$&Composition&Définition~\ref{def:background-fct}\\
+    \hline
+    $f^{-1}$&Fonction inverse ou image réciproque&\\
+    \hline
+    $n!$&$n$ factoriel&Section~\ref{sec:background-set-ari}\\
+    \hline
+    $[\square,\square]~[|\square,\square|]$&Intervalle&Section~\ref{sec:background-math-int}\\
+    \hline
+    $\#$&Cardinal&Section~\ref{sec:background-math-card}\\
+    \hline
+    $EXP(\square)$&Fonction qui à $x$ associe $EXP(x)$&Définition~\ref{def:background-fct}\\
+    \hline
+    $\text{Tr}(M)$&Trace d'une matrice $M$&Définition~\ref{def:background-alg-tr}\\
+    \hline
+    $\mathcal{L}(E,F)$&Ensemble de applications linéaire de $E$ dans $F$&Section~\ref{sec:background-alg-L}\\
+    \hline
+    $\otimes$&Produit de mesure&Section~\ref{sec:background-proba}\\
+    \hline
+    $\delta_i$&Mesure de Dirac en $i$&Section~\ref{sec:background-proba}\\
+    \hline
+    $P_Y$&Mesure image de $Y$ par $P$&Section~\ref{sec:background-proba}\\
+    \hline
+     $\langle x,y\rangle$&Produit scalaire euclidien&Définition~\ref{def:background-dif-scal}\\
+    \hline
+     $||x||$&Norme euclidienne&Définition~\ref{def:background-dif-eucl}\\
+    \hline
+    $lim_{a\rightarrow x}f(a)$&Limite de $f$ en $x$&Définition~\ref{def:background-dif-lim}\\
+    \hline
+    $df(x)$&Différentielle de $f$ en $x$&Définition~\ref{def:background-dif-dif}\\
+    \hline
+    $\mathbb{N}~\mathbb{Q}~\mathbb{R}$&Ensembles usuels&Définition~\ref{def:background-set-usu}\\
+    \hline
+    $S_n$&Groupe de permutations sur $n\in\mathbb{N}$&Section~\ref{sec:aia-theo-aia-eq}\\
+    \hline
+    $BA^d_F(f)$&Exactitude équilibrée empirique&Définition~\ref{def:BA}\\
     \hline
 \end{tabular}
 \caption{Liste de notations}
-- 
cgit v1.2.3

