Fabrication des dispositifs à semi-conducteursthumb|upright=1.5|Évolution de la finesse de gravure des processeurs entre 1970 et 2017 La fabrication des dispositifs à semi-conducteur englobe les différentes opérations permettant l'élaboration de composants électroniques basés sur des matériaux semi-conducteurs. Entrent dans cette catégorie de composants à semi-conducteur, les composants discrets qui n'ont qu'une seule fonction comme les diodes et les transistors, et les circuits intégrés plus complexes, intégrant plusieurs composants, jusqu'à des milliards, dans le même boîtier.
VerilogLe Verilog, de son nom complet Verilog HDL est un langage de description matériel de circuits logiques en électronique, utilisé pour la conception d'ASICs (application-specific integrated circuits, circuits spécialisés) et de FPGAs (field-programmable gate array). Le sigle anglais HDL -Hardware Description Language- signifie Langage de Description du Matériel. « Verilog HDL » ne doit pas être abrégé en VHDL, ce sigle étant utilisé pour le langage concurrent VHSIC Hardware Description Language.
Disulfure de molybdèneLe disulfure de molybdène, ou sulfure de molybdène(IV), est un composé chimique de formule . Il s'agit d'un solide noir cristallisé diamagnétique et semiconducteur, semblable au graphite par son apparence et son toucher, et de ce fait utilisé comme lubrifiant mécanique, parfois à température élevée. Sa forme minérale est la molybdénite, principal minerai dont est extrait le molybdène. Dans le cristallisé, chaque Mo4+ est lié à six ligands occupant les sommets d'un prisme droit à base triangulaire au sein desquels la couche d'atomes de molybdène est prise en sandwich entre deux couches d'atomes de soufre.
Nanosystème électromécaniqueLes NEMS pour Nano Electro-Mechanical Systems, en français : Systèmes ÉlectroMécaniques Nanométriques ; on parle aussi de nanosystèmes. Ce sont des dispositifs analogues aux MEMS, mais à l'échelle du nanomètre. On parle de NEMS pour des structures mécaniques miniatures, réalisant des fonctions de capteur ou d'actionneur, dont au moins une des dimensions est de taille nanométrique.
Langage de description de matérielUn langage de description de matériel, ou du matériel (ou HDL pour hardware description language en anglais) est un langage informatique permettant la description d'un circuit électronique au niveau des transferts de registres (RTL). Celui-ci peut décrire les fonctions réalisées par le circuit (description comportementale) ou les portes logiques utilisées par le circuit (description structurelle). Il est possible d'observer le fonctionnement d'un circuit électronique modélisé dans un langage de description grâce à la simulation.
Self-verifying theoriesSelf-verifying theories are consistent first-order systems of arithmetic, much weaker than Peano arithmetic, that are capable of proving their own consistency. Dan Willard was the first to investigate their properties, and he has described a family of such systems. According to Gödel's incompleteness theorem, these systems cannot contain the theory of Peano arithmetic nor its weak fragment Robinson arithmetic; nonetheless, they can contain strong theorems.
Théorème de compacitévignette|420x420px|Si toute partie finie d'une théorie est satisfaisable (schématisée à gauche), alors la théorie est satisfaisable (schématisée à droite). En logique mathématique, un théorème de compacité énonce que si toute partie finie d'une théorie est satisfaisable alors la théorie elle-même est satisfaisable. Il existe des logiques où il y a un théorème de compacité comme le calcul propositionnel ou la logique du premier ordre (on parle de logiques compactes). Il existe aussi des logiques sans théorème de compacité.
GraphèneLe graphène est un matériau bidimensionnel cristallin, forme allotropique du carbone dont l'empilement constitue le graphite. Cette définition théorique est donnée par le physicien en 1947. Par la suite, le travail de différents groupes de recherche permettra de se rendre compte que la structure du graphène tout comme ses propriétés ne sont pas uniques et dépendent de sa synthèse/extraction (détaillée dans la section Production).
Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
Fichier spécialUn fichier spécial (special file), ou fichier de périphérique (device file), est la manière dont certains systèmes d'exploitation permettent d'accéder à un périphérique — unité d'entrée-sortie (écran, imprimante, clavier, souris, modem...), unité de stockage (disque dur, clef USB, CD-ROM, DVD-ROM, disquette...). Pour l'utilisateur, le périphérique quel qu'il soit est vu de la même manière qu'un fichier ; par exemple, l'écriture sur un écran se fait de la même manière que l'écriture d'un fichier sur un disque dur.
