Logique de descriptionLes logiques de description aussi appelées logiques descriptives (LD) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d'un domaine d'application d'une manière formelle et structurée. Le nom de logique de description se rapporte, d'une part à la description de concepts utilisée pour décrire un domaine et d'autre part à la sémantique basée sur la logique qui peut être donnée par une transcription en logique des prédicats du premier ordre.
Ordre totalEn mathématiques, on appelle relation d'ordre total sur un ensemble E toute relation d'ordre ≤ pour laquelle deux éléments de E sont toujours comparables, c'est-à-dire que On dit alors que E est totalement ordonné par ≤. Une relation binaire ≤ sur un ensemble E est un ordre total si (pour tous éléments x, y et z de E) : x ≤ x (réflexivité) ; si x ≤ y et y ≤ x, alors x = y (antisymétrie) ; si x ≤ y et y ≤ z, alors x ≤ z (transitivité) ; x ≤ y ou y ≤ x (totalité). Les trois premières propriétés sont celles faisant de ≤ une relation d'ordre.
Épaisseur optiqueL’épaisseur optique ou profondeur optique est une mesure de la quantité de lumière qui est absorbée ou diffusée lorsqu'elle traverse un milieu, comme une couche d'atmosphère, un nuage, ou tout autre matériau transparent ou translucide. Elle est définie comme étant le logarithme naturel de la fraction de rayonnement électromagnétique (ou de lumière) absorbée par les composants de la couche traversée. C'est une grandeur sans dimension.
Physique expérimentalevignette|La physique expérimentale peut parfois recourir à des instruments de très grandes dimensions : ici, construction du détecteur CMS (Compact Muon Solenoid) du Grand collisionneur de hadrons (LHC) au CERN, en 2003. Les techniciens présents en bas de l'image donnent une idée des dimensions réelles de cet ensemble (15 m de diamètre, 21 m de long, pour un poids de 14 000 tonnes) installé 100 mètres sous la surface du sol.
Ordre lexicographiqueEn mathématiques, un ordre lexicographique est un ordre que l'on définit sur les suites finies d'éléments d'un ensemble ordonné (ou, de façon équivalente, les mots construits sur un ensemble ordonné). Sa définition est une généralisation de l'ordre du dictionnaire : l'ensemble ordonné est l'alphabet, les mots sont bien des suites finies de lettres de l'alphabet. La principale propriété de l'ordre lexicographique est de conserver la totalité de l'ordre initial.
Théorie de MieEn optique ondulatoire, la théorie de Mie, ou solution de Mie, est une solution particulière des équations de Maxwell décrivant la diffusion élastique – c'est-à-dire sans changement de longueur d'onde – d'une onde électromagnétique plane par une particule sphérique caractérisée par son diamètre et son indice de réfraction complexe. Elle tire son nom du physicien allemand Gustav Mie, qui la décrivit en détail en 1908. Le travail de son prédécesseur Ludvig Lorenz est aujourd'hui reconnu comme « empiriquement équivalent » et l'on parle parfois de la théorie de Lorenz-Mie.
Spectroscopie RamanLa spectroscopie Raman (ou spectrométrie Raman) et la microspectroscopie Raman sont des méthodes non destructives d'observation et de caractérisation de la composition moléculaire et de la structure externe d'un matériau, qui exploite le phénomène physique selon lequel un milieu modifie légèrement la fréquence de la lumière y circulant. Ce décalage en fréquence dit l'effet Raman correspond à un échange d'énergie entre le rayon lumineux et le milieu, et donne des informations sur le substrat lui-même.
SimplicitéLa simplicité (du latin simplicitas) est la propriété, la condition ou la qualité d'être simple, naturel, et non-combiné. Elle dénote souvent la beauté, pureté, clarté ou spontanéité. Les choses simples sont par définition souvent plus faciles à expliquer et à comprendre que les choses compliquées, la complexité étant l'opposé de la simplicité. La simplicité signifie aussi le fait d'être libéré des efforts et de la confusion, et des choses non indispensables. La simplicité en tant que mode de vie peut aussi référer à la simplicité volontaire.
Beauté mathématiqueupright|droite|vignette|La frontière de l'ensemble de Mandelbrot. La beauté mathématique est un sentiment de beauté que certaines personnes ressentent face aux mathématiques. Certains mathématiciens recherchent dans leur travail ou dans les mathématiques en général, un plaisir esthétique. Ils expriment ce plaisir en décrivant de « belles » parties des mathématiques. Ils peuvent considérer les mathématiques comme un art ou comme une activité créative. Des comparaisons sont souvent faites avec la musique et la poésie.
List of mathematical jargonThe language of mathematics has a vast vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in lectures, and sometimes in print, as informal shorthand for rigorous arguments or precise ideas. Much of this is common English, but with a specific non-obvious meaning when used in a mathematical sense. Some phrases, like "in general", appear below in more than one section.
Théorie critiqueLa théorie critique est une approche de la philosophie sociale qui vise à analyser la société et la culture en mobilisant les sciences sociales et les humanités afin de révéler et mettre en question les structures de pouvoir. Elle considère que les problèmes sociaux sont créés et influencés davantage par des structures sociétales et des présupposés culturels que par des facteurs individuels ou psychologiques. La théorie critique a été établie comme une école de pensée soutenant que l'idéologie est le principal obstacle à la libération humaine.
Analyse formelle de conceptsL'analyse formelle de concepts (en anglais Formal Concept Analysis, FCA) s'attache à étudier les concepts lorsqu'ils sont décrits formellement, c'est-à-dire que le contexte et les concepts sont complètement et précisément définis. Elle a été introduite par Rudolf Wille en 1982 en tant qu'application de la théorie des treillis (voir treillis de Galois). Elle repose sur les travaux antérieurs de M. Barbut et B. Monjardet, sur toute la théorie des treillis et dispose également d'une solide base philosophique.
