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

Cet ouvrage est destiné aux étudiants en licence et maîtrise de mathématiques ainsi qu'aux étudiants des écoles d'ingénieurs. Les connaissances mathématiques requises sont celles d'un premier cycle scientifique. Ce cours est consacré à deux grands outils de l'Analyse dont les interventions en mathématiques et en physique sont permanentes et multiformes, la théorie des distributions et l'analyse de Fourier, ainsi qu'à leurs applications, notamment aux équations de la physique mathématique. Les distributions, ou fonctions généralisées, fournissent depuis un demi-siècle le cadre unifié où se formulent et se résolvent les problèmes de l'Analyse. C'est dans ce cadre que sont étudiées les séries de Fourier, la transformation de Fourier et diverses équations aux dérivées partielles : équations de Laplace, de Schrödinger, équations de la propagation des ondes et de la chaleur. Trois chapitres introductifs traitent respectivement de l'intégrale de Lebesgue, des espaces fonctionnels, des espaces de fonctions différentiables. Des appendices sont consacrés à des compléments de calcul différentiel et d'analyse fonctionnelle.

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.

Réunissant des spécialistes de domaines aussi divers que les études cinématographiques et littéraires, l'histoire de l'art, la musicologie, la philosophie, la paléoanthropologie, l'informatique, l'ingénierie et l'astrophysique, ce livre se propose d'analyser et de questionner le film dans une perspective pluridisciplinaire : - placer le film dans son cadre historique et social, un moment de multiples tournants historiques : tensions accrues de la Guerre froide et vagues de révoltes chez les jeunes- évaluer la précision et l'anticipation des technologies futuristes représentées dans le film, notamment en termes d'intelligence artificielle et d'exploration spatiale- considérer le film en tant que mythe sur l'origine, l'évolution et le destin de l'humanité- exposer les façons dont 2001 anticipe les préoccupations philosophiques actuelles du posthumanisme et du transhumanisme- explorer comment le film a contribué à l'art et à la production du cinéma en termes de son et d'image, examiner ses liens avec les avant-gardes artistiques de son temps

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.