Formule 1La Formule 1, communément abrégée en F1, est une discipline de sport automobile considérée comme la catégorie reine de ce sport. Elle a pris au fil des ans une dimension mondiale et elle est, avec les Jeux olympiques et la Coupe du monde de football, l'un des événements sportifs les plus médiatisés. Chaque année depuis , un championnat mondial des pilotes est organisé, complété depuis par un championnat mondial des constructeurs automobiles.
Formule 3thumb|Dallara F3 2019 de Jüri Vips. La Formule 3 FIA, également connue sous l'abréviation F3, est une catégorie de compétition automobile de type monoplace. Réglementée par la Fédération internationale de l'automobile, la catégorie Formule 3 sert d'étape de sélection parmi les jeunes pilotes de course souhaitant devenir professionnel et/ou accéder à la Formule 1. Auparavant étendue sur tous les continents sous forme de divers championnats régionaux et internationaux, la F3 moderne est, depuis 2019, disputée sous la forme d'un seul championnat international en ouverture de la Formule 1, le championnat de Formule 3 FIA, et d'une Coupe du monde.
Dual objectIn , a branch of mathematics, a dual object is an analogue of a dual vector space from linear algebra for in arbitrary . It is only a partial generalization, based upon the categorical properties of duality for finite-dimensional vector spaces. An object admitting a dual is called a dualizable object. In this formalism, infinite-dimensional vector spaces are not dualizable, since the dual vector space V∗ doesn't satisfy the axioms. Often, an object is dualizable only when it satisfies some finiteness or compactness property.
Formule chimiquethumb|Formule développée plane de l'isobutane. La formule chimique d'un composé chimique, d'une espèce chimique ou d'un minéral est une expression indiquant quels éléments, et dans quelles proportions, constituent ce composé, cette entité ou ce minéral (par exemple la formule brute de l'eau est ). Les formules chimiques obéissent à une certaine standardisation, afin de faciliter leur et d'éviter les ambiguïtés.
Catégorie monoïdaleEn mathématiques, une catégorie monoïdale est une catégorie munie d'un bifoncteur qui généralise la notion de produit tensoriel de deux structures algébriques. Intuitivement, il s'agit de l'analogue, au niveau des catégories, de la notion de monoïde, c'est-à-dire que le bifoncteur joue le rôle d'une sorte de multiplication pour les objets de la catégorie. Une catégorie monoïdale est une catégorie munie : D'un bifoncteur appelé produit tensoriel. D'un objet I appartenant à appelé « objet unité ».
Formule (automobile)Les Formules indiquent en sport automobile les catégories de monoplaces. L'origine du terme réside dans la nomenclature adoptée par la Fédération internationale de l'automobile (FIA) après la Seconde Guerre mondiale. Histoire de la Formule 1 Dans le processus de reprise des Grands Prix après la fin de la Seconde Guerre mondiale, la Commission sportive internationale est chargée par la FIA de définir et de standardiser les réglementations dans la catégorie unique : la « Formule de Course Internationale », qui devient rapidement la Formule 1 (F1).
Représentation de groupeEn mathématiques, une représentation de groupe décrit un groupe en le faisant agir sur un espace vectoriel de manière linéaire. Autrement dit, on essaie de voir le groupe comme un groupe de matrices, d'où le terme représentation. On peut ainsi, à partir des propriétés relativement bien connues du groupe des automorphismes de l'espace vectoriel, arriver à déduire quelques propriétés du groupe. C'est l'un des concepts importants de la théorie des représentations.
Formule structuraleUne formule structurale est une formule chimique qui apporte, au-delà de la simple composition d'un composé chimique, d'une espèce chimique ou d'un minéral, une information plus ou moins complète sur la façon dont les atomes sont reliés entre eux et disposés dans l'espace. Les groupes d'atomes formant un ensemble autonome y sont indiqués séparément, notamment en les mettant entre parenthèses, entre crochets ou entre accolades.
VolkswagenVolkswagen (, en abrégé VW ; littéralement : « voiture du peuple ») est un constructeur automobile allemand. La société est initialement créée à l'initiative du Front allemand du travail. La marque Volkswagen appartient au Groupe Volkswagen AG qui est en 2018, le premier constructeur mondial de véhicules devant Toyota avec d'unités vendues. vignette|Deux KdF-Wagen sur une autoroute du Reich en 1943.
Théorie des représentationsLa théorie des représentations est une branche des mathématiques qui étudie les structures algébriques abstraites en représentant leurs éléments comme des transformations linéaires d'espaces vectoriels, et qui étudie les modules sur ces structures algébriques abstraites. Essentiellement, une représentation concrétise un objet algébrique abstrait en décrivant ses éléments par des matrices et les opérations sur ces éléments en termes d'addition matricielle et de produit matriciel.
Trouble obsessionnel compulsifLe trouble obsessionnel compulsif (abrégé en l'acronyme TOC) est un trouble psychique caractérisé par l'apparition répétée de pensées intrusives — les obsessions — produisant de l'inconfort, de l'inquiétude, de la peur ; et/ou de comportements répétés et ritualisés — les compulsions — pouvant avoir l'effet de diminuer l'anxiété ou de soulager une tension.
Volkswagen CoccinelleLa Volkswagen Coccinelle — officiellement Volkswagen type 1 — est l'automobile la plus vendue de tous les temps, construite par le constructeur allemand Volkswagen, créé pour l’occasion et dont le nom signifie Voiture du peuple. Apparue en 1938, elle a été conçue par l'ingénieur autrichien Ferdinand Porsche à la demande du chancelier Adolf Hitler, alors à la tête du Troisième Reich allemand. D’abord outil de propagande pour le régime national-socialiste, elle deviendra, après-guerre, célèbre de par le monde pour sa production en des quantités exceptionnelles ainsi que sa longévité.
Affaire Volkswagenvignette|Locaux de la division Recherche et développement du siège du groupe Volkswagen, à Wolfsbourg. L'affaire Volkswagen, aussi appelée « dieselgate », est un scandale industriel et sanitaire lié à l'utilisation par le groupe Volkswagen, de 2009 à 2015, de différentes techniques visant à réduire frauduleusement les émissions polluantes (de NOx et de ) de certains de ses moteurs diesel et essence lors des essais d'homologation. Selon le groupe, plus de de véhicules de ses marques Volkswagen, Audi, Seat, Škoda et Porsche sont concernés à travers le monde.
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.
WebSocketWebSocket est un standard du Web désignant un protocole réseau de la couche application et une interface de programmation du World Wide Web visant à créer des canaux de communication full-duplex par-dessus une connexion TCP pour les navigateurs web. Le protocole a été normalisé par l'IETF dans la en 2011 et l'interface de programmation par le W3C. vignette|droite|alt=schéma|Schéma décrivant une session WebSocket Le protocole WebSocket permet d'ouvrir un canal de communication bidirectionnel (ou "full-duplex") sur un socket TCP pour les navigateurs et les serveurs web.
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.
Réaction acido-basiqueUne réaction acido-basique ou réaction acide-base est une réaction chimique au cours de laquelle un corps chimique ou entité dite « acide » réagit avec une entité dite « basique » et nommée base. Dans le cas des solvants protiques, en particulier les solutions aqueuses, il se produit un transfert d'un ou plusieurs ions H de l'acide vers la base. La notion de couple acide-base date de 1920, puisqu'elle ne peut apparaître qu'après la définition commune du proton.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
