Problèmes d'informatique fondamentale

Ce recueil de problèmes corrigés vise à proposer des voyages initiatiques à quelques domaines de la science informatique. Ces problèmes ont tous été posés au concours d'entrée en troisième année de l'ENS de Cachan, section informatique, ou à feu l'option mathématiques de l'informatique de l'Agrégation de mathématiques. Ils ont été conçus par des enseignants chercheurs en informatique du CNRS ou de l'Université, et ont pour but principal de tester la capacité des étudiants à comprendre des concepts nouveaux pour eux et à raisonner sur ces concepts. Il s'agit par là de tenter de les mettre dans la situation d'un chercheur et d'évaleur ainsi leur aptitude.

Contenu
I. Sujets: Petites questions d'algorithmique.- Énumération et réseaux.- Traces finies.- Recherche de motifs.- Bisimulation.- Jeux.- Semi-groupes et logique temporelle.- Automates et invariants. II. Corrigés: Petites questions d'algorithmique.- Énumération et réseaux.- Traces finies.- Recherche de motifs.- Bisimulation.- Jeux.- Semi-groupes et logique temporelle.- Automates et invariants.