\documentclass[a4paper,french,11pt]{report}
\usepackage{hyperlatex}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{optional}
%\usepackage{enumitem}
\usepackage{framed}
\usepackage[amsmath,thmmarks,thref,framed]{ntheorem}
\usepackage[dvips]{graphics}
\usepackage{epsfig}
\usepackage{epsfig,psfrag}
\usepackage{subfigure}
\usepackage{color}
\usepackage{calc}
\usepackage{listings}
\usepackage{url}
\usepackage{makeidx}
\usepackage{longtable}
\usepackage{tabls}
\usepackage{textcomp}
\usepackage{slashbox}
\usepackage{times}
\usepackage{gastex}
\usepackage{multirow}
%\input{format.sty}
\usepackage[frenchb]{babel}
\usepackage[a4paper]{geometry}
\input{symboles.sty}


\geometry{hmargin=2.5cm, vmargin=2.5cm }


\theoremstyle{plain}
%\theoremsymbol{\ensuremath{\clubsuit}}
\theoremseparator{.}
%\theoremprework{\hrulefill}
%\theorempostwork{\hrulefill\newline}
\newtheorem{Exo}{Exercice}[chapter]


\theoremstyle{plain}
%\theoremsymbol{\ensuremath{\clubsuit}}
\theoremseparator{.}
%\theoremprework{\hrulefill}
%\theorempostwork{\hrulefill\newline}
\newtheorem{Exoc}[Exo]{Exercice (corrigé)}


\theoremstyle{plain}
\theoremheaderfont{\normalfont\bfseries\sc}
\theorembodyfont{\upshape}
\theoremsymbol{\ensuremath{}}
\theoremseparator{.}
%\theoremprework{\hrulefill}
%\theorempostwork{\hrulefill\newline}
\newtheorem{Ex}[Exo]{Exemple}


\theoremstyle{plain}
%\theoremnumbering{alph}
\theorembodyfont{\upshape}
\theoremsymbol{\ensuremath{}}
\theoremseparator{.}
\newtheorem{Rem}{Remarque}[chapter]

\theoremstyle{nonumberchange}
\theoremheaderfont{\normalfont\bfseries\sc}
\theorembodyfont{\upshape}
\theoremsymbol{\ensuremath{}}
\theoremseparator{ : }
\newtheorem{Notation}{Notation}[chapter]


\theoremstyle{plain}
\theoremheaderfont{\normalfont\bfseries\sc}
\theorembodyfont{\slshape}
\theoremsymbol{\ensuremath{\diamondsuit}}
\theoremprework{\bigskip}
\theoremseparator{.}
\newtheorem{Def}{Définition}[chapter]

%\theoremstyle{break}
\theoremstyle{plain}
%\theoremheaderfont{\normalfont\bfseries\sc}
\theoremheaderfont{\normalfont\sc}
\theorembodyfont{\normalfont}
\theoremsymbol{\ensuremath{}}
%\theoremsymbol{\rule{1ex}{1ex}}
\theoremseparator{ :}
%\theoremnumbering{roman}
%\theoremprework{\begin{block}}
%\theorempostwork{\end{block}}
\newframedtheorem{Th}{Propriété}[chapter]

\theoremindent0cm
\theoremsymbol{\ensuremath{\spadesuit}}
\theoremnumbering{arabic}
\theoremprework{\begin{block}}
\theorempostwork{\end{block}}
\newtheorem{Corollary}[Th]{Corollary}


%
%%\theoremstyle{break}
%\theoremstyle{plain}
%%\theoremheaderfont{\normalfont\bfseries\sc}
%\theoremheaderfont{\normalfont\sc}
%\theorembodyfont{\upshape}
%%\theoremsymbol{\ensuremath{}}
%\theoremsymbol{\ensuremath{\dagger}}
%%\theoremsymbol{\rule{1ex}{1ex}}
%\theoremseparator{ :}
%%\theoremnumbering{roman}
%\newtheorem{Pre}{Preuve}




\theoremstyle{plain}
\theoremheaderfont{\normalfont\sc}
\theorembodyfont{\slshape}
\theoremsymbol{$\dagger$}
\theoremprework{\medskip}
%\theorempostwork{}
\theoremseparator{ :}
\newtheorem{Pre}{Preuve}%[chapter]


\theoremstyle{changebreak}
\theoremsymbol{\ensuremath{\heartsuit}}
\theoremindent0.5cm
\theoremnumbering{greek}
\newtheorem{Lemma}{Lemme}[chapter]

\theoremheaderfont{\sc}\theorembodyfont{\upshape}
\theoremstyle{nonumberplain}
\theoremseparator{}
\theoremsymbol{\rule{1ex}{1ex}}
\newtheorem{Proof}{Preuve}[chapter]


\theoremstyle{plain}
\theoremheaderfont{\normalfont\bfseries\sc}
\theorembodyfont{\upshape}
\theoremsymbol{\ensuremath{}}
\theoremseparator{ :}
\theoremnumbering{arabic}
\newtheorem{Qq}{Question}[chapter]

\def\Qu{\begin{center}-----------------------------------\end{center}\begin{Qq}}
\def\finQu{\end{Qq}}
%\def\Rep{\itshape\begin{enumeate}}
%\def\finRep{\end{enumerate}\upshape}




\lstset{% general command to set parameter(s)
basicstyle=\small,          % print whole listing small
keywordstyle=\color{black}\bfseries\underbar,
                                % underlined bold black keywords
identifierstyle=,           % nothing happens
commentstyle=\color{white}, % white comments
stringstyle=\ttfamily,      % typewriter type for strings
extendedchars = true,
showstringspaces=false}     % no special string spaces



\usepackage{hyperref}
\pdfcompresslevel=9
\hypersetup{
     %backref=true,    %permet d'ajouter des liens dans...
     %pagebackref=true,%...les bibliographies
     %hyperindex=true, %ajoute des liens dans les index.
     colorlinks=true, %colorise les liens
     breaklinks=true, %permet le retour Ã  la ligne dans les liens trop longs
     urlcolor= blue, %couleur des hyperliens
     linkcolor= blue, %couleur des liens internes
     %bookmarks=true, %créé des signets pour Acrobat
     bookmarksopen=true,            %si les signets Acrobat sont créés,
                                    %les afficher complÃštement.
     pdftitle={Cours de mathématiques discrètes}, %informations apparaissant dans
     pdfauthor={Christophe Guyeux},     %dans les informations du document
     pdfsubject={Mathématiques discrètes}          %sous Acrobat.
}




\makeindex

\newcommand{\inputladot}[2]{
\input{#1.dot.tex}
\includegraphics[width=#2]{#1.dot.ps}
}

\setcounter{secnumdepth}{1}

\renewcommand{\thesection}{\Roman{section}}
%\renewcommand{\thesubsection}{~~~~\arabic{subsection}}
%\renewcommand{\theparagraph}{~~~~~~~~\arabic{paragraph}}



\title{Mathématiques pour l'informatique}
\author{Christophe {\sc Guyeux} et Jean-Fran\c{c}ois {\sc Couchot} \\
  \url{guyeux [arobase] iut-bm.univ-fcomte
    [point] fr}\\
  \url{couchot [arobase] iut-bm.univ-fcomte
    [point] fr}}

\begin{document}

%\lstset{language=C}
\maketitle
\tableofcontents

\setcounter{secnumdepth}{3}



%\include{Remerciements}

\part{Théorie des ensembles}

\chapter{Introduction à la théorie des ensembles}
\input{ensembles/IntroAuxEnsembles}
\chapter{Relations binaires entre ensembles}
\input{ensembles/relbin}
\chapter{Relations $n$-aires}
\input{ensembles/relnaire}

\part{Arithmétique}
\chapter{Ensembles de nombres entiers}
\input{arithmetique/entiersNaturels}

\chapter{Représentation des nombres réels en machine}
\input{arithmetique/representation}

\chapter{Cryptologie et arithmétique.}
\input{arithmetique/cryptologie}

\chapter{Tests de primalité}
\input{arithmetique/testsPrimalite}

\chapter{Décomposition en facteurs premiers}
\input{arithmetique/decomposition}



\part{Logique}
\chapter{Algèbre de Boole}
\input{logique/AlgBoole2}

\chapter{Calcul propositionnel}
\input{logique/Propositions}

\chapter{Calcul propositionnel : déductions syntaxiques}
\input{logique/Propositions2}

\chapter{Calcul des prédicats}\label{chap:predicats}
\input{logique/CalculPredicats2}

\chapter{Méthode de résolution}\label{chap:resol}
\input{logique/Resolution}



\part{Langages, grammaires et automates}
\chapter{Compilation, langages et grammaires}
\input{automates/IntroGram}

\chapter{Introduction aux expressions rationnelles}
\input{automates/expReg}

\chapter{Automates Finis}
\input{automates/AutomatesFinis}

\chapter{Optimisation d'automates finis}
\input{automates/OptimisationAutomatesFinis}

\chapter{Construction d'automates finis à partir d'expressions rationnelles}
\input{automates/ConstructionAutomatesFinis}

\chapter{Automates à pile}
\input{automates/AutomatesAPile}

\chapter{Description d'un langage par une grammaire}
\input{automates/DescriptionLangageParGrammaire}

\chapter{Exercices sur les grammaires, langages et automates}
\input{automates/exercices}


\part{Théorie des graphes}
\chapter{Graphes non orientés}
\input{graphes/GraphesNonOrientes}

\chapter{Problèmes de graphes}
\input{graphes/planaires}

\chapter{Arbres et arborescence}
\input{graphes/arbres}

\chapter{Problèmes de coloration}
\input{graphes/coloration}

\chapter{Graphes orientés}
\input{graphes/GraphesOrientes}

\chapter{Problèmes de chemin}
\input{graphes/pbChemins}

\chapter{Chaînes de Markov}
\input{graphes/Markov}

\part{Annexes}
% \include{annales2}
\include{PPN}
\addcontentsline{toc}{chapter}{Index}
\printindex
%dans un terminal : makeindex -s DL.ist DL
%makeindex -s oursAnalyse.ist coursAnalyse

%latex2html -html_version 4.0,unicode coursAnalyse.te



\bibliographystyle{alpha}
\bibliography{biblio}
\include{Bibliographie}


\end{document}
