log1.tex

% Cours de Logique 1ère à la HEB-ESI
% ----------------------------------
\documentclass[a4paper,oneside]{book}
\input{log1.sty}     % Style principal pour le bouquin
\input{algoesi.sty}  % Définition pour les algorithmes
\input{auto.sty}     % Style généré par l'outil de conversion 

\usepackage{makeidx} % pour générer un index
\makeindex

% Pour n'inclure que quelques chapitres
% (plus rapide en phase d'écriture)
% -------------------------------------
%\includeonly{log1-chapitre-liste}

% Constantes
% -----------------------------------------------
\newcommand{\ecole}{Haute École de Bruxelles}
\newcommand{\entite}{École Supérieure d'Informatique}
\newcommand{\entiteadresse}{Rue Royale 67 – 1000 Bruxelles}
\newcommand{\entitesite}{www.heb.be/esi}
\newcommand{\entitetel}{02/219.15.46}
\newcommand{\entitemail}{esi@heb.be}
\newcommand{\etude}{Bachelor en Informatique}
\newcommand{\cours}{Logique\\\&\\Techniques de programmation}
\newcommand{\siglecours}{LOG1}
\newcommand{\annee}{1\up{ère}}
\newcommand{\auteura}{L. Beeckmans}
\newcommand{\auteurb}{M. Codutti}
\newcommand{\auteurc}{G. Cuvelier}
\newcommand{\auteurd}{J. Dossogne}
\newcommand{\auteure}{A. Hallal}
\newcommand{\auteurf}{C. Leruste}
\newcommand{\auteurg}{E. Levy}
\newcommand{\auteurh}{N. Pettiaux}
\newcommand{\auteuri}{F. Servais}
\newcommand{\auteurj}{W. Willame}
\newcommand{\contact}{mcodutti@heb.be}
\newcommand{\ladate}{\today}

\title{Cours de Logique \annee}
\author{}
\date{\today}

% Les différentes parties du document
% -----------------------------------
\begin{document}
\include{log1-debut}
\include{log1-chapitre-intro}
\include{log1-chapitre-robot}
\include{log1-chapitre-sequentiel}
\include{log1-chapitre-alternative}
\include{log1-chapitre-module}
\include{log1-chapitre-structure}
\include{log1-chapitre-boucle}
\include{log1-chapitre-tableau}
\include{log1-chapitre-tri}
\include{log1-chapitre-tableau2D}
\include{log1-chapitre-oo}
\include{log1-chapitre-liste}
\include{log1-chapitre-fichier}
\include{log1-chapitre-rupture}
\include{log1-chapitre-donnee}
\appendix
%\include{log1-annexe-parcours-tab}
%\include{log1-annexe-suites}
\include{log1-annexe-aide-memoire}
\include{log1-fin}

%\printindex
%\addcontentsline{toc}{chapter}{Index}

\end{document}