main.tex

   1 \documentclass[a4paper,french,11pt]{report}
   2 \usepackage{hyperlatex}
   3 \usepackage[utf8]{inputenc}
   4 \usepackage[T1]{fontenc}
   5 \usepackage{lmodern}
   6 \usepackage{amsmath}
   7 \usepackage{amsfonts}
   8 \usepackage{amssymb}
   9 \usepackage{optional}
  10 \usepackage{enumitem}
  11 \usepackage{framed}
  12 \usepackage[amsmath,thmmarks,thref,framed]{ntheorem}
  13 \usepackage[dvips]{graphics}
  14 \usepackage{epsfig}
  15 \usepackage{epsfig,psfrag}
  16 \usepackage{subfigure}
  17 \usepackage{color}
  18 \usepackage{calc}
  19 \usepackage{listings}
  20 \usepackage{url}
  21 \usepackage{makeidx}
  22 \usepackage{longtable}
  23 \usepackage{tabls}
  24 \usepackage{textcomp}
  25 \usepackage{slashbox}
  26 \usepackage{times}
  27 \usepackage{gastex}
  28 \usepackage{multirow}
  29 %\input{format.sty}
  30 \usepackage[frenchb]{babel}
  31 \usepackage[a4paper]{geometry}
  32 \input{symboles.sty}
  33
  34
  35 \geometry{hmargin=2.5cm, vmargin=2.5cm }
  36
  37
  38 \theoremstyle{plain}
  39 %\theoremsymbol{\ensuremath{\clubsuit}}
  40 \theoremseparator{.}
  41 %\theoremprework{\hrulefill}
  42 %\theorempostwork{\hrulefill\newline}
  43 \newtheorem{Exo}{Exercice}[chapter]
  44
  45
  46 \theoremstyle{plain}
  47 %\theoremsymbol{\ensuremath{\clubsuit}}
  48 \theoremseparator{.}
  49 %\theoremprework{\hrulefill}
  50 %\theorempostwork{\hrulefill\newline}
  51 \newtheorem{Exoc}[Exo]{Exercice (corrigé)}
  52
  53
  54 \theoremstyle{plain}
  55 \theoremheaderfont{\normalfont\bfseries\sc}
  56 \theorembodyfont{\upshape}
  57 \theoremsymbol{\ensuremath{}}
  58 \theoremseparator{.}
  59 %\theoremprework{\hrulefill}
  60 %\theorempostwork{\hrulefill\newline}
  61 \newtheorem{Ex}[Exo]{Exemple}
  62
  63
  64 \theoremstyle{plain}
  65 %\theoremnumbering{alph}
  66 \theorembodyfont{\upshape}
  67 \theoremsymbol{\ensuremath{}}
  68 \theoremseparator{.}
  69 \newtheorem{Rem}{Remarque}[chapter]
  70
  71 \theoremstyle{nonumberchange}
  72 \theoremheaderfont{\normalfont\bfseries\sc}
  73 \theorembodyfont{\upshape}
  74 \theoremsymbol{\ensuremath{}}
  75 \theoremseparator{ : }
  76 \newtheorem{Notation}{Notation}[chapter]
  77
  78
  79 \theoremstyle{plain}
  80 \theoremheaderfont{\normalfont\bfseries\sc}
  81 \theorembodyfont{\slshape}
  82 \theoremsymbol{\ensuremath{\diamondsuit}}
  83 \theoremprework{\bigskip}
  84 \theoremseparator{.}
  85 \newtheorem{Def}{Définition}[chapter]
  86
  87 %\theoremstyle{break}
  88 \theoremstyle{plain}
  89 %\theoremheaderfont{\normalfont\bfseries\sc}
  90 \theoremheaderfont{\normalfont\sc}
  91 \theorembodyfont{\normalfont}
  92 \theoremsymbol{\ensuremath{}}
  93 %\theoremsymbol{\rule{1ex}{1ex}}
  94 \theoremseparator{ :}
  95 %\theoremnumbering{roman}
  96 %\theoremprework{\begin{block}}
  97 %\theorempostwork{\end{block}}
  98 \newframedtheorem{Th}{Propriété}[chapter]
  99
 100 \theoremindent0cm
 101 \theoremsymbol{\ensuremath{\spadesuit}}
 102 \theoremnumbering{arabic}
 103 \theoremprework{\begin{block}}
 104 \theorempostwork{\end{block}}
 105 \newtheorem{Corollary}[Th]{Corollary}
 106
 107
 108 %
 109 %%\theoremstyle{break}
 110 %\theoremstyle{plain}
 111 %%\theoremheaderfont{\normalfont\bfseries\sc}
 112 %\theoremheaderfont{\normalfont\sc}
 113 %\theorembodyfont{\upshape}
 114 %%\theoremsymbol{\ensuremath{}}
 115 %\theoremsymbol{\ensuremath{\dagger}}
 116 %%\theoremsymbol{\rule{1ex}{1ex}}
 117 %\theoremseparator{ :}
 118 %%\theoremnumbering{roman}
 119 %\newtheorem{Pre}{Preuve}
 120
 121
 122
 123
 124 \theoremstyle{plain}
 125 \theoremheaderfont{\normalfont\sc}
 126 \theorembodyfont{\slshape}
 127 \theoremsymbol{$\dagger$}
 128 \theoremprework{\medskip}
 129 %\theorempostwork{}
 130 \theoremseparator{ :}
 131 \newtheorem{Pre}{Preuve}%[chapter]
 132
 133
 134 \theoremstyle{changebreak}
 135 \theoremsymbol{\ensuremath{\heartsuit}}
 136 \theoremindent0.5cm
 137 \theoremnumbering{greek}
 138 \newtheorem{Lemma}{Lemme}[chapter]
 139
 140 \theoremheaderfont{\sc}\theorembodyfont{\upshape}
 141 \theoremstyle{nonumberplain}
 142 \theoremseparator{}
 143 \theoremsymbol{\rule{1ex}{1ex}}
 144 \newtheorem{Proof}{Preuve}[chapter]
 145
 146
 147 \theoremstyle{plain}
 148 \theoremheaderfont{\normalfont\bfseries\sc}
 149 \theorembodyfont{\upshape}
 150 \theoremsymbol{\ensuremath{}}
 151 \theoremseparator{ :}
 152 \theoremnumbering{arabic}
 153 \newtheorem{Qq}{Question}[chapter]
 154
 155 \def\Qu{\begin{center}-----------------------------------\end{center}\begin{Qq}}
 156 \def\finQu{\end{Qq}}
 157 \def\Rep{\itshape\begin{enumerate}}
 158 \def\finRep{\end{enumerate}\upshape}
 159
 160
 161
 162
 163 \lstset{% general command to set parameter(s)
 164 basicstyle=\small,          % print whole listing small
 165 keywordstyle=\color{black}\bfseries\underbar,
 166                                 % underlined bold black keywords
 167 identifierstyle=,           % nothing happens
 168 commentstyle=\color{white}, % white comments
 169 stringstyle=\ttfamily,      % typewriter type for strings
 170 extendedchars = true,
 171 showstringspaces=false}     % no special string spaces
 172
 173
 174
 175 \usepackage{hyperref}
 176 \pdfcompresslevel=9
 177 \hypersetup{
 178      %backref=true,    %permet d'ajouter des liens dans...
 179      %pagebackref=true,%...les bibliographies
 180      %hyperindex=true, %ajoute des liens dans les index.
 181      colorlinks=true, %colorise les liens
 182      breaklinks=true, %permet le retour Ã  la ligne dans les liens trop longs
 183      urlcolor= blue, %couleur des hyperliens
 184      linkcolor= blue, %couleur des liens internes
 185      %bookmarks=true, %créé des signets pour Acrobat
 186      bookmarksopen=true,            %si les signets Acrobat sont créés,
 187                                     %les afficher complÃštement.
 188      pdftitle={Cours de mathématiques discrètes}, %informations apparaissant dans
 189      pdfauthor={Christophe Guyeux},     %dans les informations du document
 190      pdfsubject={Mathématiques discrètes}          %sous Acrobat.
 191 }
 192
 193
 194
 195
 196 \makeindex
 197
 198 \newcommand{\inputladot}[2]{
 199 \input{#1.dot.tex}
 200 \includegraphics[width=#2]{#1.dot.ps}
 201 }
 202
 203 \setcounter{secnumdepth}{1}
 204
 205 \renewcommand{\thesection}{\Roman{section}}
 206 %\renewcommand{\thesubsection}{~~~~\arabic{subsection}}
 207 %\renewcommand{\theparagraph}{~~~~~~~~\arabic{paragraph}}
 208
 209
 210
 211 \title{Mathématiques pour l'informatique}
 212 \author{Christophe {\sc Guyeux} et Jean-Fran\c{c}ois {\sc Couchot} \\
 213   \url{guyeux [arobase] iut-bm.univ-fcomte
 214     [point] fr}\\
 215   \url{couchot [arobase] iut-bm.univ-fcomte
 216     [point] fr}}
 217
 218 \begin{document}
 219
 220 %\lstset{language=C}
 221 \maketitle
 222 \tableofcontents
 223
 224 \setcounter{secnumdepth}{3}
 225
 226
 227
 228 \include{Remerciements}
 229
 230 \part{Théorie des ensembles}
 231
 232 \chapter{Introduction à la théorie des ensembles}
 233 \input{ensembles/IntroAuxEnsembles}
 234 \chapter{Relations binaires entre ensembles}
 235 \input{ensembles/relbin}
 236 \chapter{Relations $n$-aires}
 237 \input{ensembles/relnaire}
 238
 239 \part{Arithmétique}
 240 \chapter{Ensembles de nombres entiers}
 241 \input{arithmetique/entiersNaturels}
 242
 243 \chapter{Représentation des nombres réels en machine}
 244 \input{arithmetique/representation}
 245
 246 \chapter{Cryptologie et arithmétique.}
 247 \input{arithmetique/cryptologie}
 248
 249 \chapter{Tests de primalité}
 250 \input{arithmetique/testsPrimalite}
 251
 252 \chapter{Décomposition en facteurs premiers}
 253 \input{arithmetique/decomposition}
 254
 255
 256
 257 \part{Logique}
 258 \chapter{Algèbre de Boole}
 259 \input{logique/AlgBoole2}
 260
 261 \chapter{Calcul propositionnel}
 262 \input{logique/Propositions}
 263
 264 \chapter{Calcul propositionnel : déductions syntaxiques}
 265 \input{logique/Propositions2}
 266
 267 \chapter{Calcul des prédicats}\label{chap:predicats}
 268 \input{logique/CalculPredicats2}
 269
 270 \chapter{Méthode de résolution}\label{chap:resol}
 271 \input{logique/Resolution}
 272
 273
 274
 275 \part{Langages, grammaires et automates}
 276 \chapter{Compilation, langages et grammaires}
 277 \input{automates/IntroGram}
 278
 279 \chapter{Introduction aux expressions rationnelles}
 280 \input{automates/expReg}
 281
 282 \chapter{Automates Finis}
 283 \input{automates/AutomatesFinis}
 284
 285 \chapter{Optimisation d'automates finis}
 286 \input{automates/OptimisationAutomatesFinis}
 287
 288 \chapter{Construction d'automates finis à partir d'expressions rationnelles}
 289 \input{automates/ConstructionAutomatesFinis}
 290
 291 \chapter{Automates à pile}
 292 \input{automates/AutomatesAPile}
 293
 294 \chapter{Description d'un langage par une grammaire}
 295 \input{automates/DescriptionLangageParGrammaire}
 296
 297 \chapter{Exercices sur les grammaires, langages et automates}
 298 \input{automates/exercices}
 299
 300
 301 \part{Théorie des graphes}
 302 \chapter{Graphes non orientés}
 303 \input{graphes/GraphesNonOrientes}
 304
 305 \chapter{Problèmes de graphes}
 306 \input{graphes/planaires}
 307
 308 \chapter{Arbres et arborescence}
 309 \input{graphes/arbres}
 310
 311 \chapter{Problèmes de coloration}
 312 \input{graphes/coloration}
 313
 314 \chapter{Graphes orientés}
 315 \input{graphes/GraphesOrientes}
 316
 317 \chapter{Problèmes de chemin}
 318 \input{graphes/pbChemins}
 319
 320 \chapter{Chaînes de Markov}
 321 \input{graphes/Markov}
 322
 323 \part{Annexes}
 324 % \include{annales2}
 325 \include{PPN}
 326 \addcontentsline{toc}{chapter}{Index}
 327 \printindex
 328 %dans un terminal : makeindex -s DL.ist DL
 329 %makeindex -s oursAnalyse.ist coursAnalyse
 330
 331 %latex2html -html_version 4.0,unicode coursAnalyse.te
 332
 333
 334
 335 \bibliographystyle{alpha}
 336 \bibliography{biblio}
 337 \include{Bibliographie}
 338
 339
 340 \end{document}