si vous en connaissez d'autres signalez-les moi;
Des pages en rapport avec l'enseignement de l'option:
Le
cours d'algorithmique et programmation de l'X.
certains
chapitres, par exemple la récursivité, nous concernent
directement; d'autres débordent de notre programme.
The Stony Brook algorithm repository: Un catalogue d'algorithmes et d'implémentations dans différents langages, fait par l'université de New-York.
le rapport d'enquête sur le crash d'Ariane 5: c'est la démonstration qu'il serait utile de pouvoir prouver la justesse des programmes.
Une liste de cours d'algorithmique dans les universités américaines; pour ceux qui aiment se promener sur le Web, on y trouve des cours, des sujets d'examen...
Spédago une base de données de cours d'informatique sur le web; fait par l'association Specif.
Des pages diverses:
Le guide Internet: pour tout savoir sur la pratique d'Internet.
AsTeX une distribution de TeX pour Windows.
(La)TeX Navigator: tout sur TeX et LaTeX.
Debian GNU/Linux pour installer linux sur son PC.
gnu-win32: une version Windows des utilitaires GNU: si vous ne voulez pas installer linux mais que vous voulez vous croire un peu sous Unix.
ntemacs: l'éditeur emacs sous Windows.
Si certains de ces liens ne fonctionnent plus, ou si vous en avez d'autres intéressants que l'on pourrait placer ici faites-le moi savoir: hubert.fauque@inria.fr