ajout de proposition13

[cours-maths-dis.git] / main13.tex~

\documentclass[a4paper,french,11pt]{report}
\usepackage{hyperlatex}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{optional}
\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{enumerate}}
\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{Logique}
\chapter{Algèbre de Boole}
\input{logique/AlgBoole13}

\chapter{Logique des prédicats}
\input{logique/Propositions13}



% \part{Théorie des ensembles}

% \chapter{Introduction à la théorie des ensembles}
% \input{ensembles/IntroAuxEnsembles}
% \chapter{Relations binaires entre ensembles}
% \input{ensembles/relbin}

% \chapter{Application d'un ensemble dans un autre}
% \input{ensembles/applications}

% \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{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}