Les démonstrations et les algorithmes Introduction à la logique et à la calculabilité

Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux concepts fo...

 Les principes des langages de programmation

Les langages de programmation ont profondément changé notre rapport au langage, à la complexité et aux machines. Ce livre propose une introduction aux principes autour desquels ces langages sont organisés. Il utilise le langage Java comme support. Le p...

 Chimie moléculaire, sol-gel et nanomatériaux

Cet ouvrage se situe dans une des perspectives du développement de la chimie dans le cadre des nanosciences. Il a pour objet de présenter les avancées dans la conception et le développement de nouveaux matériaux devenus possibles grâce aux méthodes de pol...

 Physique des électrons dans les solides - Volume 2 Recueil d'exercices et de problèmes

L'observation des propriétés physiques des solides met en évidence l'émergence de comportements originaux, tels la supraconductivité ou le magnétisme qui pourraient difficilement être anticipés par la seule connaissance des atomes constituants. Ce sont le...

 Physique des électrons dans les solides - Volume 1 Structure de bandes, supraconductivité et magnétisme

L'observation des propriétés physiques des solides met en évidence l'émergence de comportements originaux, tels la supraconductivité ou le magnétisme, qui pourraient difficilement être anticipés par la seule connaissance des atomes constituants. Ce sont l...

  Mécanique des milieux continus - Tome II Thermoélasticité

L'ouvrage s'adresse aux élèves des grandes Écoles scientifiques et aux étudiants des universités dont le cursus intègre un enseignement de mécanique des milieux continus. Il peut également aider à l'approfondissement des connaissances dans le cadre d'une ...

 Sur la dynamique des groupes de matrices et applications arithmétiques Journées mathématiques X-UPS 2007

Ce volume explore les liens entre nombres et géométries, à partir d'objets de nature dynamique. Il montre toute la richesse de ces relations sur l'exemple de la résolution par G. Margulis d'une célèbre conjecture sur les valeurs prises par des polynômes. ...

 Promenade aléatoire Chaînes de Markov et simulations martingales et stratégies

La modélisation et l'analyse des systèmes - qu'ils soient biologiques, physiques, informatiques ou économiques - supposent la prise en compte de deux paramètres essentiels : le temps et l'incertain. La distinction du passé (connu) et du futur (à esti...

 Calcul variationnel

Ce cours a comme ambition de présenter les concepts de base permettant de discuter quelques problèmes classiques du calcul des variations. Tout en donnant des méthodes de portée générale, il est centré autour de la recherche des extremums d'une fonction d...

 Bases physiques de la plasticité des solides

Le présent ouvrage reprend la matière d'un cours enseigné en troisième année de l'École Polytechnique dans le cadre de la "majeure" de mécanique. Cette option est suivie par les étudiants de l'École qui souhaitent se spécialiser, par la suite, dans l'un d...

 Analyse des solides déformables par la méthode des éléments finis

Cet ouvrage propose une présentation structurée de la formulation et la mise en oeuvre de la simulation numérique par éléments finis en mécanique des solides déformables. Il présente et développe les concepts et techniques permettant la transposition, en ...

 Théorie algorithmique des nombres et équations diophantiennes Journées mathématiques X-UPS 2005

La théorie algorithmique des nombres permet d'aborder avec un ordinateur l'étude des équations diophantiennes, c'est-à-dire la résolution en nombres entiers d'équations algébriques. Les journées X-UPS sont un stage de formation organisé par le Centre de M...

 Théorie des jeux Introduction à la théorie des jeux répétés

La théorie mathématique des jeux est née dans la première moitié du XXe siècle, pour formaliser et résoudre des problèmes de nature économique ou stratégique. Après une présentation des fondements de la théorie, les exposés de ce volume en développent un ...

 Vibrations des structures couplées avec le vent

Cette introduction aux vibrations des structures sous l'action du vent s'adresse à un public d'ingénieurs ou d'élèves ingénieur possédant une culture de base en mécanique des vibrations et des fluides et souhaitant appréhender ces problèmes du point de vu...

 Introduction à la théorie des langages de programmation

La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la...