From b886c302573358752946372c7b7a61559b7fe7f2 Mon Sep 17 00:00:00 2001
From: cookie <cookie@grospc>
Date: Wed, 25 Sep 2024 17:09:36 +0200
Subject: Orthographe Emeline check

---
 background/main.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'background/main.tex')

diff --git a/background/main.tex b/background/main.tex
index 49d9c8f..aaafc6c 100644
--- a/background/main.tex
+++ b/background/main.tex
@@ -1,13 +1,13 @@
-Nous présentons dans ce chapitre les différentes théories et concepts sur les quelles se basent nos développements.
+Nous présentons dans ce chapitre les différentes théories et concepts sur lesquels se basent nos développements.
 \section{Mathématiques}
 \label{sec:background-math}
 L'origine de l'IA est mathématique~\cite{dartmouth,lecun2019quand}.
 Nous utilisons dans ce manuscrit principalement deux théories : l'optimisation pour entraîner les modèles et les probabilités pour les évaluer.
 Ainsi nous présentons dans cette section les prérequis nécessaires pour comprendre les prochains développements. 
-Cette section ne serai être un cours exhaustif mais a pour but de mettre en place les définitions et les principaux théorèmes qui nous allons utiliser.
+Cette section ne saurait être un cours exhaustif mais a pour but de mettre en place les définitions et les principaux théorèmes que nous allons utiliser.
 Nous supposons que le lecteur est familier du calcul des prédicats.
 Nous utiliserons les quantificateurs $\forall$ (pour tout) et $\exists$ (il existe tel que).
-Nous utiliserons aussi les opérateurs logiques suivant que nous définissons par leurs tables de vérités :
+Nous utiliserons aussi les opérateurs logiques suivants que nous définissons par leur table de vérité :
 \begin{equation}
 \begin{matrix}
 a & b & a\iff b & a\implies b & a\wedge b & a\vee b & \neg a\\
-- 
cgit v1.2.3

