Méthode d'EulerEn mathématiques, la méthode d'Euler, nommée ainsi en l'honneur du mathématicien Leonhard Euler (1707 — 1783), est une procédure numérique pour résoudre par approximation des équations différentielles du premier ordre avec une condition initiale. C'est la plus simple des méthodes de résolution numérique des équations différentielles. thumb|Illustration de la méthode d'Euler explicite : l'avancée se fait par approximation sur la tangente au point initial.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Modularité de l'espritLa modularité de l'esprit est une théorie du philosophe Jerry Fodor, inspirée des travaux de Noam Chomsky et très influente dans les sciences cognitives. Selon cette thèse, l'esprit humain comprend un certain nombre de modules spécialisés dans l'exécution de certaines fonctions cognitives. Pour Fodor ces modules fonctionnent automatiquement, inconsciemment, rapidement, parallèlement et indépendamment les uns des autres, s'opposant en cela au système central conscient, contrôlé mais aussi lent et séquentiel.
Longue-vuethumb|Exemple de longue-vue. vignette|Une longue vue sur la tour Eiffel (juillet 2014). Une longue-vue ou lunette terrestre ou lunette d'approche est un instrument d'optique monoculaire destiné à obtenir une vision rapprochée des objets éloignés. thumb|left|upright=1.8|Lunette de Galilée constituée d'une lentille convergente (objectif) et d'une lentille divergente (oculaire). thumb|left|upright=1.8|Lunette terrestre - Système 1 :L1 - Objectif L2 - Redresseur d'image L3 - Oculaire.
