Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Interpolation par intervalles: Interpolation par intervalles

Concepts associés (26)

Formule (mathématiques)

En logique et en mathématiques, une formule est une suite finie d'objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines. Étant donné un ensemble E et une fonction de poids p: E →N, une formule est un mot extrait de E obtenu par les deux règles de construction suivantes : un seul élément de E de poids 0 est une formule ; si t est un élément de poids n, pour toute suite de n formules F1, F2, ...., Fn, le mot concaténé tF1F2....Fn est une formule.

Logique mathématique

La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.

Interprétation de la mécanique quantique

Une interprétation de la mécanique quantique est une tentative d'explication de la façon dont la théorie mathématique de la mécanique quantique « correspond » à la réalité. Bien que la mécanique quantique ait fait l'objet de démonstrations rigoureuses dans une gamme extraordinairement large d'expériences (aucune prédiction de la mécanique quantique n'a été contredite par l'expérience), il existe un certain nombre d'écoles de pensée concurrentes sur son interprétation.

École de Copenhague (physique)

vignette|Interprétation de Copenhague dans l'expérience de pensée du chat de Schrödinger : lors d'une désintégration radioactive, il se produit une ramification de l'état. Cependant, selon un principe aléatoire, l'une des deux branches s'effondre immédiatement après que la cohérence entre les états ait suffisamment diminué, par exemple à la suite d'une mesure. L’école de Copenhague ou interprétation de Copenhague est un courant de pensée qui donne une interprétation cohérente de la mécanique quantique.

Analyse réelle

L'analyse réelle est la branche de l'analyse qui étudie les ensembles de réels et les fonctions de variables réelles. Elle étudie des concepts comme les suites et leurs limites, la continuité, la dérivation, l'intégration et les suites de fonctions. La présentation de l'analyse réelle dans les ouvrages avancés commence habituellement avec des démonstrations simples de résultats de la théorie naïve des ensembles, une définition claire de la notion de fonction, une introduction aux entiers naturels et la démonstration importante du raisonnement par récurrence.

Ensemble interpretation

The ensemble interpretation of quantum mechanics considers the quantum state description to apply only to an ensemble of similarly prepared systems, rather than supposing that it exhaustively represents an individual physical system. The advocates of the ensemble interpretation of quantum mechanics claim that it is minimalist, making the fewest physical assumptions about the meaning of the standard mathematical formalism. It proposes to take to the fullest extent the statistical interpretation of Max Born, for which he won the Nobel Prize in Physics in 1954.