Informatique théoriquevignette|Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique.
Linguistique comparéeLa linguistique comparée (ou encore linguistique comparative, linguistique historique ou grammaire comparée) est une discipline de la linguistique qui étudie l'histoire et l'évolution des langues (prises individuellement) ou des familles de langues. C'est une discipline éminemment diachronique, notamment lorsqu'il s'agit de classifier les langues, mais l'aspect synchronique est également à considérer lorsqu'il s'agit de comparer deux langues ou plus, à une époque précise, d'un point de vue purement grammatical.
CalabreLa Calabre (Calabria /kaˈlabrja/ en italien et en calabrais) est une région d'Italie méridionale comptant dont le chef-lieu est situé à Catanzaro. Elle est délimitée au nord par la Basilicate, à la pointe sud-ouest par le détroit de Messine, qui la sépare de la Sicile, à l'est par la mer Ionienne et à l'ouest par la mer Tyrrhénienne. Il s'agit du premier territoire à avoir été appelé « Italia », nom que les Grecs ont donné au à l'isthme de Catanzaro, alors sous la domination d'Italos, roi des Œnôtres.
Guerre civile italienneLa guerre civile italienne est une confrontation qui a eu lieu entre et , au cours de la Seconde Guerre mondiale, entre d'une part les forces fidèles au roi Victor-Emmanuel III et celles des partisans italiens, et d'autre part l'armée fasciste de la République sociale italienne, état fantoche du Troisième Reich. Campagne d'Italie (Seconde Guerre mondiale) thumb|left|150px|Le roi Victor-Emmanuel III d'Italie.
MonzaMonza ['mon:tsa] (en lombard : Monça, Monce en français) est une ville italienne d'environ chef-lieu de la province de Monza et de la Brianza en Lombardie, région de la plaine du Pô. La ville est établie dans la haute plaine de Lombardie, à l'extrémité sud de la Brianza, à une altitude de . Elle est située à environ du centre de Milan et à environ de Lecco et Côme. C'est la troisième ville de Lombardie et le plus important centre administratif, économique et industriel de la Brianza.
Art de la Grèce antiquethumb|L'aurige de Delphes, Musée archéologique de Delphes. Un des plus beaux vestiges de la sculpture grecque, il date de 470 et fait partie d'un plus large ensemble de statues qui fut offert au sanctuaire d'Apollon à Delphes par Polyzalos, frère d'un tyran de Syracuse. Il s'agit d'un bronze de la première époque classique, un des rares à avoir conservé ses yeux de verres originaux L’art de la Grèce antique a exercé une influence considérable sur la culture de nombreux pays des temps anciens à nos jours, en particulier dans les domaines de la sculpture et de l'architecture.
Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
Imagination activethumb|upright=1.0|Le Caravage, L'inspiration de saint Matthieu. Limagination active est une méthode de la psychologie analytique, théorie créée par le psychiatre suisse Carl Gustav Jung. La méthode consiste à donner une forme sensible aux images de l'inconscient et d'élargir ainsi la conscience. Il s'agit ainsi de fixer son attention sur les humeurs, et, plus généralement, sur les fantasmes inconscients portés à la conscience, puis de les laisser se développer librement, sans que la conscience ne les détermine, mais en interagissant cependant avec eux.
Inconscient collectifthumb|upright=1.5|Carte de l'Enfer dans la Divine Comédie de Dante Alighieri, par Sandro Botticelli (vers 1480-1495). Selon Carl Gustav Jung, les enfers représentent dans toutes les cultures l'aspect inquiétant de l'inconscient collectif. L'inconscient collectif est un concept de la psychologie analytique s'attachant à désigner les fonctionnements humains liés à l'imaginaire, communs ou partagés, quels que soient les époques et les lieux, et qui influencent et conditionnent les représentations individuelles et collectives.
Typologie linguistiqueLa typologie linguistique est une branche de la linguistique et un mode de classification des langues, qui s’occupe de l’établissement de groupes selon certains traits structurels communs, par lesquels ils se distinguent. Cette typologie diffère d’autres modes de classification des langues. L’une est généalogique, concernant l’étude comparative historique des ressemblances et différences entre langues apparentées, établissant des classes généalogiques (familles de langues et branches à l’intérieur de celles-ci).
