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.
Impédance caractéristiqueL'impédance caractéristique d'une ligne de transmission est une représentation d'une forme de perméabilité du milieu. Elle joue un rôle similaire à ce qu'on observe avec les ondes sonores ou les ondes électromagnétiques. Quand une onde traverse la frontière entre deux milieux différents, une partie de son énergie ne peut être transmise d'un milieu à l'autre et repart dans l'autre sens. Dans une ligne de transmission, elle correspond à l'impédance qu'on pourrait mesurer à ses bornes si elle avait une longueur infinie.
Projet GutenbergLe projet Gutenberg est une bibliothèque de versions électroniques libres (parfois appelés ou e-content) de livres physiquement existants. Les textes fournis sont essentiellement du domaine public, soit parce qu'ils n'ont jamais été sujets à des droits d'auteur, soit parce que ces derniers sont expirés. Il contient toutefois quelques textes toujours sous droit d'auteur, qui sont rendus disponibles pour le projet avec la permission de l'auteur. Le projet fut lancé par Michael Hart en 1971 et nommé en hommage à l'imprimeur allemand du Johannes Gutenberg.
Routing (electronic design automation)In electronic design, wire routing, commonly called simply routing, is a step in the design of printed circuit boards (PCBs) and integrated circuits (ICs). It builds on a preceding step, called placement, which determines the location of each active element of an IC or component on a PCB. After placement, the routing step adds wires needed to properly connect the placed components while obeying all design rules for the IC. Together, the placement and routing steps of IC design are known as place and route.
