Logique pour l'informatique Introduction à la déduction automatique - Cours et exercices - Licence informatique

Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. Ces derniers exigent à leur tour le recours à un formalisme rigoureux : bien écrit, un langage de programmation réduira les obst...

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

 L'intuition, la créativité et la rigueur en géométrie L'épreuve sur dossier du Capes externe de Mathématiques

Ce livre aborde les thématiques de Géométrie couramment proposées à l'épreuve sur dossier du CAPES de Mathématiques (étude de configurations, recherche de lieux géométriques, construction de figures, calcul de grandeurs, détermination d'extrema, visualisa...

 Calculatrice scientifique en lycée et à l'oral du Capes de mathématiques Des exemples d'utilisation pédagogique raisonnée

Cet ouvrage s'adresse aux professeurs et aux étudiants de mathématiques : il constitue en particulier une préparation à l'épreuve sur dossier du Capes. Les auteurs ont dressé une liste de problèmes et d'exercices corrigés de niveau lycée : le...

 Agrégation de mathématiques - Questions délicates en algèbre et géométrie Cours et exercices

Ce livre s'adresse aux candidats à l'agrégation de mathématiques. Il pourra également être utile aux étudiants de Licence, de Master et d'écoles d'ingénieurs désireux d'approfondir leurs connaissances en mathématiques. L'oral de l'agrégation pose deux ...

 Introduction à la résolution des systèmes polynomiaux

Les équations polynomiales apparaissent dans de nombreux domaines, pour modéliser des contraintes géométriques, des relations entre des grandeurs physiques, ou encore des propriétés satisfaites par certaines inconnues. Cet ouvrage est une introduction aux...

 Analyse à plusieurs variables Capes - Agrégation - Licence - Maîtrise

Cet ouvrage, constitué d'un cours et d'exercices corrigés portant sur l'Analyse à plusieurs variables réelles, s'adresse à des étudiants préparant les concours du CAPES et de l'agrégation de mathématiques (externe ou interne). Il vient en complément du...