Sémantique formelleEn linguistique, la sémantique formelle cherche à comprendre le sens (linguistique) en construisant des modèles mathématiques précis des principes utilisés par le locuteur pour définir la relation entre des expressions en langage naturel et l’environnement supportant un discours faisant sens. Les outils mathématiques utilisés sont une combinaison de logique mathématique et de langage formel théorique, plus particulièrement de lambda-calcul typé.
Academic publishingAcademic publishing is the subfield of publishing which distributes academic research and scholarship. Most academic work is published in academic journal articles, books or theses. The part of academic written output that is not formally published but merely printed up or posted on the Internet is often called "grey literature". Most scientific and scholarly journals, and many academic and scholarly books, though not all, are based on some form of peer review or editorial refereeing to qualify texts for publication.
Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
Littérature griseLittérature grise, terme générique, désigne les documents produits par l’administration, l’industrie, l’enseignement supérieur et la recherche, les services, les ONG, les associations, etc., qui n’entrent pas dans les circuits habituels d’édition et de distribution. L'origine de la littérature grise remonte au début du , d’abord aux États-Unis et en Grande Bretagne. La pratique connut un essor après la Seconde Guerre mondiale avec la création de l’Office of Scientific Research and Development (OSRD) qui développa ce type de document de communication scientifique.
Symbole (logique)alt=Ce diagramme montre les entités syntaxiques qui peuvent être construits à partir des langages formels. Les symboles et les chaînes de symboles peuvent être divisés en formules bien formées. Un langage formel peut être considéré comme identique à l'ensemble de ses formules bien formées. L'ensemble des formules bien formées peut être divisé en théorèmes et non-théorèmes.|vignette|Ce diagramme montre les entités syntaxiques qui peuvent être construits à partir des langages formels.
Jeu séquentielvignette| Les échecs sont un exemple de jeu séquentiel. En théorie des jeux, un jeu séquentiel est un jeu où les joueurs choisissent leur actions à tour de rôle. Pour qu'un jeu soit séquentiel il faut que certaines informations sur les choix d'un joueur à son tour soient connues par les joueurs suivants avant qu'ils ne fassent eux-mêmes leur choix; sans cela, le tour du premier joueur n'aurait pas d'effet sur la stratégie des suivants. Les jeux séquentiels sont donc régis par l'axe du temps, et peuvent être représentés sous forme d'arbres de décision.
Lexical definitionThe lexical definition of a term, also known as the dictionary definition, is the definition closely matching the meaning of the term in common usage. As its other name implies, this is the sort of definition one is likely to find in the dictionary. A lexical definition is usually the type expected from a request for definition, and it is generally expected that such a definition will be stated as simply as possible in order to convey information to the widest audience.
Égalité des chancesEn tant que valeur sociale, l’égalité des chances est une notion complexe. Le terme est, en effet, polysémique, et donc sujet à interprétation. L’objectivité dans la définition donnée dans cet article sera donc relative. Notons également l’ambiguïté du terme chance, mis au pluriel dans cette expression. L’égalité des chances est une exigence qui veut que le statut social des individus d’une génération ne dépende plus des caractéristiques morales, ethniques, religieuses, financières et sociales des générations précédentes, mais uniquement du service qu'ils peuvent apporter à la société, voire à la civilisation.
Formal specificationIn computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.
Intension et extensionEn logique, l’intension (ou « compréhension ») et l’extension sont deux façons de définir un concept. L'intension d'un concept est sa définition. Par exemple, l'intension de « chat » est : « animal à quatre pattes de la famille des félins ». L'extension est l'ensemble des choses auxquelles l'intension (la définition) s'applique. Par exemple : mon chat, le chat de mon voisin, les chats siamois, etc.
