Test d'intégrationDans le monde du développement informatique, L'objectif de chaque phase de test est de détecter les erreurs qui n'ont pas pu être détectées lors de la précédente phase. Pour cela, le test d’intégration a pour cible de détecter les erreurs non détectables par le test unitaire. Le test d’intégration permet également de vérifier l'aspect fonctionnel, les performances et la fiabilité du logiciel. L'intégration fait appel en général à un système de gestion de versions, et éventuellement à des programmes d'installation.
Connaissance expliciteEn ingénierie des connaissances, les connaissances explicites sont, par opposition aux connaissances tacites, les connaissances clairement articulées au niveau d'un document écrit, d'un système informatique, ou d'un document électronique. Ces connaissances sont facilement transférables physiquement, car elles apparaissent sous une forme tangible : un document papier peut être transféré par la poste, un document électronique peut être transféré par une messagerie électronique ou via un site web.
Undecidable problemIn computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer. The halting problem is an example: it can be proven that there is no algorithm that correctly determines whether arbitrary programs eventually halt when run. A decision problem is a question which, for every input in some infinite set of inputs, answers "yes" or "no"..
Règle de résolutionEn logique mathématique, la règle de résolution ou principe de résolution de Robinson est une règle d'inférence logique qui généralise le modus ponens. Cette règle est principalement utilisée dans les systèmes de preuve automatiques, elle est à la base du langage de programmation logique Prolog. La règle du modus ponens s'écrit et se lit : de p et de "p implique q", je déduis q. On peut réécrire l'implication "p implique q" comme "p est faux ou q est vraie". Ainsi, la règle du modus ponens s'écrit .
Problème de l'arrêtvignette|L'animation illustre une machine impossible : il n'y a pas de machine qui lit n'importe quel code source d'un programme et dit si son exécution termine ou non. En théorie de la calculabilité, le problème de l'arrêt est le problème de décision qui détermine, à partir d'une description d'un programme informatique, et d'une entrée, si le programme s'arrête avec cette entrée ou non.
Langage de définition de donnéesUn langage de définition de données (LDD ; en anglais data definition language, DDL) est un langage de programmation et un sous-ensemble de SQL pour manipuler les structures de données d'une base de données, et non les données elles-mêmes. Il permet de définir le domaine des données, c'est-à-dire l'ensemble des valeurs que peut prendre une donnée : nombre, chaîne de caractères, date, booléen. Il permet aussi de regrouper les données ayant un lien conceptuel au sein d'une même entité.
Hypothèse ad hocvignette|354x354px|Si quelqu'un veut croire en l'existence des lutins, il peut empêcher sa théorie d'être démentie en y ajoutant des hypothèses ad hoc ("ils sont invisibles", "leurs desseins sont complexes", etc.). En science et en philosophie, une hypothèse ad hoc (latin: « pour cela ») est une hypothèse « arbitraire » ajoutée à une théorie afin d'empêcher de la voir réfutée. Cet argument, qui peut être utilisé de manière tout à fait légitime ou fallacieuse, est utilisé pour compenser les anomalies non prévues par la théorie dans sa forme initiale.
