syllabus.tex

\documentclass[a4paper,11pt,final]{report}
% Pour une impression recto verso, utilisez plutôt ce documentclass :
%\documentclass[a4paper,11pt,twoside,final]{report}

% Pour des marges plus petites, vous pouvez utiliser ce package: 
%\usepackage[top=2cm, bottom=2cm, left=2cm, right=2cm]{geometry}
% http://tex.stackexchange.com/questions/71172/why-are-default-latex-margins-so-big
\usepackage[english,francais]{babel}
\usepackage[normalem]{ulem}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[pdftex]{graphicx} % needed by: 13, 14
\usepackage{setspace}
\usepackage{hyperref}
\usepackage{fourier-orns}
\usepackage{amsmath} % needed by: 13, 14
\usepackage{algorithm2e} % needed by: 15
\usepackage{mathtools}
\usepackage{systeme}
\usepackage{amssymb} % needed by: 13, 14
\usepackage[usenames,dvipsnames]{color}
\usepackage{cancel} % needed by: 9
\usepackage{framed}
\usepackage{lmodern} % needed by: 14, 17
\usepackage{listings} % needed by: 14, 17
\usepackage{pgf,tikz} % needed by: 14, 17, 20
\usepackage{array} % needed by: 14, 17
\usepackage{amsfonts} % needed by: 13, 14
\usepackage{lmodern} % needed by: 13
\usepackage{mathrsfs}

\usetikzlibrary{arrows}

\definecolor{mygreen}{rgb}{0,0.6,0} % needed by: 14, 17
\definecolor{mygray}{rgb}{0.5,0.5,0.5} % needed by: 14, 17
\definecolor{mymauve}{rgb}{0.58,0,0.82} % needed by: 14, 17

\selectlanguage{french}

\DeclareUnicodeCharacter{22A8}{\tautologie}
\DeclareUnicodeCharacter{22AD}{\contradiction}

\newcommand{\reporttitle}{LINGI1101\\
\vspace{0.5\baselineskip}
Logique et Structures Discrètes\\     % Titre
\vspace{\baselineskip}
{\Large \em (version préliminaire du 10 juillet 2015)}}
\newcommand{\reportauthor}{Peter \textsc{Van Roy}} % Auteur
\newcommand{\reportsubject}{ } % Sujet
\newcommand{\HRule}{\rule{\linewidth}{0.5mm}}
\setlength{\parskip}{1ex} % Espace entre les paragraphes

\newcommand{\true}{\mathrm{true}}
\newcommand{\false}{\mathrm{false}}
\newcommand{\val}{\mathrm{val}}
\newcommand{\VAL}{\mathrm{VAL}}

\hypersetup{
    pdftitle={\reporttitle},%
    pdfauthor={\reportauthor},%
    pdfsubject={\reportsubject},%
    pdfkeywords={logique} {graphes} {lingi1101} {propositions} {prédicats} {prolog}
}

\begin{document}
  \include{title}
  \cleardoublepage % Dans le cas du recto verso, ajoute une page blanche si besoin
  \tableofcontents % Table des matières
  \sloppy          % Justification moins stricte : des mots ne dépasseront pas des paragraphes
  \cleardoublepage
  \include{remerciements}
  \cleardoublepage
  % \cleardoublepage
  \include{partie1}
  \include{partie2}
  \include{partie3-5}
  \include{partie6-14}
  \include{partie15-16}
  \part{Structures discrètes sur Internet}
  \include{partie17}
  \include{partie18}
  \include{partie19}
  \include{partie20}
  \include{partie21}
  \include{partie22}
  \include{partie23}
  \include{partie24}
  \include{partie25}
  % \newpage
  \include{references}
\end{document}