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.
Deduction theoremIn mathematical logic, a deduction theorem is a metatheorem that justifies doing conditional proofs from a hypothesis in systems that do not explicitly axiomatize that hypothesis, i.e. to prove an implication A → B, it is sufficient to assume A as an hypothesis and then proceed to derive B. Deduction theorems exist for both propositional logic and first-order logic. The deduction theorem is an important tool in Hilbert-style deduction systems because it permits one to write more comprehensible and usually much shorter proofs than would be possible without it.
Déduction naturelleEn logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons : contrairement aux systèmes à la Hilbert fondés sur des listes d'axiomes logiques plus ou moins ad hoc, la déduction naturelle repose sur un principe systématique de symétrie : pour chaque connecteur, on donne une paire de règles duales (introduction/élimination) ; elle a conduit Gentzen à inventer un autre formalisme très important en théorie de la démonstration, encore plus « symétrique » : le calcul des séquents ; elle a permis dans les années 1960 d'identifier la première instance de l'isomorphisme de Curry-Howard.
Récurrence transfinieEn mathématiques, on parle de récurrence transfinie ou de récursion transfinie pour deux principes reliés mais distincts. Les définitions par récursion transfinie — permettent de construire des objets infinis, et généralisent les définitions de suite par récurrence sur l'ensemble N des entiers naturels en considérant des familles indexées par un ordinal infini quelconque, au lieu de se borner au plus petit d'entre eux qu'est N, appelé ω en tant que nombre ordinal.
Éducationvignette|270px|Moyen mnémotechnique mis à disposition des enfants visitant le Field Museum de Chicago leur permettant d'apprendre les pays formant l'Asie et leurs contours géographiques. L’éducation est l'apprentissage et le développement des facultés intellectuelles, morales et physiques, les moyens et les résultats de cette activité de développement. L'éducation inclut des compétences et des éléments culturels caractéristiques du lieu géographique et de la période historique, l'éducation a pour but de faire progresser, améliorer et penser par soi-même d'un sujet et la création de cultures.
Réflexion (physique)vignette|upright=1|La loi de la réflexion en physique.|alt=Le rayon incident arrive sur la surface et est réfléchi. Les angles d'incidence et de réflexion sont identiques. vignette|Matsimäe Pühajärv, Estonie. La réflexion en physique est le brusque changement de direction d'une onde à l'interface de deux milieux. Après réflexion, l'onde reste dans son milieu de propagation initial. De multiples types d'ondes peuvent subir une réflexion.
Specular reflectionSpecular reflection, or regular reflection, is the mirror-like reflection of waves, such as light, from a surface. The law of reflection states that a reflected ray of light emerges from the reflecting surface at the same angle to the surface normal as the incident ray, but on the opposing side of the surface normal in the plane formed by the incident and reflected rays. This behavior was first described by Hero of Alexandria (AD c. 10–70). Later, Alhazen gave a complete statement of the law of reflection.
Pédagogiethumb|upright=1.3|Classe scolaire. La pédagogie (du grec , direction ou éducation des enfants) est l'art d'enseigner. Le terme rassemble les méthodes et pratiques d'enseignement requises pour transmettre un savoir (connaissances), un savoir-faire (compétences) et un savoir-être (attitudes). Plus généralement, l'expression « faire preuve de pédagogie » signifie l'aptitude à enseigner et à transmettre à un individu ou un groupe d'individus un savoir ou une expérience par l'usage des méthodes les plus adaptées à l'audience concernée.
Enseignement spécialiséL’enseignement spécialisé est une méthode d'enseignement destinée aux personnes ayant des besoins spéciaux dans le but de leur fournir un enseignement adapté à leurs besoins et différences propres. Idéalement, ceci suppose un programme établi individuellement et des méthodes d'apprentissage sur mesures, des équipements et matériels adaptés, des programmes adaptés et d'autres éléments permettant aux apprenants d'atteindre un haut degré d'autosuffisance.
Diffuse reflectionDiffuse reflection is the reflection of light or other waves or particles from a surface such that a ray incident on the surface is scattered at many angles rather than at just one angle as in the case of specular reflection. An ideal diffuse reflecting surface is said to exhibit Lambertian reflection, meaning that there is equal luminance when viewed from all directions lying in the half-space adjacent to the surface.
Reflection (mathematics)In mathematics, a reflection (also spelled reflexion) is a mapping from a Euclidean space to itself that is an isometry with a hyperplane as a set of fixed points; this set is called the axis (in dimension 2) or plane (in dimension 3) of reflection. The image of a figure by a reflection is its in the axis or plane of reflection. For example the mirror image of the small Latin letter p for a reflection with respect to a vertical axis (a vertical reflection) would look like q.
Réflexion glisséeEn géométrie euclidienne, une réflexion glissée du plan euclidien est une isométrie affine de ce plan, constituée de la composée d'une réflexion par rapport à une droite et d'une translation dans la direction de cette droite. Cette composition est ici commutative. Plus généralement, dans un espace euclidien quelconque, une réflexion glissée est la composée d'une réflexion par rapport à un hyperplan et d'une translation parallèlement à cet hyperplan. Réflexion (mathématiques) Symétrie (transformation géomét
AnalogieUne analogie est un processus de pensée par lequel on remarque une similitude de forme entre deux choses, par ailleurs de différentes natures ou classes. Dans le discours, une analogie explicite est une comparaison, tandis qu'une analogie implicite est une métaphore. La comparaison entre deux routes tortueuses n'est pas une analogie, car ce sont deux objets de même type : c'est une simple ressemblance. En revanche, dire qu'une route serpente est une analogie : on repère ici la similitude entre deux choses de type différent.
Enzyme de restrictionthumb|L'enzyme de restriction EcoRV (en vert) avec son substrat : l'ADN. Une enzyme de restriction est une protéine capable de couper un fragment d'ADN au niveau d'une séquence de nucléotides caractéristique appelée site de restriction. Chaque enzyme de restriction reconnaît ainsi un site spécifique. Plusieurs centaines d'enzymes de restriction sont actuellement connues. Naturellement présentes chez un grand nombre d'espèces de bactéries, ces enzymes sont devenues des outils importants en génie génétique.
Restriction digestA restriction digest is a procedure used in molecular biology to prepare DNA for analysis or other processing. It is sometimes termed DNA fragmentation, though this term is used for other procedures as well. In a restriction digest, DNA molecules are cleaved at specific restriction sites of 4-12 nucleotides in length by use of restriction enzymes which recognize these sequences. The resulting digested DNA is very often selectively amplified using polymerase chain reaction (PCR), making it more suitable for analytical techniques such as agarose gel electrophoresis, and chromatography.
Polymorphisme de longueur des fragments de restrictionEn biologie moléculaire, le polymorphisme de longueur des fragments de restriction (ou RFLP, de l'anglais restriction fragment length polymorphism) est utilisé dans deux sens : comme une caractéristique des molécules d'ADN permettant de les distinguer les unes des autres, comme la technique de laboratoire qui utilise cette caractéristique pour différencier ou comparer des molécules d'ADN. Cette technique est utilisée pour la réalisation d'empreintes génétiques et dans les tests de paternité.
Raisonnement déductifEn logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière. La déduction est une opération par laquelle on établit au moyen de prémisses une conclusion qui en est la conséquence nécessaire, en vertu de règles d'inférence logiques. Ces règles sont notamment l'objet des Premiers Analytiques d'Aristote. On l'oppose généralement à l'induction, qui consiste au contraire à extraire d'un nombre fini de propositions données par l'observation, une conclusion ou un petit nombre de conclusions plus générales.
