Rechercher

Une introduction à l’informatique fondamentale présentant tous les grands domaines de la théorie des langages formels aux notions de calculabilité et de complexité.

L'ouvrage permet aux étudiants en Master de mathématiques de maîtriser l'essentiel du programme de statistiques.

Un manuel de référence pour maîtriser la statistique mathématique au programme du Master et de l’Agrégation externe de mathématiques avec un cours complet et des problèmes d’application corrigés.

Ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification. Il traite de manière très pédagogique des éléments de stratégie pour vérifier et pour concevoir des logiciels.