Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Exponentielle de base aEn analyse réelle, l'exponentielle de base est la fonction notée exp qui, à tout réel x, associe le réel a. Elle n'a de sens que pour un réel a strictement positif. Elle étend à l'ensemble des réels la fonction, définie sur l'ensemble des entiers naturels, qui à l'entier n associe a. C'est donc la version continue d'une suite géométrique. Elle s'exprime à l'aide des fonctions usuelles exponentielle et logarithme népérien sous la forme Elle peut être définie comme la seule fonction continue sur R, prenant la valeur a en 1 et transformant une somme en produit.
TraînéeEn mécanique des fluides, la traînée ou trainée est la force qui s'oppose au mouvement d'un corps dans un liquide ou un gaz et agit comme un frottement. Mathématiquement, c'est la composante des efforts exercés sur le corps, dans le sens opposé à la vélocité relative du corps par rapport au fluide. En aérodynamique, c'est, avec la portance, l'une des deux grandeurs fondamentales. Le rapport entre portance et traînée s'appelle la finesse.
Coefficient de traînéeEn dynamique des fluides, le coefficient de traînée, dont le symbole normalisé est Cx, CA ou CD ( en anglais, en allemand) fait partie de la famille des coefficients aérodynamiques. C'est un nombre sans dimension qui est utilisé pour quantifier la traînée ou résistance d'un objet dans un fluide (comme, par exemple, l'air ou l'eau). Il est toujours associé à une surface particulière (selon le contexte, appelée maître-couple, surface alaire ou plus généralement surface de référence).
Analytic–synthetic distinctionThe analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions (in particular, statements that are affirmative subject–predicate judgments) that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.
Traînée induiteLa traînée induite, souvent notée Ri, est une force de résistance à l'avancement induite par la portance et qui dépend de certaines caractéristiques de l'aile, notamment de son allongement et de la distribution de la portance en envergure. Elle se distingue des traînées dites « parasites » : de frottement, de séparation, et d'onde. L'allongement effectif utilisé pour le calcul peut être supérieur à l'allongement géométrique (cloison en bout d'aile, ailette marginale ou winglet).
Peinture (art)vignette|L'Art de la peinture (vers 1666) par Vermeer. La peinture est une forme artistique dont les diverses techniques consistent à appliquer manuellement ou mécaniquement, sur une surface, des couleurs sous forme de pigments mélangés à un liant ou un diluant. Les artistes peintres s'expriment sur des supports tels que la toile, le papier, le bois, etc. Ouvrage de représentation ou d'invention, la peinture peut être naturaliste et figurative, ou abstraite. Elle peut avoir un contenu narratif, descriptif, symbolique, spirituel, ou philosophique.
Dessinvignette|redresse|Léonard de Vinci, Homme de Vitruve (vers 1492). Le 'dessin' est une technique de représentation visuelle sur un support plat. Le terme « dessin » désigne à la fois l'action de dessiner, l'ouvrage graphique qui en résulte, et la forme d'un objet quelconque. Le « dessin linéaire » représente les objets par leurs contours, leurs arêtes et quelques lignes caractéristiques ; au-delà de cette limite, le dessin se développe en représentant le volume par les ombres, souvent au moyen des hachures, incorpore des couleurs, et rejoint, sans transition nette, la peinture.
Modèle d'IsingLe modèle d'Ising est un modèle de physique statistique qui a été adapté à divers phénomènes caractérisés par des interactions locales de particules à deux états. L'exemple principal est le ferromagnétisme pour lequel le modèle d'Ising est un modèle sur réseau de moments magnétiques, dans lequel les particules sont toujours orientées suivant le même axe spatial et ne peuvent prendre que deux valeurs. Ce modèle est parfois appelé modèle de Lenz-Ising en référence aux physiciens Wilhelm Lenz et Ernst Ising.
