Aller au contenu principal
48 résultats trouvés

Langages formels

Calculabilité et complexité

Olivier Carton
2e édition | 2014 | 256 pages | 9782311014006

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

Voir la fiche détaillée
Livre28,90 €
Disponible
Ajouter au panier

Algèbre

Arithmétique pour l'informatique

Pierre Wassef
1re édition | 2014 | 224 pages | 9782311009965

Rédigé à l’attention des étudiants en deuxième et troisième années de Licence de mathématiques et d’informatique, ce cours d’arithmétique est illustré de plus de 130 exercices corrigés.

Voir la fiche détaillée
Livre25,90 €
Disponible
Ajouter au panier

Probabilités et tests d'hypothèses

François Cottet-Emard
1re édition | 2014 | 608 pages | 9782804184667

Cet ouvrage regroupe les probabilités et les tests d'hypothèses enseignés au cours du premier cycle, aussi bien dans les filières mathématiques que biologiques ou appliquées. Les notions sont présentées de façon simple, claire et accessible.

Voir la fiche détaillée
Livre35,00 €
Disponible
Ajouter au panier

Statistiques

Cours et exercices corrigés – Master

Jérôme Depauw
1re édition | 2012 | 176 pages | 9782311009941

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

Voir la fiche détaillée
Livre21,90 €
Disponible
Ajouter au panier

Statistique mathématique en action

Cours et problèmes d'application corrigés – Master & Agrégation externe

Gilles Stoltz, Vincent Rivoirard
2e édition | 2012 | 448 pages | 9782311007206

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.

Voir la fiche détaillée
Livre42,90 €
Disponible
Ajouter au panier

Cours et exercices corrigés d'algorithmique

Vérifier, tester et concevoir des programmes en les modélisant

Jacques Julliand
1re édition | 2010 | 272 pages | 9782311000207

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.

Voir la fiche détaillée
Livre31,50 €
Disponible
Ajouter au panier

Les mathématiques de la physique quantique

Jean-Louis Basdevant
1re édition | 2009 | 96 pages | 9782711722303

Rédigé par un professeur de l'École polytechnique dont les ouvrages constituent la référence actuelle en physique quantique, ce manuel expose, avec le souci de la clarté et de l'efficacité, les techniques mathématiques indispensables au maniement de la mécanique quantique, de son apprentissage à sa pratique.

Voir la fiche détaillée
Livre18,90 €
Disponible
Ajouter au panier

Tout le programme de mathématiques en BCPST 1

avec 1000 exercices et problèmes résolus

Frédéric Cadet
1re édition | 2007 | 736 pages | 9782711740291

Grâce à une pédagogie progressive, réellement adaptée aux élèves qui sortent de Terminale S, Frédéric Cadet réussit à enseigner des méthodes efficaces sans pour autant sacrifier les idées mathématiques sous-jacentes, celles-là qui structurent les mathématiques telles qu’on les pratique au plus haut niveau.

Voir la fiche détaillée
Livre53,50 €
Disponible
Ajouter au panier