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