notations.tex


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63

Toutes les notations utilisés sont définies le première fois quelle sont introduites.
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
    $\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}
\end{table}