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.
Géométrie non euclidienneLa géométrie non euclidienne (GNE) est, en mathématiques, une théorie géométrique ayant recours aux axiomes et postulats posés par Euclide dans les Éléments, sauf le postulat des parallèles. Les différentes géométries non euclidiennes sont issues initialement de la volonté de démontrer la proposition du cinquième postulat, qui apparaissait peu satisfaisant en tant que postulat car trop complexe et peut-être redondant avec les autres postulats).
Géométrie elliptiqueUne géométrie elliptique est une géométrie non euclidienne. Les axiomes sont identiques à ceux de la géométrie euclidienne à l'exception de l'axiome des parallèles : en géométrie elliptique, étant donné une droite et un point extérieur à cette droite, il n'existe aucune droite parallèle à cette droite passant par ce point. Il est équivalent de dire que la somme des angles d'un triangle est toujours supérieure à .
Géométrie euclidienneLa géométrie euclidienne commence avec les Éléments d'Euclide, qui est à la fois une somme des connaissances géométriques de l'époque et une tentative de formalisation mathématique de ces connaissances. Les notions de droite, de plan, de longueur, d'aire y sont exposées et forment le support des cours de géométrie élémentaire. La conception de la géométrie est intimement liée à la vision de l'espace physique ambiant au sens classique du terme.
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.
Débit (physique)Le débit est la quantité d'une grandeur qui traverse une surface donnée par unité de temps. Il permet de quantifier un déplacement de matière ou d'énergie. Le terme débit est le plus souvent associé au débit volumique : il quantifie alors le volume qui traverse une surface, une section, par unité de temps. Le débit massique caractérise la masse qui traverse la surface par unité de temps. Il s'agit de notions centrales dans une situation d'écoulement de fluide.
Cellule souchevignette|Cellules souches embryonnaires de souris en culture. En biologie cellulaire, une cellule souche est une cellule indifférenciée capable, à la fois, de générer des cellules spécialisées par différenciation cellulaire et de se maintenir dans l'organisme par division symétrique ou division asymétrique. Les cellules souches sont présentes chez tous les êtres vivants multicellulaires. Elles jouent un rôle central dans le développement des organismes ainsi que dans le maintien de leur intégrité au cours de la vie.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Fluide newtonienOn appelle fluide newtonien (en hommage à Isaac Newton) un fluide dont la loi contrainte – vitesse de déformation est linéaire. La constante de proportionnalité est appelée viscosité. Viscosité L’équation décrivant le « comportement newtonien » en description eulérienne est : où : est la contrainte de cisaillement exercée par le fluide (à l'origine des forces de traînée), exprimée en Pa ; est la viscosité dynamique du fluide — une constante de proportionnalité caractéristique du matériau, en ; est le gradient de vitesse perpendiculaire à la direction de cisaillement, en s−1.
Géométrie projectiveEn mathématiques, la géométrie projective est le domaine de la géométrie qui modélise les notions intuitives de perspective et d'horizon. Elle étudie les propriétés inchangées des figures par projection centrale. Le mathématicien et architecte Girard Desargues fonde la géométrie projective dans son Brouillon project d’une Atteinte aux evenemens des rencontres du cone avec un plan publié en 1639, où il l'utilise pour une théorie unifiée des coniques.
