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 premier objectif de ce livre est donc l'apprentissage des rudiments de Java. Cependant, connaître un langage de programmation unique ne suffit pas pour savoir programmer. Il faut, pour cela, non seulement connaître plusieurs langages, mais surtout être capable d'en apprendre rapidement un nouveau. Cela demande de savoir distinguer les concepts universels, comme celui de fonction ou de cellule, qui reviennent sous une forme ou une autre dans tous les langages de programmation, de la manière particulière dont ils sont utilisés en Java. Et cela ne peut se faire qu'en comparant le langage que l'on apprend à d'autres. Dans ce livre, deux langages de comparaison ont été choisis: Caml et C. Comprendre les principes des langages de programmation demande également d'acquérir des outils qui permettent de décrire précisément la signification d'un programme et cette acquisition constitue le deuxième objectif de ce livre. Le dernier est l'apprentissage des algorithmes de base sur les listes et les arbres. Ce livre, destiné aux étudiants de niveau licence qui ont déjà une petite expérience de programmation, présente ce que tous les ingénieurs et scientifiques, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Biographie de l'auteur Gilles Dowek est professeur à l'Ecole Polytechnique et chercheur à l'Institut National de Recherche en Informatique et en Automatique et au Laboratoire d'Informatique de l'Ecole Polytechnique. Ses travaux portent sur la formalisation des mathématiques et sur la mécanisation du raisonnement. Sa principale contribution est une reformulation de la méthode axiomatique qui donne une place centrale à la notion de calcul.
Commandé avant 16h, livré demain
Nombre de pages
171
Date de parution
11/12/2008
Poids
314g
Largeur
170mm
Plus d'informations
Plus d'informations
EAN
9782730215268
Titre
Les principes de langages de programmation
Auteur
Dowek Gilles
Editeur
ECOLE POLYTECH
Largeur
170
Poids
314
Date de parution
20081211
Nombre de pages
171,00 €
Pourquoi choisir Molière ?
Efficacité et rapiditéCommandé avant 16hlivré demain
Économique et pratiqueLivraison à domiciledès 5,10 €
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 fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gôdel, le théorème de semi-décidabilité de la démontrabilité, - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.
Interpréter les résultats? Pourquoi n'interroge-t-on que si peu de personnes? Certains sondages sont-ils plus fiables que d'autres? Que peut-on leur faire dire et que ne peut-on pas? Comment choisit-on les personnes interrogées? Peut-on s'apercevoir qu'elles ont menti ou qu'elles se sont trompées?
Ce livre contient une dizaine de jeux mathématiques à pratiquer en solitaire ou en famille. Chaque jeu est présenté sous la forme d'une question qu'un mathématicien en vacances, ou un vacancier curieux, pourrait se poser en somnolant sur une plage. Chaque question se rapporte à l'un des grands problèmes mathématiques du passé ou du présent.
Cet ouvrage propose une présentation structurée de la formulation et la mise en ?uvre 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 termes de codes de calcul de structures mécaniques industrielles, des notions fondamentales de mécanique des milieux continus solides, et ce dans le cadre d'analyses en régimes (a) statique linéaire, (b) quasistatique non-linéaire et (c) dynamique linéaire. L'exposé théorique est complété et illustré au moyen de programmes d'initiation écrits en Matlab (librement accessibles par Internet) mettant en ?uvre les notions développées dans cet ouvrage et conçus comme support pratique à un enseignement. Le texte combine ainsi l'exposition des principes et des méthodes avec la présentation détaillée de ces programmes et d'exemples les mettant en ?uvre. L'ouvrage est complété d'une annexe écrite par Andrei Constantinescu (directeur de recherche au CNRS) présentant la mise en ?uvre des principaux concepts dans l'environnement Cast3M développé par le CEA. Issu d'un enseignement de l'Ecole Polytechnique, cet ouvrage s'adresse aux étudiants d'école d'ingénieur ou de 2e ou 3e cycles universitaires, ainsi qu'aux ingénieurs et chercheurs. Il constitue une suite naturelle à un enseignement de mécanique des milieux continus
François Golse est professeur des universités et professeur à l'Ecole polytechnique. Ses recherches portent sur l'analyse des équations aux dérivées partielles de la physique mathématique. La théorie des distributions, construite par Laurent Schwartz vers 1950, est le cadre le mieux adapté à l'étude systématique des équations aux dérivées partielles. L'objectif de ce livre est de donner un exposé approfondi du calcul des distributions permettant d'aborder la plupart des questions relatives à l'analyse des équations aux dérivées partielles linéaires à coefficients constants. Le cas des équations aux dérivées partielles d'ordre un, étudié au début de l'ouvrage, sert de motivation à la notion de distribution et aux principales opérations du calcul des distributions (dérivation, multiplication par une fonction indéfiniment dérivable, produit de convolution, transformation de Fourier...). L'étude détaillée de ces différentes opérations occupe la première partie de ce livre. La deuxième partie de l'ouvrage est consacrée à une présentation de la théorie des équations aux dérivées partielles linéaires à coefficients constants d'ordre supérieur à un. Cette théorie est présentée à travers les principaux exemples d'équations aux dérivées partielles de la physique mathématique (équations de Laplace et de Poisson, de la chaleur, de Schrödinger et des ondes), étudiées systématiquement du point de vue de la notion de " solution élémentaire " et de " solution au sens des distributions des problèmes de Cauchy ". Cet ouvrage ne fait appel qu'au minimum des notions de topologie et d'analyse (intégration, calcul différentiel, fonctions holomorphes d'une variable complexe...) indispensable à l'exposé. Toutes les notions présentées sont illustrées par de très nombreux exemples traités en détail. Ce livre s'adresse principalement aux étudiants en master de mathématiques et aux élèves des écoles d'ingénieurs, ainsi qu'aux candidats à l'agrégation de mathématiques.
Avec le sens de la prophétie qui l'habitait, Victor Hugo faisait s'exclamer en ces termes euphoriques l'étudiant Enjolras dans ses Misérables (1862) : " Citoyens, le XIXe siècle est grand mais le XXe sera heureux. Alors plus rien de semblable à la vieille histoire, on n'aura plus à craindre comme aujourd'hui une conquête, une invasion, une rivalité de nations à main armée, une interruption de civilisation dépendant d'un mariage de rois, et l'échafaud et le glaive, et les batailles et tous les brigandages du hasard dans la forêt des événements. On pourrait presque dire : il n'y aura plus d'événements. On sera heureux. " Un siècle plus tard, c'est un autre constat que lui opposent les philosophes. " Il n'y aura pas d'histoire universelle conduisant de la barbarie à l'humanité mais bien une histoire universelle conduisant de la fronde à la bombe H ", lui rétorque ainsi laconiquement Théodor Adorno. Que s'est-il donc passé entre l'utopie hugolienne et ce retour au réel " inhumain " ? Comment le XXe siècle a-t-il mis un abîme entre Victor Hugo et nous ? Comment pouvons nous penser cet abîme et donc ce siècle ? Tel est l'objet de cet essai. Ce livre est né d'un cours en 8 leçons prononcé au sein du département Humanités et sciences sociales de l'Ecole polytechnique par Alain Finkielkraut de 1998 à 2000 devant trois promotions successives d'étudiants. Il s'adresse en fait à tous ceux qui, à l'heure de sa " fin " ou de son " repli ", souhaitent " penser " le XXe siècle, ses acteurs et ses enjeux.
Cet ouvrage est destiné aux étudiants de maîtrise, DEA et thèse travaillant sur la chimie des métaux de transition et la catalyse homogène ainsi qu'aux professeurs et chercheurs non spécialistes qui souhaitent se familiariser rapidement avec ce domaine en pleine expansion. Cet ouvrage présente les principaux faits de la chimie moléculaire des métaux de transition sous deux angles complémentaires. Le premier angle de vue est descriptif avec un choix d'objets et de réactions suffisamment sélectif pour éviter un effort de mémoire trop important. Le deuxième angle est explicatif avec une rationalisation qualitative des structures et des réactivités observées sur la base du formalisme des orbitales frontières. Le lecteur peut ainsi maîtriser facilement les bases de cette chimie non classique. Ces bases descriptives et théoriques sont complétées par un survol des principales applications en synthèse organique et en catalyse homogène. Un choix de 300 références bibliographiques, certaines très récentes, lui permet en outre d'approfondir les points qui ont attiré son attention.