diff options
| author | Jan Aalmoes <jan.aalmoes@inria.fr> | 2024-09-21 16:33:51 +0200 |
|---|---|---|
| committer | Jan Aalmoes <jan.aalmoes@inria.fr> | 2024-09-21 16:33:51 +0200 |
| commit | b8504c330be30ccf771d6745a34f395a83395ea5 (patch) | |
| tree | 9bbd9285d530381e3e743266fbf62be35df3a7c8 /notations.tex | |
| parent | 00ec61946ddf3a7c2abf7d7e0730fc8e21b50f37 (diff) | |
| parent | 06c724f61e746772dc46aaf7e11c96abc1a49dd1 (diff) | |
merge with brouillon
Diffstat (limited to 'notations.tex')
| -rw-r--r-- | notations.tex | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/notations.tex b/notations.tex new file mode 100644 index 0000000..74e421d --- /dev/null +++ b/notations.tex @@ -0,0 +1,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} |