\documentclass[10pt,a4paper,svgnames,openany,utf8,euler,biblio]{trmbookinfo2}
\usepackage{etex}
\usepackage{preambuleTrm}
\usepackage{lcd}
\usepackage[off]{auto-pst-pdf}
%\usepackage[scaled=0.85]{luximono}
\usepackage{caption,soul}
\captionsetup{labelformat=empty,font=footnotesize}


%\usepackage{bera}
%\usepackage[scaled=0.8]{beramono}
\usepackage{enumitem}

\usepackage{tikz}
\usetikzlibrary{automata,fit,trees,matrix,arrows,decorations.pathmorphing,shapes.arrows,chains,positioning,intersections,backgrounds,calc,through,mindmap}
\newcommand{\myunit}{1.1cm}
\usepackage{tkz-graph}
\usepackage{circuitikz}

\usepackage{Karnaugh}
%\usepackage[autolanguage]{numprint}

\usepackage{cclicenses}
\usepackage{cclicence}

\newcolumntype{A}{>{\arraybackslash}X}

\usepackage{textcomp}
\usepackage{ mathtools,xlop}

\hypersetup{
pdftitle={Poly d'Info 1 - Mathématique - IUT de Nantes}, % title
}
\usepackage[xcas]{pro-mat}

\usepackage{algo}

\renewcommand{\algocommentfont}{\small\ttfamily\itshape}

\newcommand\nor{\downarrow}
\newcommand\nand{\mid}


\setcounter{tocdepth}{2}



\graphicspath{{/home/moi/Lycee/TDmaple/2006_7/}{/home/moi/Figures/Arbres_Graphes/}{/home/moi/Figures/FigSTI/}{/home/moi/Figures/FigMaple/}{/home/moi/Photos/Maths/}{/home/moi/Photos/Tehessin/}{/home/moi/Figures/FigSTI/}{/home/moi/Figures/FigSeconde/}{/home/moi/Lycee/Informatique/XCAS/2008_9/}{/home/moi/Lycee/TDmaple/2008_9/}{/home/moi/IUT/Thierry/Conversions/}{/home/moi/Photos/informathix/}{/home/moi/Lycee/Informatique/PafAlgo/}{/home/moi/Figures/figuresAlice/}{/home/moi/Figures/FigSeconde/}{/home/moi/Biocam/robot/}{/home/moi/Biocam/CoursIni3d/}{/home/moi/Biocam/central/figures/}{/home/moi/Biocam/central/}{/home/moi/IUT/INFO2/Images/}{/home/moi/IUT/INFO2/2011_12/graphes/}}




\entet{\leftmark }{\rightmark }{\href{http://informathix.tuxfamily.org/}{Licence
    Creative Commons}\byncsa}%g,d,b




\title{Mathématique discrète et informatique
}

\author{ Guillaume \textsc{Connan} }

\date{ IUT INFO 1 / 2013-2014 }



\newcommand\soustitre{
  Licence Creative Commons
\CcGroupByNcSa{1.25}{1.25ex}

MAJ: \today
}


\coverillustration{\includegraphics[width=12cm]{kandinski}}



\newcommand{\Sage}{\textsf{Sage}\xspace}
\newcommand{\Python}{\textsf{Python}\xspace}
\newcommand{\Caml}{\textsf{CAML}\xspace}
\newcommand{\HS}{\textsf{Haskell}\xspace}


\renewcommand{\vect}{\ve}


%%% matrice dans une base

\renewcommand\mat[1][]{\ensuremath{{\rm mat}_{\BR#1}}}

\newcommand\mn[1][3]{ \ensuremath{\mathfrak{M}_{#1}(\bbr)\ }}



\lstset{
 language=haskell,
        escapeinside={(*@}{@*)},
        %numbers=left,
        commentstyle={\small\sffamily\color{gray}},
        keywordstyle={\small\ttfamily\color{black!70!blue}\bfseries},
        stringstyle={\small\ttfamily\color{gray}\itshape},
        basicstyle={\small\ttfamily},
        breaklines=true,
        breakatwhitespace=true,
        showtabs=False,
        showspaces=False,
        showstringspaces=False,
        extendedchars=true,
        %aboveskip=1em,
        %belowskip=1em,
        rulecolor=\color{gray},
        %rulesepcolor=\color{gray},
        %frame=trBL,
        frame=single,
        frameround=tttt,
        framerule=0.3pt,
        framesep=4pt,
        belowcaptionskip=2.1pt,
title={{\setlength{\fboxsep}{1pt}\fcolorbox{gray}{gray!10}{\sffamily\scriptsize
      \textcolor{gray!10}{\_}Haskell \textcolor{gray!10}{\_}}}}}

\newcommand\caml{
\lstset{
 language=caml,
        escapeinside={(*@}{@*)},
        %numbers=left,
        commentstyle={\small\sffamily\color{gray}},
        keywordstyle={\small\ttfamily\color{black!70!blue}\bfseries},
        stringstyle={\small\ttfamily\color{gray}\itshape},
        basicstyle={\small\ttfamily},
        breaklines=true,
        breakatwhitespace=true,
        showtabs=False,
        showspaces=False,
        showstringspaces=False,
        extendedchars=true,
        emph=[2]{In},
        emphstyle=[2]\color{black!70},
        morecomment=[l][\color{blue}]{Out},
        %aboveskip=1em,
        %belowskip=1em,
        rulecolor=\color{gray},
        %rulesepcolor=\color{gray},
        %frame=trBL,
        frame=single,
        frameround=tttt,
        framerule=0.3pt,
        framesep=4pt,
        belowcaptionskip=2.1pt,
title={{\setlength{\fboxsep}{1pt}\fcolorbox{gray}{gray!10}{\sffamily\scriptsize
      \textcolor{gray!10}{\_}OCaml \textcolor{gray!10}{\_}}}}}
}
\newcommand\scilab{
\lstset{
 language=caml,
        escapeinside={(*@}{@*)},
        %numbers=left,
        commentstyle={\small\sffamily\color{gray}},
        keywordstyle={\small\ttfamily\color{black!70!blue}\bfseries},
        stringstyle={\small\ttfamily\color{gray}\itshape},
        basicstyle={\small\ttfamily},
        breaklines=true,
        breakatwhitespace=true,
        showtabs=False,
        showspaces=False,
        showstringspaces=False,
        extendedchars=true,
        emph=[2]{In},
        emphstyle=[2]\color{black!70},
        morecomment=[l][\color{blue}]{Out},
        %aboveskip=1em,
        %belowskip=1em,
        rulecolor=\color{gray},
        %rulesepcolor=\color{gray},
        %frame=trBL,
        frame=single,
        frameround=tttt,
        framerule=0.3pt,
        framesep=4pt,
        belowcaptionskip=2.1pt,
title={{\setlength{\fboxsep}{1pt}\fcolorbox{gray}{gray!10}{\sffamily\scriptsize
      \textcolor{gray!10}{\_}Scilab \textcolor{gray!10}{\_}}}}}
}


\newcommand\pyth{
\lstset{
 language=sage,
        escapeinside={(*@}{@*)},
        %numbers=left,
        commentstyle={\small\sffamily\color{gray}},
        keywordstyle={\small\ttfamily\color{black!70!blue}\bfseries},
        stringstyle={\small\ttfamily\color{gray}\itshape},
        basicstyle={\small\ttfamily},
        breaklines=true,
        breakatwhitespace=true,
        showtabs=False,
        showspaces=False,
        showstringspaces=False,
        extendedchars=true,
        emph=[2]{In},
        emphstyle=[2]\color{black!70},
        morecomment=[l][\color{blue}]{Out},
        %aboveskip=1em,
        %belowskip=1em,
        rulecolor=\color{gray},
        %rulesepcolor=\color{gray},
        %frame=trBL,
        frame=single,
        frameround=tttt,
        framerule=0.3pt,
        framesep=4pt,
        belowcaptionskip=2.1pt,
title={{\setlength{\fboxsep}{1pt}\fcolorbox{gray}{gray!10}{\sffamily\scriptsize
      \textcolor{gray!10}{\_}Python \textcolor{gray!10}{\_}}}}}
}


\newcommand{\pythonc}{%
\lstset{
 language=sage,
        escapeinside={(*@}{@*)},
        %numbers=left,
        commentstyle={\small\sffamily\color{gray}},
        keywordstyle={\small\ttfamily\color{black!70!blue}\bfseries},
        stringstyle={\small\ttfamily\color{gray}\itshape},
        basicstyle={\small\ttfamily},
        breaklines=true,
        breakatwhitespace=true,
        showtabs=False,
        showspaces=False,
        showstringspaces=False,
        extendedchars=true,
        emph=[2]{In},
        emphstyle=[2]\color{black!70},
        morecomment=[l][\color{blue}]{Out},
        %aboveskip=1em,
        %belowskip=1em,
        rulecolor=\color{gray},
        %rulesepcolor=\color{gray},
        %frame=trBL,
        frame=single,
        frameround=tttt,
        framerule=0.3pt,
        framesep=4pt,
        belowcaptionskip=2.1pt,
title={{\setlength{\fboxsep}{1pt}\fcolorbox{gray}{gray!10}{\sffamily\scriptsize
      \textcolor{gray!10}{\_}Python \textcolor{gray!10}{\_}}}}}
}
\newcommand{\sagec}{%
\lstset{
 language=sage,
        escapeinside={(*@}{@*)},
        %numbers=left,
        commentstyle={\small\sffamily\color{gray}},
        keywordstyle={\small\ttfamily\color{black!70!blue}\bfseries},
        stringstyle={\small\ttfamily\color{gray}\itshape},
        basicstyle={\small\ttfamily},
        breaklines=true,
        breakatwhitespace=true,
        showtabs=False,
        showspaces=False,
        showstringspaces=False,
        extendedchars=true,
        emph=[2]{In},
        emphstyle=[2]\color{black!70},
        morecomment=[l][\color{blue}]{Out},
        %aboveskip=1em,
        %belowskip=1em,
        rulecolor=\color{gray},
        %rulesepcolor=\color{gray},
        %frame=trBL,
        frame=single,
        frameround=tttt,
        framerule=0.3pt,
        framesep=4pt,
        belowcaptionskip=2.1pt,
title={{\setlength{\fboxsep}{1pt}\fcolorbox{gray}{gray!10}{\sffamily\scriptsize
      \textcolor{gray!10}{\_}Sage \textcolor{gray!10}{\_}}}}}
}

\newcommand{\shell}{%
\lstset{
 language=sh,
        escapeinside={(*@}{@*)},
        %numbers=left,
        commentstyle={\small\sffamily\color{gray}},
        keywordstyle={\small\ttfamily\color{black!70!blue}\bfseries},
        stringstyle={\small\ttfamily\color{gray}\itshape},
        basicstyle={\small\ttfamily},
        breaklines=true,
        breakatwhitespace=true,
        showtabs=False,
        showspaces=False,
        showstringspaces=False,
        extendedchars=true,
        emph=[2]{In},
        emphstyle=[2]\color{black!70},
        morecomment=[l][\color{blue}]{Out},
        %aboveskip=1em,
        %belowskip=1em,
        rulecolor=\color{gray},
        %rulesepcolor=\color{gray},
        %frame=trBL,
        frame=single,
        frameround=tttt,
        framerule=0.3pt,
        framesep=4pt,
        belowcaptionskip=2.1pt,
title={{\setlength{\fboxsep}{1pt}\fcolorbox{gray}{gray!10}{\sffamily\scriptsize
      \textcolor{gray!10}{\_}Shell \textcolor{gray!10}{\_}}}}}
}


\fvset{%
fontfamily=courier,fontseries=b,formatcom=\color{black}}

%\includeonly{hommage,iut_intro,ens_rel,logic,caml_guide}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\setlength{\headheight}{23pt}


%\renewcommand\chaptername{TP}

\renewcommand\verb{\Verb}



\newcommand{\func}{\mathbf}
































\begin{document}


\thispagestyle{empty}
\maketitle
\date{Dernière mise à jour: \today}
\tableofcontents

%\renewcommand\chaptername{TD \No}
\include{MD1_13_ens}

%%% biblio et fin 

\nocite{*}
\bibliography{PolyMD1_13}


\end{document}

%%% Local Variables: 
%%% TeX-master: t
%%% End: 
