X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/cours-maths-dis.git/blobdiff_plain/fbbd9218eb932e26e0400a94d73669716780a54a..333558f52e52a5792ac99d50e89d3a9d837b9d67:/main13.aux?ds=sidebyside diff --git a/main13.aux b/main13.aux index e57faae..44666a4 100644 --- a/main13.aux +++ b/main13.aux @@ -238,10 +238,52 @@ \@writefile{thm}{\contentsline {Exo}{{Exercice}{3.{15}}{}}{29}{Exo.15}} \@writefile{thm}{\contentsline {Exo}{{Exercice}{3.{16}}{}}{29}{Exo.16}} \@writefile{thm}{\contentsline {Exo}{{Exercice}{3.{17}}{Fonction caractéristique des parties d'un ensemble}}{29}{Exo.17}} -\@writefile{toc}{\contentsline {part}{III\hspace {1em}Annexes}{30}{part.3}} +\@writefile{toc}{\contentsline {chapter}{\numberline {4}Relations binaires entre ensembles}{30}{chapter.4}} +\@writefile{lof}{\addvspace {10\p@ }} +\@writefile{lot}{\addvspace {10\p@ }} +\@writefile{toc}{\contentsline {section}{\numberline {I}Relations}{30}{section.4.1}} +\@writefile{thm}{\contentsline {Def}{{Définition}{4.{1}}{Relation binaire}}{30}{Def.1}} +\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{1}}{}}{30}{Exo.1}} +\@writefile{thm}{\contentsline {Rem}{{Remarque}{4.{1}}{}}{30}{Rem.1}} +\@writefile{toc}{\contentsline {section}{\numberline {II}Relations d'ordre}{30}{section.4.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {II.1}R\IeC {\'e}flexivit\IeC {\'e}, antisym\IeC {\'e}trie, transitivit\IeC {\'e}}{30}{subsection.4.2.1}} +\@writefile{thm}{\contentsline {Def}{{Définition}{4.{2}}{Réflexivité}}{30}{Def.2}} +\@writefile{thm}{\contentsline {Def}{{Définition}{4.{3}}{Antisymétrie}}{30}{Def.3}} +\@writefile{thm}{\contentsline {Def}{{Définition}{4.{4}}{Transitivité}}{30}{Def.4}} +\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{2}}{}}{30}{Exo.2}} +\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{3}}{}}{31}{Exo.3}} +\@writefile{toc}{\contentsline {subsection}{\numberline {II.2}Relation d'ordre}{31}{subsection.4.2.2}} +\@writefile{thm}{\contentsline {Def}{{Définition}{4.{5}}{Relation d'ordre}}{31}{Def.5}} +\@writefile{thm}{\contentsline {Ex}{{Exemple}{4.{4}}{}}{31}{Exo.4}} +\@writefile{thm}{\contentsline {Ex}{{Exemple}{4.{5}}{Relation de divisibilité}}{31}{Exo.5}} +\global\def\markxxExi{\ensuremath {}} +\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{6}}{}}{31}{Exo.6}} +\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{7}}{Diagrammes de transitivité}}{31}{Exo.7}} +\@writefile{toc}{\contentsline {section}{\numberline {III}Relations d'\IeC {\'e}quivalence}{31}{section.4.3}} +\@writefile{thm}{\contentsline {Def}{{Définition}{4.{6}}{Relation symétrique}}{31}{Def.6}} +\@writefile{thm}{\contentsline {Def}{{Définition}{4.{7}}{Relation d'équivalence}}{31}{Def.7}} +\@writefile{thm}{\contentsline {Ex}{{Exemple}{4.{8}}{}}{31}{Exo.8}} +\@writefile{thm}{\contentsline {Ex}{{Exemple}{4.{9}}{Relation de congruence modulo $n$ dans $\Z $}}{32}{Exo.9}} +\global\def\markxxiiExi{\ensuremath {}} +\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{10}}{}}{32}{Exo.10}} +\@writefile{toc}{\contentsline {subsection}{\numberline {III.1}Classes d'\IeC {\'e}quivalence}{32}{subsection.4.3.1}} +\@writefile{thm}{\contentsline {Def}{{Définition}{4.{8}}{Classe d'équivalence}}{32}{Def.8}} +\@writefile{thm}{\contentsline {Notation}{{Notation}{4.{1}}{}}{32}{Notation.1}} +\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{11}}{}}{32}{Exo.11}} +\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{12}}{}}{32}{Exo.12}} +\@writefile{thm}{\contentsline {Th}{{Propriété}{4.{1}}{}}{32}{Th.1}} +\@writefile{thm}{\contentsline {Pre}{{Preuve}{1}{}}{32}{Pre.1}} +\@writefile{thm}{\contentsline {Def}{{Définition}{4.{9}}{Partition d'un ensemble}}{32}{Def.9}} +\@writefile{thm}{\contentsline {Th}{{Propriété}{4.{2}}{}}{33}{Th.2}} +\@writefile{thm}{\contentsline {Pre}{{Preuve}{2}{}}{33}{Pre.2}} +\@writefile{thm}{\contentsline {Ex}{{Exemple}{4.{13}}{}}{33}{Exo.13}} +\global\def\markxxiiiEx{\ensuremath {}} +\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{14}}{}}{33}{Exo.14}} +\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{15}}{}}{33}{Exo.15}} +\@writefile{toc}{\contentsline {part}{III\hspace {1em}Annexes}{34}{part.3}} \@input{PPN.aux} \bibstyle{alpha} \bibdata{biblio} \bibcite{Dowek07}{Dow07} -\@writefile{toc}{\contentsline {chapter}{Index}{32}{chapter.4}} +\@writefile{toc}{\contentsline {chapter}{Index}{36}{chapter.5}} \@input{Bibliographie.aux}