Computational semanticsComputational semantics is the study of how to automate the process of constructing and reasoning with meaning representations of natural language expressions. It consequently plays an important role in natural-language processing and computational linguistics. Some traditional topics of interest are: construction of meaning representations, semantic underspecification, anaphora resolution, presupposition projection, and quantifier scope resolution. Methods employed usually draw from formal semantics or statistical semantics.
Symbole delta de KroneckerEn mathématiques, le symbole delta de Kronecker, également appelé symbole de Kronecker ou delta de Kronecker, est une fonction de deux variables qui est égale à 1 si celles-ci sont égales, et 0 sinon. Il est symbolisé par la lettre δ (delta minuscule) de l'alphabet grec. ou, en notation tensorielle : où δ et δ sont des vecteurs unitaires tels que seule la i-ème (respectivement la j-ème) coordonnée soit non nulle (et vaille donc 1).
Pendule à coucouUne pendule à coucou, ou elliptiquement coucou, est une pendule dont la sonnerie imite le cri du coucou. Le concept d’horloge à coucou aurait été créé par , en 1738, dans le village de Schönwald, en Forêt-Noire (Allemagne). Le coucou a été choisi parce que son cri est facile à imiter par des moyens mécaniques simples. Le modèle traditionnel, défini vers 1850, se présente typiquement comme une horloge murale à balancier apparent, mue par deux contrepoids en forme de cône, avec un boîtier décoré en forme de chalet ou de tronc d’arbre.
