Langages formels - Calculabilité et complexité Option informatique de l'agrégation de mathématiques - Licence et master de mathématiques ou d'informatique

Discipline en plein essor, l'informatique fondamentale foisonne déjà de résultats remarquables. De la théorie des langages formels aux notions de calculabilité et de complexité, cet ouvrage facile d'accès constitue une introduction à l'informatique fondam...

 Logique Méthodes pour l'informatique fondamentale - Volume 1

Ce premier volume, Méthodes pour l'informatique fondamentale, contient un exposé des calculs des propositions et des prédicats, ainsi qu'une introduction aux théories du premier ordre. L'accent est mis sur l'aspect calculatoire, essentiel pour l'applicati...

 Problèmes d'informatique fondamentale Voyage au pays de l'informatique fondamentale au gré de problèmes de concours

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 ...