Système complexevignette|Visualisation sous forme de graphe d'un réseau social illustrant un système complexe. Un système complexe est un ensemble constitué d'un grand nombre d'entités en interaction dont l'intégration permet d'achever un but commun. Les systèmes complexes sont caractérisés par des propriétés émergentes qui n'existent qu'au niveau du système et ne peuvent pas être observées au niveau de ses constituants. Dans certains cas, un observateur ne peut pas prévoir les rétroactions ou les comportements ou évolutions des systèmes complexes par le calcul, ce qui amène à les étudier à l'aide de la théorie du chaos.
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.
Dimension fractaleEn géométrie fractale, la dimension fractale, D, est une grandeur qui a vocation à traduire la façon qu'a un ensemble fractal de remplir l'espace, à toutes les échelles. Dans le cas des fractales, elle est non entière et supérieure à la dimension topologique. Ce terme est un terme générique qui recouvre plusieurs définitions. Chacune peut donner des résultats différents selon l'ensemble considéré, il est donc essentiel de mentionner la définition utilisée lorsqu'on valorise la dimension fractale d'un ensemble.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Suite logistiqueEn mathématiques, une suite logistique est une suite réelle simple, mais dont la récurrence n'est pas linéaire. Sa relation de récurrence est Suivant la valeur du paramètre μ (dans [0; 4] pour assurer que les valeurs de x restent dans [0; 1]), elle engendre soit une suite convergente, soit une suite soumise à oscillations, soit une suite chaotique. Souvent citée comme exemple de la complexité de comportement pouvant surgir d'une relation non linéaire simple, cette suite fut popularisée par le biologiste Robert May en 1976.
Dynamique holomorpheLa dynamique holomorphe est un domaine de l'analyse complexe et des systèmes dynamiques s'intéressant principalement à l'étude de l'itération des applications holomorphes. La dynamique holomorphe provient initialement de l'étude de la méthode de Newton faite par le mathématicien allemand Ernst Schröder dans les années 1870. Cette méthode, qui revient à itérer une certaine fraction rationnelle particulière, est ensuite généralisée à l'itération de fractions rationnelles quelconques.
Conduction thermiqueLa conduction thermique (ou diffusion thermique) est un mode de transfert thermique provoqué par une différence de température entre deux régions d'un même milieu, ou entre deux milieux en contact, et se réalisant sans déplacement global de matière (à l'échelle macroscopique) par opposition à la convection qui est un autre mode de transfert thermique. Elle peut s'interpréter comme la transmission de proche en proche de l'agitation thermique : un atome (ou une molécule) cède une partie de son énergie cinétique à l'atome voisin.
Fractalevignette|Exemple de figure fractale (détail de l'ensemble de Mandelbrot)|alt=Exemple de figure fractale (détail de l'ensemble de Mandelbrot). vignette|Ensemble de Julia en . Une figure fractale est un objet mathématique qui présente une structure similaire à toutes les échelles. C'est un objet géométrique « infiniment morcelé » dont des détails sont observables à une échelle arbitrairement choisie. En zoomant sur une partie de la figure, il est possible de retrouver toute la figure ; on dit alors qu’elle est « auto similaire ».
Paradoxe du littoralLe paradoxe du littoral est l'observation contre-intuitive que le littoral d'une masse continentale n'a pas de longueur définie. Cela résulte des propriétés apparentées à celles d'une courbe fractale des littoraux ; c'est-à-dire le fait qu'un littoral a typiquement une dimension fractale. Bien que le « paradoxe de la longueur » ait été précédemment noté par Hugo Steinhaus, la première étude systématique de ce phénomène est réalisée par Lewis Fry Richardson, et il est développé par Benoît Mandelbrot.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
