\chapter*{Bibliographie (suite)}


\begin{description}
\item[Outils mathématiques pour l'informaticien, \emph{Michel Marchand} [De Boeck]] : les thèmes abordés sont proches de ce cours de mathématiques discrètes (notre première année y est plus détaillée que la partie concernant automates, graphes et langages).

On y trouve des exercices, corrigés, parfois repris dans ce support. Cependant, le formalisme choisi s'éloigne par moment de celui adopté dans notre document, ce qui pourrait en destabiliser certains.

\item[Méthodes mathématiques pour l'informatique, \emph{Jacques Vélu} [Dunod]] : Reprend une grande partie du cours de mathématiques discrètes, et y ajoute un peu de probabilités et d'algèbres linéaires. Contient des exercices corrigés. Un peu dense par moment, mais une bonne référence quand même.

\item[Le magazine Tangente] : que l'on trouve chaque mois chez les bons marchants de journaux. Niveau lycée et plus. On y trouve fréquemment des articles sur les graphes, la logique, le cryptage, etc. Ludique et plaisant, pour ceux qui aiment les mathématiques, veulent les découvrir. Les hors-séries sur la logique, sur les codes secrets, etc. me servent à trouver des idées de TP, ou à enrichir le cours.

\item[Introduction à la logique, \emph{François Rivenc} [Petite Bibliothèque Payot]] : Pour un public avertis, souhaitant étudier plus systématiquement la logique, sous ses aspects mathématiques et philosophiques.

\item[http://www.apprendre-en-ligne.net/] Site de Didier Müller, sur lequel j'ai repris la partie graphes. A noter une autre partie (très riche, bien fournie) consacrée à la cryptographie, et un blog très intéressant sur les mathématiques.
\end{description}
