Raisonnement automatisévignette|Visualisation commune du réseau de neurones artificiels avec puce NOTOC Le raisonnement automatisé est un domaine de l'informatique consacré à la compréhension des différents aspects du raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de « raisonner » de manière automatique, ou presque. Il est considéré habituellement comme un sous-domaine de l'intelligence artificielle, mais possède aussi de fortes connexions avec l'Informatique théorique et même avec la philosophie.
Échangeur air-solUn échangeur air-sol (également connu sous les noms de puits provençal, puits canadien ou puits climatique) est un échangeur géothermique à très basse énergie utilisé pour rafraîchir ou réchauffer l'air ventilé dans un bâtiment. Ce type d'échangeur est notamment utilisé dans l'habitat passif. L'échangeur air-sol sert à alimenter un bâtiment en air en le faisant circuler auparavant dans un conduit enterré qui selon les conditions climatiques le refroidit ou le préchauffe en utilisant l'inertie thermique du sol.
Ligne de niveauSoit f une fonction à valeurs réelles, une ligne de niveau est un ensemble { (x1,...,xn) | f(x1,...,xn) = c } ; c étant une constante. C'est en fait le sous-ensemble de l'ensemble de définition sur lequel f prend une valeur donnée. Théorème : le gradient de f est perpendiculaire en tout point à la ligne de niveau de f en ce point. Il s'agit d'un résultat important. Pour mieux le comprendre, imaginons que deux randonneurs sont à la même position sur une montagne.
Signature d'une permutationEn mathématiques, une permutation de support fini est dite paire si elle présente un nombre pair d'inversions, impaire sinon. La signature d'une permutation vaut 1 si celle-ci est paire, –1 si elle est impaire. L'application signature, du groupe symétrique dans le groupe ({–1, 1}, ×), est un morphisme, c'est-à-dire qu'elle vérifie une propriété analogue à la règle des signes. Toute permutation se décompose en un produit de transpositions.
