Dissipateur thermiqueUn dissipateur thermique est un dispositif destiné à évacuer la chaleur résultante de l'effet Joule dans un élément semi-conducteur d'électronique de puissance. Il s'agit de dispositifs généralement munis d'ailettes, qui doivent de préférence être montées verticalement pour faciliter le refroidissement par convection.
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.
XénonLe xénon est l'élément chimique de numéro atomique 54, de symbole Xe. C'est un gaz noble, inodore et incolore. Dans une lampe à décharge, il émet une lumière bleue. Le xénon est le plus rare et le plus cher des gaz nobles, à l'exception du radon dont tous les isotopes sont radioactifs. Étymologiquement, le nom de « xénon » dérive du mot grec , « étranger ». Ce nom vient du fait que le xénon a été découvert sous forme de « gaz inconnu, étranger » dans le krypton lors des identifications successives des gaz rares (argon, krypton, xénon) à la fin du .
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.
ANSI CANSI C, ISO C, and Standard C are successive standards for the C programming language published by the American National Standards Institute (ANSI) and ISO/IEC JTC 1/SC 22/WG 14 of the International Organization for Standardization (ISO) and the International Electrotechnical Commission (IEC). Historically, the names referred specifically to the original and best-supported version of the standard (known as C89 or C90). Software developers writing in C are encouraged to conform to the standards, as doing so helps portability between compilers.
C++11C++11, anciennement connu sous le nom de C++0x, est une norme pour le langage C++ en informatique. Elle a été approuvée unanimement le . Elle remplace la précédente norme, ISO/CEI 14882, publiée en et mise à jour en . Ces dernières sont plus connues sous les noms informels de C++98 et C++03. C++11 introduit plusieurs nouveautés au langage initial, ainsi que de nouvelles fonctionnalités à la bibliothèque standard du C++ comme la plupart des bibliothèques du Technical Report 1, à l'exception de la bibliothèque de fonctions mathématiques spéciales.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Réseau de preuvesLes réseaux de preuves, inventés par le logicien Jean-Yves Girard en 1986 dans le cadre de la logique linéaire, sont un outil de démonstration formel pour cette même logique (c'est-à-dire une alternative aux séquents qui sont aussi employés en logique classique et intuitionniste). Grossièrement, il s'agit d'un équivalent de la déduction naturelle de la logique intuitionniste adaptée à la logique linéaire. Ils s'en différencient cependant par le caractère géométrique de cette approche : une preuve est formée par un hypergraphe et le critère de correction peut s'exprimer comme un parcours de graphe.
Objective-CObjective-C est un langage de programmation orienté objet réflexif. C'est une extension du C ANSI, comme le C++, mais qui se distingue de ce dernier par sa distribution dynamique des messages, son typage faible ou fort, son typage dynamique et son chargement dynamique. Contrairement au C++, il ne permet pas l'héritage multiple mais il existe toutefois des moyens de combiner les avantages de C++ et d'Objective-C.
Stokes' theoremStokes' theorem, also known as the Kelvin–Stokes theorem after Lord Kelvin and George Stokes, the fundamental theorem for curls or simply the curl theorem, is a theorem in vector calculus on . Given a vector field, the theorem relates the integral of the curl of the vector field over some surface, to the line integral of the vector field around the boundary of the surface. The classical theorem of Stokes can be stated in one sentence: The line integral of a vector field over a loop is equal to the flux of its curl through the enclosed surface.
Difluorure de xénonLe difluorure de xénon est le composé chimique de formule synthétisé pour la première fois à Munster par le chimiste Rudolf Hoppe. Il se présente sous forme d'un solide cristallin incolore qui se sublime à . On l'obtient à partir de xénon et de fluor sous l'effet de la chaleur, d'un arc électrique ou d'un rayonnement ultraviolet : + hν → . Cette réaction est très facile et peut même être réalisée à la lumière du jour par temps couvert en laissant réagir du xénon avec du fluor.
Théorème de GreenEn mathématiques, le théorème de Green, ou théorème de Green-Riemann, donne la relation entre une intégrale curviligne le long d'une courbe simple fermée orientée C par morceaux et l'intégrale double sur la région du plan délimitée par cette courbe. Ce théorème, nommé d'après George Green et Bernhard Riemann, est un cas particulier du théorème de Stokes. thumb|upright=0.9|Domaine délimité par une courbe régulière par morceaux. Vu comme cas particulier du théorème de Stokes, le théorème s'écrit sous la forme suivante, en notant ∂D la courbe C et ω la forme différentielle.
