Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Schéma électriquethumb|Légende d'un circuit électrique. (Symboles US) Un schéma électrique est une représentation graphique d'un circuit électrique, basée sur des conventions. Il traduit, sous forme de symboles normalisés, les composants du circuit ainsi que l'alimentation et les signaux reliant ces composants. La position graphique des composants et de leurs interconnexions ne reflète pas toujours le positionnement physique de ceux-ci, contrairement aux positions qui figurent sur un schéma-bloc ou sur un schéma de câblage.
Ingénierie électroniquevignette|Amplificateur L’ingénierie électronique est la branche de l’ingénierie qui traite les nouvelles technologies (téléphone portable, télévision...). Ils peuvent aussi bien programmer que créer le produit en question. Cela inclut l’ingénierie des appareils électroniques ainsi que l'ingénierie de la programmation. D’autres branches de l’ingénierie comme l’ingénierie biomédicale, les télécommunications et le génie informatique ont été, au moment de leur naissance, seulement des spécialisations de l’ingénierie électronique.
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.
AC adapterAn AC adapter or AC/DC adapter is a type of external power supply, often enclosed in a case similar to an AC plug. Other common names include wall wart, power brick, wall charger, and power adapter. Adapters for battery-powered equipment may be described as chargers or rechargers (see also battery charger). AC adapters are used with electrical devices that require power but do not contain internal components to derive the required voltage and power from mains power.
DC motorA DC motor is an electrical motor that uses direct current (DC) to produce mechanical force. The most common types rely on magnetic forces produced by currents in the coils. Nearly all types of DC motors have some internal mechanism, either electromechanical or electronic, to periodically change the direction of current in part of the motor. DC motors were the first form of motors widely used, as they could be powered from existing direct-current lighting power distribution systems.
Comparison of EDA softwareThis page is a comparison of electronic design automation (EDA) software which is used today to design the near totality of electronic devices. Modern electronic devices are too complex to be designed without the help of a computer. Electronic devices may consist of integrated circuits (ICs), printed circuit boards (PCBs), field-programmable gate arrays (FPGAs) or a combination of them. Integrated circuits may consist of a combination of digital and analog circuits.
Multigate deviceA multigate device, multi-gate MOSFET or multi-gate field-effect transistor (MuGFET) refers to a metal–oxide–semiconductor field-effect transistor (MOSFET) that has more than one gate on a single transistor. The multiple gates may be controlled by a single gate electrode, wherein the multiple gate surfaces act electrically as a single gate, or by independent gate electrodes. A multigate device employing independent gate electrodes is sometimes called a multiple-independent-gate field-effect transistor (MIGFET).
