Histoire du calcul infinitésimal

L'histoire du calcul infinitésimal remonte à l'Antiquité. Sa création est liée à une polémique entre deux mathématiciens : Isaac Newton et Gottfried Wilhelm Leibniz. Néanmoins, on retrouve chez des mathématiciens plus anciens les prémices de ce type de calcul : Archimède, Thābit ibn Qurra, Pierre de Fermat et Isaac Barrow notamment. La notion de nombre dérivé a vu le jour au dans les écrits de Leibniz et de Newton qui le nomme fluxion et qui le définit comme « le quotient ultime de deux accroissements évanescents ». Le domaine mathématique de l'analyse numérique connut dans la seconde moitié du une avancée prodigieuse grâce aux travaux de Newton et de Leibniz en matière de calcul différentiel et intégral, traitant notamment de la notion d'infiniment petit et de son rapport avec les sommes dites intégrales. C'est cependant Blaise Pascal qui, dans la première moitié du , a le premier mené des études sur la notion de tangente à une courbe – lui-même les appelait « touchantes ». Le ma

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (1)

Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés (15)

Concepts associés

Chargement

Cours associés (5)

Cours associés

Chargement

Séances de cours associées (4)

Séances de cours associées

Chargement

A Core Calculus for Scala Type Checking

Vincent Cremet, Martin Odersky

We present a minimal core calculus that captures interesting constructs of the Scala programming language: nested classes, abstract types, mixin composition, and path dependent types. We show that the problems of type assignment and subtyping in this calculus are decidable.

2006

Chargement

Histoire des mathématiques

L’histoire des mathématiques s'étend sur plusieurs millénaires et dans de nombreuses régions du globe allant de la Chine à l’Amérique centrale. Jusqu'au , le développement des connaissances mathématiq

Analyse (mathématiques)

L'analyse (du grec , délier, examiner en détail, résoudre) a pour point de départ la formulation rigoureuse du calcul infinitésimal. C'est la branche des mathématiques qui traite explicitement de la

Dérivée

En mathématiques, la dérivée d'une fonction d'une variable réelle mesure l'ampleur du changement de la valeur de la fonction (valeur de sortie) par rapport à un petit changement de son argument (vale

CS-119(c): Information, Computation, Communication

L'objectif de ce cours est d'introduire les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'Informatique et de développer une première compétence en programmation (langage C++).

MATH-111(en): Linear algebra (english)

The purpose of the course is to introduce the basic notions of linear algebra and its applications.

MGT-454: Principles of microeconomics

The course allows students to get familiarized with the basic tools and concepts of modern microeconomic analysis. Based on graphical reasoning and analytical calculus, it constantly links to real economic issues.