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.
Cellule de Purkinjevignette|Cellules de Purkinje. vignette|Dessin de cellules de Purkinje (A) et de grains (B) chez le pigeon par Santiago Ramón y Cajal, 1899. Les cellules de Purkinje sont des neurones GABAergiques du cortex cérébelleux, découvertes par Jan Purkinje au cours du . Elles présentent un corps cellulaire piriforme coiffé par une arborescence dendritique parasagittale s'épanouissant par bifurcations successives dans la couche cellulaire, et émettent un axone descendant dans la couche granulaire vers les noyaux cérébelleux profonds.
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.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
CerveletLe cervelet (du cerebellum, « petit cerveau ») est une structure de l'encéphale des vertébrés qui joue un rôle important dans le contrôle moteur et est impliqué, dans une moindre mesure, dans certaines fonctions cognitives, telles que l'attention, le langage et la régulation des réactions de peur et de plaisir. Le cervelet n'est généralement pas à l'origine du mouvement, il contribue à la coordination et la synchronisation des gestes, et à la précision des mouvements.
Science des matériauxLa science des matériaux repose sur la relation entre les propriétés, la morphologie structurale et la mise en œuvre des matériaux qui constituent les objets qui nous entourent (métaux, polymères, semi-conducteurs, céramiques, composites, etc.). Elle se focalise sur l'étude des principales caractéristiques des matériaux, ainsi que leurs propriétés mécaniques, chimiques, électriques, thermiques, optiques et magnétiques. La science des matériaux est au cœur de beaucoup des grandes révolutions techniques.
Golgi cellIn neuroscience, Golgi cells are inhibitory interneurons found within the granular layer of the cerebellum. They were first identified as inhibitory in 1964. It was also the first example of an inhibitory feedback network, where the inhibitory interneuron was identified anatomically. These cells synapse onto the dendrite of granule cells and unipolar brush cells. They receive excitatory input from mossy fibres, also synapsing on granule cells, and parallel fibers, which are long granule cell axons.
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).
Théorie du neuroneLa théorie du neurone désigne la notion devenue fondamentale que les neurones sont les unités structurelles et fonctionnelles de base du système nerveux. Cette théorie fut d'abord formulée par Santiago Ramón y Cajal avant d'être complétée, à la fin du , par Heinrich Wilhelm Waldeyer. C'est ce dernier qui proposa le mot « neurone » pour désigner les cellules nerveuses. Selon cette théorie, les neurones sont des entités fonctionnelles autonomes (et non fusionnées en un maillage) et des unités métaboliques distinctes comportant un corps cellulaire (soma), un axone et des dendrites.
Rayon Xvignette|upright|Une des premières radiographies, prise par Wilhelm Röntgen. alt=Rayon X des poumons humains|vignette|189x189px|Rayon X des poumons humains. Les rayons X sont une forme de rayonnement électromagnétique à haute fréquence constitué de photons dont l'énergie varie d'une centaine d'eV (électron-volt), à plusieurs MeV. Ce rayonnement a été découvert en 1895 par le physicien allemand Wilhelm Röntgen, qui a reçu pour cela le premier prix Nobel de physique ; il lui donna le nom habituel de l'inconnue en mathématiques, X.
