%% Last modified: <PolyMD1_14.tex modifié par  Guillaume CONNAN le samedi 13 septembre 2014 à 16h 09min 25s>


\documentclass[10pt,a4paper,svgnames,openright,euler,biblio,utf8x]{trmbookinfo3}
%\documentclass{trmbookipt}
\usepackage{etex}

\usepackage{preambuleTrm}


%\AtBeginEnvironment{tikzpicture}{\catcode`$=3 } % $




\usepackage{lcd}
\ifpdf \DeclareGraphicsRule{*}{mps}{*}{} \fi
%\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{picins}

\renewcommand{\theenumi}{\bfseries\color{\exercicecolor}\fontfamily{ugq}\selectfont\arabic{enumi}}
\renewcommand{\labelenumi}{\theenumi.}

\renewcommand{\theenumii}{\roman{enumii}}
\renewcommand{\labelenumii}{\bfseries\color{\exercicecolor}\fontfamily{ugq}\selectfont\theenumii.}
 




\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,tikz-uml}
\input{patch-tkz-graph}
\usepackage{tikz-qtree}
%\usepackage{circuitikz}
%\usepackage{Karnaugh}
%\usepackage[autolanguage]{numprint}

\usepackage{cclicenses}
\usepackage{cclicence}

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

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

\hypersetup{
pdftitle={Mathématique - Maths discrètes - 1ère année -
  IUT Nantes)}, % title
}
%\usepackage[xcas]{pro-mat}

\usepackage{algo}

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

\newcommand{\triangleup}{\Delta}

\newcommand\nor{\downarrow}
\newcommand\nand{\uparrow}


\setcounter{tocdepth}{2}



\graphicspath{{/home/moi/IUT/Figures/}{/home/moi/VISA_III/figures_visa/}{/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/}{/home/moi/IUT/INFO1/CM1/}{/home/moi/Figures/figuresTS/}{/home/moi/Photos/Tehessin/}{/home/moi/Figures/FigSTI/}{/home/moi/Alice/figures3/}{/home/moi/Alice/figures3/newcourbes/}{/home/moi/Alice/figures/}{/home/moi/Figures/figuresAlice/}{/home/moi/Photos/Maths/}{/home/moi/Lycee/TS/}{/home/moi/Lycee/TS/2009_10/}{/home/moi/Figures/FigMaple/}{/home/moi/Figures/figuresTS/newcourbes/}{/home/moi/Figures/FigEspace/}{/home/moi/PROG/HASKELL/FLOAT/}}




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




\title{ Math et Info : \\ une histoire \\ d'amour
}

\author{ Guillaume \textsc{Connan}}

\date{ DUT INFO / 1\up{ère} année / 2014 - 2015 }



\newcommand\soustitre{
  Licence Creative Commons

\CcGroupByNcSa{1.25}{1.25ex}

Mis à jour le \today{} à \now
}


\coverillustration{\includegraphics[width=6cm]{sumo}}



\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)\ }}

\newcommand\foncpart{\rightarrow\!\!\!\!\!\!\shortmid}
\newcommand\fonctot{\rightarrow}
\newcommand\injpart{\rightarrowtail\!\!\!\!\!\!\!\shortmid}
\newcommand\injtot{\rightarrowtail}
\newcommand\surjpart{\twoheadrightarrow\!\!\!\!\!\!\!\shortmid}
\newcommand\surjtot{\twoheadrightarrow}
\newcommand\bijpart{\rightarrowtail\!\!\!\!\!\!\!\shortmid\!\!\!\!\twoheadrightarrow}
\newcommand\bijtot{\rightarrowtail\!\!\!\!\!\!\!\!\!\twoheadrightarrow}


\usepackage{bold-extra}



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

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

\setlength{\headheight}{23pt}

%\setlength{\baselineskip}{1em}

%\renewcommand\chaptername{TP}

\renewcommand\verb{\Verb}



\newcommand{\func}{\mathbf}



% pour les docs de Michel
\usepackage{boxedminipage}




\begin{document}


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

\cleardoublepage
{%\small
\tableofcontents
}

{%\small
\renewcommand\chaptername{Th{\`e}me }
\include{intro}
\include{introHask}
\include{introTypes}
\include{introFonc}
%\include{introStructures}


%annexes
\include{emacs_kb}
%\include{logique_haskell}
\include{cm1}

}

%biblio et fin 
\renewcommand{\bibname}{Lectures recommand\'ees pour aller plus loin}
\nocite{*}
\bibliography{PolyMD1_14}


\end{document}


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