SémiotiqueLa sémiotique (également appelée études sémiotiques) est l'étude systématique des processus de signes (sémiosis ou sémiose) et de la fabrication du sens. La sémiose est toute activité, conduite ou processus qui implique des signes, où un signe est défini comme tout ce qui communique quelque chose, généralement appelé un sens, à l'interprète du signe. La signification peut être intentionnelle, comme un mot prononcé avec une signification spécifique, ou non intentionnelle, comme un symptôme étant le signe d'une condition médicale particulière.
Sign (semiotics)In semiotics, a sign is anything that communicates a meaning that is not the sign itself to the interpreter of the sign. The meaning can be intentional, as when a word is uttered with a specific meaning, or unintentional, as when a symptom is taken as a sign of a particular medical condition. Signs can communicate through any of the senses, visual, auditory, tactile, olfactory, or taste. Two major theories describe the way signs acquire the ability to transfer information.
Processus stochastiqueUn processus ou processus aléatoire (voir Calcul stochastique) ou fonction aléatoire (voir Probabilité) représente une évolution, discrète ou à temps continu, d'une variable aléatoire. Celle-ci intervient dans le calcul classique des probabilités, où elle mesure chaque résultat possible (ou réalisation) d'une épreuve. Cette notion se généralise à plusieurs dimensions. Un cas particulier important, le champ aléatoire de Markov, est utilisé en analyse spatiale.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Category (mathematics)In mathematics, a category (sometimes called an abstract category to distinguish it from a ) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the , whose objects are sets and whose arrows are functions. is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent.
SignA sign is an object, quality, event, or entity whose presence or occurrence indicates the probable presence or occurrence of something else. A natural sign bears a causal relation to its object—for instance, thunder is a sign of storm, or medical symptoms a sign of disease. A conventional sign signifies by agreement, as a full stop signifies the end of a sentence; similarly the words and expressions of a language, as well as bodily gestures, can be regarded as signs, expressing particular meanings.
Argument téléologique (religion)Largument téléologique, ou argument du dessein divin', est l'argument sur l'existence de Dieu qui se base sur des preuves perceptibles d'ordre, d'intention, de conception ou de direction - ou d'une combinaison de ceux-ci - dans la nature. Il s'appuie sur l'aspect complexe du monde qui semble avoir été conçu, et serait donc l'objectif ou le but d'un être intelligent. Cet argument a été remis au goût du jour par les créationnistes américains, sous la forme du mouvement du Dessein intelligent.
Business process modelingBusiness process modeling (BPM) in business process management and systems engineering is the activity of representing processes of an enterprise, so that the current business processes may be analyzed, improved, and automated. BPM is typically performed by business analysts, who provide expertise in the modeling discipline; by subject matter experts, who have specialized knowledge of the processes being modeled; or more commonly by a team comprising both. Alternatively, the process model can be derived directly from events' logs using process mining tools.
Catégorie des modulesEn mathématiques, la catégorie des modules sur un monoïde R est une construction qui rend compte abstraitement des propriétés observées dans l'étude des modules sur un anneau, en les généralisant. L'étude de catégories de modules apparaît naturellement en théorie des représentations et en géométrie algébrique. Puisqu'un R-module est un espace vectoriel lorsque R est un corps commutatif, on peut dans un tel cas identifier la catégorie des modules sur R à la sur le corps R.
Catégorie des petites catégoriesEn mathématiques, plus précisément en théorie des catégories, la catégorie des petites catégories, notée Cat, est la catégorie dont les objets sont les petites catégories et dont les morphismes sont les foncteurs entre petites catégories. Cat peut en fait être considérée comme une 2-catégorie, les transformations naturelles servant de 2-morphismes. L'objet initial de Cat est la catégorie vide 0, qui est la catégorie sans objets et sans morphismes. L'objet final est la catégorie finale ou catégorie triviale 1 ayant un seul objet et un seul morphisme.
Catégorie des anneauxEn mathématiques, la catégorie des anneaux est une construction qui rend compte abstraitement des propriétés des anneaux en algèbre. Dans ce contexte, « anneau » signifie toujours anneau unitaire. La catégorie des anneaux, notée Ring, est la catégorie définie ainsi : Les objets sont les anneaux ; Les morphismes sont les morphismes d'anneaux, avec la composition usuelle, et l'identité est la fonction identité sur un anneau donné. La sous-catégorie pleine de Ring, dont les objets sont les anneaux commutatifs, forme la catégorie des anneaux commutatifs, notée CRing.
