Notre site web sera en maintenance ce mardi 3 février après-midi. Les commandes enregistrées ne subirons pas de retard de traitement.
Les principes de langages de programmation
Dowek Gilles
ECOLE POLYTECH
18,30 €
Épuisé
EAN :9782730215268
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.
Résumé : " Imaginons un monde dans lequel les enfants rêvent de devenir maçons, les paparazzi traquent, les boulangers, les oeuvres d'art usagées traînent dans les décharges, les meilleurs collégiens s'orientent vers les lycées techniques, la naïveté des Juifs en affaire est légendaire et les consommateurs se méfient des produits naturels. Rien dans ce monde ne serait absurde. Mais ce n'est pas le nôtre ". En cherchant à comprendre d'où viennent les préjugés qui encombrent nos discours sur la science et sur la technique, Gilles Domek, s'interroge sur la place du travail et de l'écriture dans notre monde contemporain. Et il en arrive à cette surprenante hypothèse que ces préjugés oui peut-être une origine très lointaine...
Résumé : Très valorisé dans notre monde "raisonnable", le raisonnement n'est pas le seul moyen d'accéder à la vérité. Parfois introduit comme un prolongement du calcul, le raisonnement se révèle a posteriori d'une nature très différente : il ne repose pas sur une méthode systématique, de donne pas toujours une réponse, et sa cohérence ne peut pas être démontrée ! Mais comprendre la nature du raisonnement aide-t-il à raisonner ? Selon Gilles Dowek, la réponse est à trouver dans les propriétés mêmes du raisonnement ! La logique, quant à elle est une étape annoncée et nécessaire de la pensée déductive.
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.
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.
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.
Fruit d'une longue expérience méthodologique et pratique de l'enseignement en France comme au Japon, "Sanpo 1 - promenade -" est le premier volume d'une méthode de japonais constituée de trois niveaux. Développé par trois enseignantes de japonais exerçant dans l'enseignement supérieur, "Sanpo 1 - promenade -" constitue une première initiation à la langue japonaise et s'adresse tant aux élèves des grandes écoles qu'aux étudiants non-spécialistes de l'université ou à des adultes en France. Divisé en huit chapitres, l'ouvrage propose un apprentissage rapide et ciblé autour de l'acquisition d'actes de parole de la vie quotidienne, permettant à l'apprenant de développer des savoir-faire et savoir-être indispensables à toute communication réussie. Chaque unité est constituée : d'un dialogue de la vie quotidienne, d'une présentation grammaticale succincte liée aux notions de l'unité, d'activités d'application permettant de mettre en pratique de façon individuelle ou collaborative les notions étudiées, d'une liste du vocabulaire abordé dans l'unité. Vous y trouverez également des "ZOOM" sur des faits linguistiques/socioculturels. En fin d'ouvrage, vous trouverez : un glossaire des termes en français et japonais, des annexes (nombres, heures, dates, etc.). Et également : une fiche récapitulative de grammaire, un cahier d'exercices et corrigés. En vous souhaitant un bon apprentissage.
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.
Cet ouvrage s'adresse à un public de deuxième cycle ayant déjà effectué un premier apprentissage en mécanique des fluides. Il forme la base du cours enseigné dans la majeure Planète Terre en fin de troisième année du cursus polytechnicien. Dans l'ensemble de l'ouvrage, la démarche consiste à mettre à la portée d'un lecteur ne disposant que d'un bagage mathématique restreint (les équations aux dérivées partielles linéarisées) des modèles simplifiés qui permettent d'analyser l'essentiel des effets physiques responsables des propriétés particulières des écoulements géophysiques. Le chapitre 1 présente le mouvement de l'atmosphère et de l'océan, tel que nous le révèlent les observations effectuées en routine par les instituts météorologiques, les satellites, et les navires océanographiques, Le chapitre 2 introduit les équations de base de la mécanique des fluides, dans l'approximation de Boussinesq, qui sera utilisée dans tout l'ouvrage. Les caractéristiques particulières des écoulements géophysiques (stratification, rotation) sont discutées en détail au chapitre 3. Le chapitre 4 introduit le modèle de Saint-Venant, un prototype simple des écoulements géophysiques qui ouvre la voie à de nombreuses applications, comme l'étude des ondes de marée. Le chapitre 5 aborde les écoulements quasi-géostrophiques, discute la propagation des ondes de Rossby et le phénomène d'instabilité barocline, à l'origine des perturbations météorologiques des latitudes tempérées. Le chapitre 6 présente les phénomènes liés à la turbulence au voisinage du sol. Le chapitre 7 présente une étude comparative des mouvements convectifs de l'atmosphère et de l'océan. Le chapitre 8 discute les traits principaux de la circulation générale de l'atmosphère terrestre, et ses aspects énergétiques. Le chapitre 9 aborde de même la circulation générale de l'océan, en présentant les principaux modèles d'écoulements dans des bassins fermés. Enfin, le chapitre 10 discute les effets du couplage entre l'océan et l'atmosphère, notamment en zone tropicale, et présente quelques aspects du phénomène El Niño-Oscillation australe.