Je viens de découvrir que l´ensemble des cours d´informatique de mon prof. d´info sont disponibles en ligne :
http://pauillac.inria.fr/~quercia/
http://pauillac.inria.fr/~quercia/cdrom/cours/index.html#cours
(Lien direct vers)
Même si le language utilisé pour le traitement des exemples est le langage CAML, l´ensemble des notions exposées au fil des pages s´appliquent sur n´importe quel language, car traitant abstraitement de l´algorithmie en général.
Y sont notament abordés les mecanismes d´évaluation d´une formule, l´évaluation de la complexité des algorithmes, la récursivité terminale, la manipulation d´expressions régulières et les langages réguliers, les automates finis etc...
Ensemble de concepts généralement absents ou très superficiellement développés dans les livres de programmations ciblant l´apprentissage d´un language spécifique et/ou d´informatique grand public.
C´est de niveau mpsi/mp et pas forcément accessible à tous niveaux, mais cela devrait intéresser tout ceux qui désirent explorer les concepts mentionnés plus haut, d´autant que le cours est vraiment très bien réalisé...