Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
HydrureL'ion hydrure est l'anion d'hydrogène H. Par extension, le terme hydrure désigne un composé chimique constitué d'hydrogène et d'un autre élément encore moins électronégatif (ou d'électronégativité comparable). À l’origine le terme « hydrure » était strictement réservé à des composés contenant des métaux, mais la définition a été étendue à des composés où l’hydrogène a un lien direct avec un autre élément, et où l'hydrogène est l'élément le plus électronégatif.
Groupe fonctionnelEn chimie, les composés organiques peuvent être considérés comme constitués d'un squelette relativement non réactif appelé lalcane parent en nomenclature substitutive, et d’un ou plusieurs groupes fonctionnels. Le groupe fonctionnel est un atome, ou un groupe d'atomes, qui a des propriétés chimiques similaires chaque fois qu'il est présent dans des composés différents. Il définit les propriétés caractéristiques physiques et chimiques des familles de composés organiques.
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.
Group 14 hydrideGroup 14 hydrides are chemical compounds composed of hydrogen atoms and group 14 atoms (the elements of group 14 are carbon, silicon, germanium, tin, lead and flerovium). The tetrahydride series has the chemical formula , with X representing any of the carbon family. Methane is commonly the result of the decomposition of organic matter and is a greenhouse gas. The other hydrides are generally unstable, poisonous metal hydrides. They take on a pyramidal structure, and as such are not polar molecules like the other p-block hydrides.
Hydrure d'aluminiumL'hydrure d'aluminium, ou alane, est un composé chimique de formule . Il se présente sous la forme d'une poudre blanche tirant sur le gris lorsque la taille des grains diminue ainsi que lorsque le taux d'impuretés croît. Il est soluble dans le tétrahydrofurane (THF) et dans l'éther diéthylique ; le taux de précipitation d'alane solide depuis une solution d'éther dépend de la méthode de préparation. Très sensible à l'humidité et à l'oxydation, la surface des grains peut être passivée par une fine couche d'alumine ou d'hydroxyde d'aluminium .
Raisonnement par disjonction de casProof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds. This is a method of direct proof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i.e.
Oxydoréduction en chimie organiqueLes réactions d'oxydoréduction sont d'une importance capitale en chimie organique. Néanmoins, la structure des composés rend l'approche assez différente de ce que l'on observe en chimie inorganique ou en électrochimie notamment parce que les principes d'oxydoréduction traitent plutôt, dans ces deux derniers cas, de composés ioniques ; les liaisons chimiques dans une structure organique sont essentiellement covalentes, les réactions d'oxydoréduction organiques ne présentent donc pas de transfert d’électron dans le sens électrochimique du terme.
Raisonnement par récurrencevignette|Le raisonnement par récurrence est comme une suite de dominos. Si la propriété est vraie au rang n0 (i. e. le premier domino de numéro 0 tombe) et si sa véracité au rang n implique celle au rang n + 1 (i. e. la chute du domino numéro n fait tomber le domino numéro n + 1) alors la propriété est vraie pour tout entier (i. e. tous les dominos tombent). En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels.
Tétrahydruroaluminate de lithiumL'aluminohydrure de lithium, aussi appelé tétrahydruroaluminate de lithium (), généralement noté LAH, est un puissant générateur d'hydrures donc un fort réducteur utilisé en chimie organique. Il est plus puissant que le borohydrure de sodium (appelé aussi tétrahydruroborate de sodium), autre réactif de réduction, car la liaison Al-H est plus faible que la liaison B-H. Il transforme les esters, les acides carboxyliques et les cétones en alcools et les composés nitrés en amines.
Classe moyennevignette|L'accès à la propriété (comme l'acquisition d'une résidence) est financièrement possible pour la classe moyenne, mais reste souvent soumise à un emprunt bancaire. vignette|La société des loisirs est une idée encourageant la classe moyenne à multiplier leurs activités en opposition au temps passé à occuper un emploi. La classe moyenne désigne une classe sociale intermédiaire caractérisée par un niveau de richesse supérieur aux classes populaires (classe ouvrière et personnes en situation d'exclusion sociale) mais inférieur à celui de la classe dirigeante (élite entrepreneuriale et administrative).
Synthèse asymétriquevignette|Structure chimique de BINAP La synthèse asymétrique consiste à préparer un produit sous forme d'un énantiomère en partant d'une matière première achirale. Cette transformation nécessite l'ajout d'un composé chiral qui est temporairement lié au substrat, à un réactif ou à un catalyseur. Les principaux types de synthèse asymétrique sont les synthèses : diastéréosélective énantiosélective stœchiométrique catalytique Spécificité et sélectivité Effets non linéaires en catalyse asymétrique Catégorie:Stér
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Esterthumb|200px|Séquence de la fonction ester carboxylique. En chimie, la fonction ester désigne un groupement caractéristique formé d'un atome lié simultanément à un atome d'oxygène par une double liaison et à un groupement alkoxy. Lorsque l'atome lié est un atome de carbone, on parle d'ester carboxylique, dont la forme générale est R-COO-R'. Cependant, ce peut être aussi un atome de soufre (par exemple dans les esters sulfuriques, sulféniques, etc.), d'azote (esters nitriques, etc.
Cinétique enzymatiqueLa cinétique enzymatique a pour objet d'identifier et de décrire les mécanismes des réactions biochimiques, catalysées par les enzymes (réaction enzymatique), en étudiant leur vitesse c'est-à-dire leur évolution en fonction du temps. En partant des enzymes isolées et en allant vers les systèmes métaboliques organisés et intégrés, la cinétique enzymatique permet de décrire quantitativement les propriétés catalytiques des enzymes et les mécanismes mis en place pour leur régulation.
Classe socialeLa notion de classe sociale désigne, dans son sens le plus large, un groupe social de grande dimension (ce qui le distingue des simples professions) pris dans une hiérarchie sociale de fait et non de droit (ce qui le distingue des ordres et des castes). Si elle constitue une pièce centrale des critiques anarchiste et marxiste du capitalisme ayant tous deux pour objectif d'instaurer une société sans classes, elle ne leur est pas propre : cette notion fait même partie du lexique sociologique courant.
Solvatationvignette|Un ion sodium solvaté par des molécules d'eau. La solvatation est le phénomène physico-chimique observé lors de la dissolution d'une substance chimique dans un solvant. Lors de l'introduction d'une espèce chimique initialement à l'état solide (sous forme de cristal ou amorphe), liquide ou gazeux dans un solvant, les atomes, ions ou molécules de l'espèce chimique se dispersent dans la solution et interagissent avec les molécules de solvant. Cette interaction s'appelle la solvatation.
Catalysevignette|Intérieur du musée de la catalyse à Widnes en Angleterre. En chimie, la catalyse (du grec ancien : , « détacher ») se réfère à l'accélération ou la réorientation de la cinétique de réaction au moyen d'un catalyseur, et dans certains cas à la sélectivité pour diriger la réaction dans un sens privilégié (réaction concurrente, production d'un produit plutôt qu'un autre). Le catalyseur est utilisé en quantité beaucoup plus faible que les produits réactifs. Il n'apparait pas en général dans le bilan de réaction, donc pas dans son équation globale.
Nanomaterial-based catalystNanomaterial-based catalysts are usually heterogeneous catalysts broken up into metal nanoparticles in order to enhance the catalytic process. Metal nanoparticles have high surface area, which can increase catalytic activity. Nanoparticle catalysts can be easily separated and recycled. They are typically used under mild conditions to prevent decomposition of the nanoparticles. Functionalized metal nanoparticles are more stable toward solvents compared to non-functionalized metal nanoparticles.
Variété algébriqueUne variété algébrique est, de manière informelle, l'ensemble des racines communes d'un nombre fini de polynômes en plusieurs indéterminées. C'est l'objet d'étude de la géométrie algébrique. Les schémas sont des généralisations des variétés algébriques. Il y a deux points de vue (essentiellement équivalents) sur les variétés algébriques : elles peuvent être définies comme des schémas de type fini sur un corps (langage de Grothendieck), ou bien comme la restriction d'un tel schéma au sous-ensemble des points fermés.
