Réseau de neurones artificielsUn réseau de neurones artificiels, ou réseau neuronal artificiel, est un système dont la conception est à l'origine schématiquement inspirée du fonctionnement des neurones biologiques, et qui par la suite s'est rapproché des méthodes statistiques. Les réseaux de neurones sont généralement optimisés par des méthodes d'apprentissage de type probabiliste, en particulier bayésien.
Automate fini déterministeUn automate fini déterministe, parfois abrégé en AFD (en anglais deterministic finite automaton, abrégé en DFA) est un automate fini dont les transitions à partir de chaque état sont déterminées de façon unique par le symbole d'entrée. Un tel automate se distingue ainsi d'un automate fini non déterministe, où au contraire plusieurs possibilités de transitions peuvent exister simultanément pour un état et un symbole d'entrée donné.
Géométrie finieUne géométrie finie est un système géométrique dont les points sont en nombre fini. La géométrie euclidienne usuelle n'est pas finie, une droite euclidienne possédant une infinité de points. Une géométrie basée sur les images affichées sur un écran d'ordinateur, où les pixels sont considérés comme des points, serait une géométrie finie. Bien qu'il existe de nombreux systèmes que l'on pourrait appeler des géométries finies, on porte principalement l'attention sur les espaces projectifs et affines finis en raison de leur régularité et de leur simplicité.
Groupe d'espaceLe groupe d'espace d'un cristal est constitué par l'ensemble des symétries d'une structure cristalline, c'est-à-dire l'ensemble des isométries affines laissant la structure invariante. Il s'agit d'un groupe au sens mathématique du terme. Tout groupe d'espace résulte de la combinaison d'un réseau de Bravais et d'un groupe ponctuel de symétrie : toute symétrie de la structure résulte du produit d'une translation du réseau et d'une transformation du groupe ponctuel. La notation de Hermann-Mauguin est utilisée pour représenter un groupe d'espace.
Méthode des différences finiesEn analyse numérique, la méthode des différences finies est une technique courante de recherche de solutions approchées d'équations aux dérivées partielles qui consiste à résoudre un système de relations (schéma numérique) liant les valeurs des fonctions inconnues en certains points suffisamment proches les uns des autres. Cette méthode apparaît comme étant la plus simple à mettre en œuvre car elle procède en deux étapes : d'une part la discrétisation par différences finies des opérateurs de dérivation/différentiation, d'autre part la convergence du schéma numérique ainsi obtenu lorsque la distance entre les points diminue.
AutomationL'automation consiste à utiliser les services d'un logiciel dans une application informatique. L'automation peut donc être considérée comme une procédure d'automatisation. En informatique musicale, dans un séquenceur, l'automation consiste à programmer des changements de réglages pendant la lecture d'un morceau, comme la variation de volume d'une piste audio. Cette mise en place peut se faire par mimétisme : le logiciel enregistre en temps réel des mouvements venant de l'utilisateur pour les reproduire lors des prochaines exécutions du morceau.
Théorie de la complexité (informatique théorique)vignette|Quelques classes de complexité étudiées dans le domaine de la théorie de la complexité. Par exemple, P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée ...) requis par un algorithme pour résoudre un problème algorithmique.
Automate fini non déterministeUn automate fini (on dit parfois, par une traduction littérale de l'anglais, machine à états finis, au lieu de machine avec un nombre fini d'états ou machine à états finie ou machine finie à états), finite-state automaton ou finite-state machine (FSA, FSM), est une machine abstraite qui est un outil fondamental en mathématiques discrètes et en informatique. On les retrouve dans la modélisation de processus, le contrôle, les protocoles de communication, la vérification de programmes, la théorie de la calculabilité, dans l'étude des langages formels et en compilation.
Espace (notion)L'espace se présente dans l'expérience quotidienne comme une notion de géométrie et de physique qui désigne une étendue, abstraite ou non, ou encore la perception de cette étendue. Conceptuellement, il est le plus souvent synonyme de contenant aux bords indéterminés. Le phénomène reste en lui-même indéterminé car nous ne savons pas s'il manifeste une structure englobante rassemblant toutes les choses et les lieux ou bien s'il ne s'agit que d'un phénomène dérivé de la multiplicité des lieux.
Schéma d'axiomes de compréhensionLe schéma d'axiomes de compréhension, ou schéma d'axiomes de séparation, est un schéma d'axiomes de la théorie des ensembles introduit par Zermelo dans sa théorie des ensembles, souvent notée Z. On dit souvent en abrégé schéma de compréhension ou schéma de séparation. La théorie des classes permet de l'exprimer comme un seul axiome. Étant donné un ensemble A et une propriété P exprimée dans le langage de la théorie des ensembles, il affirme l'existence de l'ensemble B des éléments de A vérifiant la propriété P.
