Logique séquentielleEn théorie des circuits électroniques, la logique séquentielle est un type de logique dont les résultats ne dépendent pas seulement des données actuellement traitées mais aussi des données traitées précédemment. Elle s'oppose à la logique combinatoire, dont les résultats sont fonction et seulement fonction des données actuellement traitées. En d'autres termes, la logique séquentielle utilise la notion de mémoire de stockage (Bascules, registres, etc.) alors que la logique combinatoire n'en a pas.
LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Bascule (circuit logique)Une bascule est un circuit logique capable, dans certaines circonstances, de maintenir les valeurs de ses sorties malgré les changements de valeurs d'entrées, c'est-à-dire comportant un état « mémoire ». Il s'agit de l'élément qui permet le passage de la logique combinatoire à la logique séquentielle. On distingue deux catégories principales de bascules dans un système séquentiel : les bascules asynchrones et les bascules synchrones.
Tube fluorescentUn tube fluorescent est une lampe électrique de forme tubulaire, de la famille des lampes à décharge à basse pression. Il contient du mercure à l'état gazeux, dont les atomes sont ionisés sous l'effet d'un courant électrique appliqué entre les électrodes placées à chaque extrémité du tube ; ils émettent alors par luminescence un rayonnement essentiellement ultraviolet, qui est converti en lumière visible par la poudre fluorescente déposée sur les parois du tube. La couleur de la lumière émise dépend de la nature de la poudre fluorescente utilisée.
Lampe à arcthumb|Lampes à arc Une lampe à arc est un système procurant de la lumière à l'aide d'électricité sous forme d'un arc électrique. thumb|Un arc électrique entre deux électrodes. Depuis la découverte de l'arc électrique par le chimiste anglais Sir Humphry Davy, en 1811, les recherches furent nombreuses. Il avait obtenu un arc de de long, après avoir amené en contact deux baguettes de charbon reliées aux deux pôles d'une batterie d'éléments Volta ; entre les deux baguettes se produisit une flamme qui s'incurva en forme d'arc de cercle sous l'effet du courant d'air chaud ascendant, c'est pourquoi il donna à cette flamme le nom d'arc électrique, nom qui fut conservé depuis.
Lampe à déchargeUne lampe à décharge est une lampe électrique constituée d'un tube ou d'une ampoule en verre remplie de gaz ou de vapeur métallique, sous haute ou basse pression, au travers duquel on fait passer un courant électrique, il s'ensuit une conversion en photons donc de la lumière. La couleur de la lumière émise par luminescence, par ces lampes dépend du gaz utilisé parmi lesquels : le néon donne une couleur rouge ; le mercure s'approche du bleu tout en produisant une quantité d'ultraviolet importante ; le sodium rayonne dans le orange ; le xénon est légèrement grisé à gris clair ou à forte intensité bleu-vert très vif à bleu.
Logique intuitionnisteLa logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive. Une proposition telle que « la constante d'Euler-Mascheroni est rationnelle ou la constante d'Euler-Mascheroni n'est pas rationnelle » n'est pas démontrée de manière constructive (intuitionniste) dans le cadre de nos connaissances mathématiques actuelles, car la tautologie classique « P ou non P » (tiers exclu) n'appartient pas à la logique intuitionniste.
Sulfur lampThe sulfur lamp (also sulphur lamp) is a highly efficient full-spectrum electrodeless lighting system whose light is generated by sulfur plasma that has been excited by microwave radiation. They are a particular type of plasma lamp, and one of the most modern. The technology was developed in the early 1990s, but, although it appeared initially to be very promising, sulfur lighting was a commercial failure by the late 1990s. Since 2005, lamps are again being manufactured for commercial use.
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Lampe à vapeur de mercurevignette|Une lampe à vapeur de mercure de 175 watts, environ 15 secondes après le démarrage. Une lampe à vapeur de mercure est une lampe à décharge qui utilise un arc électrique à travers du mercure vaporisé pour produire de la lumière. vignette|Lampe de Cooper Hewitt, 1903. Si l'on fait traverser les vapeurs de certains corps par un courant électrique ces vapeurs deviennent lumineuses. Charles Wheatstone a observé le spectre d'une décharge électrique dans de la vapeur de mercure en 1835 et a noté les raies ultraviolettes dans ce spectre.
Combinational logicIn automata theory, combinational logic (also referred to as time-independent logic or combinatorial logic ) is a type of digital logic which is implemented by Boolean circuits, where the output is a pure function of the present input only. This is in contrast to sequential logic, in which the output depends not only on the present input but also on the history of the input. In other words, sequential logic has memory while combinational logic does not.
Logique paracohérenteEn logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien .
Logique floueLa logique floue (fuzzy logic, en anglais) est une logique polyvalente où les valeurs de vérité des variables — au lieu d'être vrai ou faux — sont des réels entre 0 et 1. En ce sens, elle étend la logique booléenne classique avec des . Elle consiste à tenir compte de divers facteurs numériques pour qu'on souhaite acceptable.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Langage LadderLadder Diagram (LD) ou Langage Ladder ou schéma à contacts est un langage graphique très populaire auprès des automaticiens pour programmer les automates programmables industriels. Il ressemble un peu aux schémas électriques, et est facilement compréhensible. Ladder est le mot anglais pour échelle. L'idée initiale du Ladder est la représentation de fonction logique sous la forme de schémas électriques. Cette représentation est originellement matérielle : quand l'automate programmable industriel n'existait pas, les fonctions étaient réalisées par des câblages.
Logique modaleEn logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des . Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité : Il est nécessaire qu'''il pleuve ; Demain, il pleut ; Christophe Colomb croit quil pleut ; Il est démontré qu'''il pleut ; Il est obligatoire quil pleuve.
Logique philosophiqueLa logique philosophique est un domaine de la philosophie dans lequel les méthodes de la logique ont traditionnellement été utilisées pour résoudre ou faire avancer la discussion des problèmes philosophiques. Parmi les contributeurs à ce domaine, Sibyl Wolfram souligne l'étude de l'argumentation, du sens et de la vérité, tandis que Colin McGinn présente l'identité, l'existence, la prédication, la nécessité et la vérité comme les thèmes principaux de son livre sur le sujet.
Porte logiquevignette|Composants TTL Une porte logique (gate) est un circuit électronique réalisant des opérations logiques (booléennes) sur une séquence de bits. Cette séquence est donnée par un signal d'entrée modulé en créneau (signal carré), et cadencé de façon précise par un circuit d'horloge, ou quartz. Les opérations logiques sont réalisées électriquement par une combinaison de bascules ou inverseurs, à base de transistors. Étant donné les capacités d'intégration en électronique, un circuit intégré comporte généralement plusieurs portes à la fois.
Lampe électroluminescenteLa lampe électroluminescente, dite lampe LED ou lampe DEL, est un type de lampe électrique qui utilise des diodes électroluminescentes, lesquelles mettent en œuvre le phénomène d'électroluminescence. vignette|redresse|Lampes à LED à culot à vis Edison E27 (). vignette|redresse|Lampes à LED. vignette|redresse|Une ampoule LED équivalente allumée vue au travers d'un filtre.
Logic optimizationLogic optimization is a process of finding an equivalent representation of the specified logic circuit under one or more specified constraints. This process is a part of a logic synthesis applied in digital electronics and integrated circuit design. Generally, the circuit is constrained to a minimum chip area meeting a predefined response delay. The goal of logic optimization of a given circuit is to obtain the smallest logic circuit that evaluates to the same values as the original one.
