summaryrefslogtreecommitdiff
path: root/notations.tex
diff options
context:
space:
mode:
Diffstat (limited to 'notations.tex')
-rw-r--r--notations.tex55
1 files changed, 52 insertions, 3 deletions
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}