Yes–no questionIn linguistics, a yes–no question, also known as a binary question, a polar question, or a general question, is a question whose expected answer is one of two choices, one that provides an affirmative answer to the question versus one that provides a negative answer to the question. Typically, in English, the choices are either "yes" or "no". Yes–no questions present an exclusive disjunction, namely a pair of alternatives of which only one is a felicitous answer.
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é).
Quinque viaeLes quinque viae (les cinq voies) sont des voies pour accéder à l'existence de Dieu par la raison. Elles sont développées par Thomas d'Aquin dans la Somme théologique, partie, question 2, article 3 : « Dieu existe-t-il ? ». La méthode pour remonter à Dieu par la raison se résume à trois points : par mode de causalité (il est la cause de ce monde), par mode de négation, c’est-à-dire en niant en lui ce qui est limité en nous (par exemple : Dieu n'est pas matériel, mortel, localisé), et par mode d'éminence, en affirmant qu'il existe en lui éminemment ce qui est qualitatif en nous (par exemple : Dieu est amour, intelligence, puissance.
Résilience (écologie)alt=|vignette|Colonisation d'un sol incendié par de jeunes plants de pins d’Alep, une espèce résiliente aux feux : ses cônes sérotineux s’ouvrent sous l’action de la chaleur libérant une grande quantité de graines. La résilience écologique est la capacité d'un système vivant (écosystème, biome, population, biosphère) à retrouver les structures et les fonctions de son état de référence après une perturbation. Une faible résilience peut conduire un système écologique, à changer profondément de structure et de fonctionnement après une perturbation.
Domain-specific modelingDomain-specific modeling (DSM) is a software engineering methodology for designing and developing systems, such as computer software. It involves systematic use of a domain-specific language to represent the various facets of a system. Domain-specific modeling languages tend to support higher-level abstractions than general-purpose modeling languages, so they require less effort and fewer low-level details to specify a given system.
Méthode d'analyse et de conception d'applications orientées objetLa méthode d'analyse et de conception d'applications orientées objet (dite MACAO) est fondée sur une démarche participative par prototypage incrémental (processus itératif) permettant aux utilisateurs d'intervenir très tôt dans le processus de développement du logiciel. MACAO utilise la notation UML afin de définir la structure du logiciel en termes de classes et de composants ainsi que pour modéliser sa dynamique à l'aide de diagrammes d'interactions ou d'états/transitions.
