Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Système dynamiqueEn mathématiques, en chimie ou en physique, un système dynamique est la donnée d’un système et d’une loi décrivant l'évolution de ce système. Ce peut être l'évolution d'une réaction chimique au cours du temps, le mouvement des planètes dans le système solaire (régi par la loi universelle de la gravitation de Newton) ou encore l'évolution de la mémoire d'un ordinateur sous l'action d'un programme informatique. Formellement on distingue les systèmes dynamiques à temps discrets (comme un programme informatique) des systèmes dynamiques à temps continu (comme une réaction chimique).
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Despina (lune)Despina est le troisième satellite naturel de Neptune. Il a été découvert lors du passage de la sonde en 1989. Temporairement désigné S/1989 N 3, son nom vient de Despina, une nymphe de la mythologie grecque, fille de Poséidon et de Déméter. Despina est un petit corps céleste irrégulier de de longueur maximale et ne présente aucune activité géologique. L'orbite de Despina, située en deçà de l'orbite synchrone de Neptune, est instable et ce satellite spirale lentement vers sa planète sous l'effet des forces de marée exercées par celle-ci.
Thalassa (lune)Thalassa est le deuxième satellite naturel de Neptune. Il a été découvert lors du passage de la sonde en 1989. Temporairement désigné S/1989 N 5, son nom provient de Thalassa, la fille d'Héméra et d'Æther dans la mythologie grecque. « Thalassa » veut également dire « mer » en grec ancien. Thalassa est un petit corps céleste irrégulier de de longueur maximale et ne présente aucune activité géologique. L'orbite de Thalassa, située en deçà de l'orbite synchrone de Neptune, est instable et ce satellite spirale lentement vers sa planète en raison des forces de marée exercées par celle-ci.
Galatée (lune)Galatée est le quatrième satellite naturel de Neptune. L'objet a été découvert lors du passage de la sonde Voyager 2 en 1989 à proximité de Neptune. Temporairement désigné S/1989 N 4, son nom vient de Galatée, une néréide (nymphe marine) de la mythologie grecque. Galatée est un petit corps céleste irrégulier de de longueur maximale et ne présente aucune activité géologique. L'orbite de Galatée, située en deçà de l'orbite synchrone de Neptune, est instable et la lune spirale lentement vers sa planète sous l'effet des forces de marée exercées par celle-ci.
Fonction de WeierstrassLa fonction de Weierstrass, aussi appelée fonction de Weierstrass-Hardy, fut en 1872 le premier exemple publié d'une fonction réelle d'une variable réelle qui est continue partout, mais dérivable nulle part. On le doit à Karl Weierstrass et Leopold Kronecker ; les hypothèses ont été améliorées par G. H. Hardy.vignette|Évolution de la courbe de la fonction de Weierstrass lors d'une augmentation linéaire de la valeur de b de 0,1 à 5, pour a fixé égal à 0,5. la non-dérivabilité démarre à b = 2.
Économie mathématiquevignette|Les acteurs économiques (STN et actionnaires) sont classés par importance décroissante, donnée par . Un point de données situé en () correspond à une fraction des principaux acteurs économiques détenant cumulativement la fraction du contrôle, de la valeur ou des revenus d'exploitation du réseau. Les différentes courbes se réfèrent au contrôle du réseau calculé avec trois modèles (LM, TM, RM), voir l'annexe S1, section 3.1, et aux revenus d'exploitation. La ligne horizontale indique une valeur égale à .
