Axiomes des probabilitésEn théorie des probabilités, les axiomes de probabilités, également appelés axiomes de Kolmogorov du nom d'Andreï Nikolaievitch Kolmogorov qui les a développés, désignent les propriétés que doit vérifier une application afin de formaliser l'idée de probabilité. Ces propriétés peuvent être résumées ainsi : si est une mesure sur un espace mesurable , alors doit être un espace de probabilité. Le théorème de Cox fournit une autre approche pour formaliser les probabilités, privilégiée par certains bayésiens.
Équation aux dérivées partiellesEn mathématiques, plus précisément en calcul différentiel, une équation aux dérivées partielles (parfois appelée équation différentielle partielle et abrégée en EDP) est une équation différentielle dont les solutions sont les fonctions inconnues dépendant de plusieurs variables vérifiant certaines conditions concernant leurs dérivées partielles. Une EDP a souvent de très nombreuses solutions, les conditions étant moins strictes que dans le cas d'une équation différentielle ordinaire à une seule variable ; les problèmes comportent souvent des conditions aux limites qui restreignent l'ensemble des solutions.
Équipement terminal de traitement de donnéesUn équipement terminal de traitement de données (ETTD ou en anglais DTE pour Data Terminal Equipment) est, selon les définitions données par le Comité consultatif international téléphonique et télégraphique (CCITT, devenu UIT-T en 1993) un élément susceptible d'échanger des données avec un réseau, qui ne se connecte pas directement à la ligne de transmission. Par exemple : un ordinateur, un terminal, une imprimante... La transmission des données est assurée par un équipement terminal de circuit de données (ETCD).
Réseau local virtuelthumb|upright=1.8|Exemple de cloisonnement d'un réseau en deux VLAN, VLAN1 pour l'équipe ingénierie et VLAN2 pour l'équipe marketing. Un réseau local virtuel, communément appelé VLAN (pour Virtual LAN), est un réseau informatique logique indépendant. De nombreux VLAN peuvent coexister sur un même commutateur réseau ou « switch ». Les VLAN permettent : de séparer les flux ; de segmenter le réseau : réduire la taille d'un domaine de collision ; d'améliorer la sécurité : permet de créer un ensemble logique isolé pour améliorer la sécurité.
Identification (statistiques)En statistiques et en économétrie, l'identification (ou identifiabilité) est une propriété d'un modèle statistique. En statistiques, on dit qu'un modèle est identifiable s'il est possible d'apprendre la vraie valeur des paramètres à partir d'un nombre infini d'observations. On considère le modèle statistique : avec : l'espace de réalisation des variables aléatoires l'espace des valeurs possibles pour le paramètre une loi de probabilité de densité On définit alors la fonction de vraisemblance comme : On dit
Équation quartiqueEn mathématiques, une équation quartique est une équation polynomiale de degré 4. Les équations quartiques ont été résolues dès que furent connues les méthodes de résolution des équations du troisième degré. Ont été développées successivement la méthode de Ferrari et la méthode de Descartes. La méthode de Lagrange, décrite ci-dessous, est issue des propriétés des polynômes symétriques construits à partir des n racines d'un polynôme de degré n. La méthode de résolution de l'équation quartique est établie depuis déjà deux siècles par Ludovico Ferrari (1522-1565).
Overdetermined systemIn mathematics, a system of equations is considered overdetermined if there are more equations than unknowns. An overdetermined system is almost always inconsistent (it has no solution) when constructed with random coefficients. However, an overdetermined system will have solutions in some cases, for example if some equation occurs several times in the system, or if some equations are linear combinations of the others. The terminology can be described in terms of the concept of constraint counting.
Dérivation (algèbre)En algèbre, le terme dérivation est employé dans divers contextes pour désigner une application vérifiant l'identité de Leibniz. Selon le contexte, il peut s'agir, entre autres, d'une application additive définie sur un anneau A à valeurs dans un -module, ou bien d'un endomorphisme d'une algèbre unitaire sur un anneau unitaire. Cette notion est en particulier vérifiée par l'opérateur de dérivation d'une fonction (de variable réelle, par exemple); elle en est une généralisation utilisée en géométrie algébrique et en calcul différentiel sur les variétés (par exemple pour définir le crochet de Lie).
