Problème SATvignette|Une instance du Sudoku peut être transformée en une formule de logique propositionnelle à satisfaire. Une assignation des variables propositionnelles donne une grille complétée. En informatique théorique, le problème SAT ou problème de satisfaisabilité booléenne est le problème de décision, qui, étant donné une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie. Ce problème est important en théorie de la complexité.
Unconventional computingUnconventional computing is computing by any of a wide range of new or unusual methods. It is also known as alternative computing. The term unconventional computation was coined by Cristian S. Calude and John Casti and used at the First International Conference on Unconventional Models of Computation in 1998. The general theory of computation allows for a variety of models. Computing technology first developed using mechanical systems and then evolved into the use of electronic devices.
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.
Majorité relativeLa majorité relative, ou majorité simple, résulte du plus grand nombre des voix obtenues pour un concurrent par rapport aux autres concurrents. Le terme est le plus souvent utilisé dans le cadre d'une élection ou d'une assemblée générale. Un vote à la majorité simple, tel le scrutin uninominal majoritaire à un tour, ne nécessite donc pas d'obtenir plus de la moitié des suffrages exprimés, à la différence d'un vote à la majorité absolue, tel le scrutin uninominal majoritaire à deux tours.
Schematic captureSchematic capture or schematic entry is a step in the design cycle of electronic design automation (EDA) at which the electronic diagram, or electronic schematic of the designed electronic circuit, is created by a designer. This is done interactively with the help of a schematic capture tool also known as schematic editor. The circuit design is the first step of actual design of an electronic circuit. Typically sketches are drawn on paper, and then entered into a computer using a schematic editor.
Tyrannie de la majoritéLa tyrannie de la majorité est une conséquence indésirable de la démocratie par laquelle une majorité démocratique peut imposer ses volontés et ses préférences, si la démocratie n'est pas accompagnée de la reconnaissance de certains droits pour protéger les minorités. Cette forme d'oppression peut être observée dans différentes situations : discrimination (sur la base de l'ethnie, de la religion, de la langue, de l'âge ou de l'orientation sexuelle), exclusions des minorités politiques, limitation des droits des personnes handicapées, politiques environnementales inadéquates, censure des opinions dissidentes.
Synthèse de programmesEn informatique, la synthèse de programmes consiste à construire automatiquement un programme à partir d'une spécification. La spécification est décrite dans un langage logique, par exemple en logique temporelle linéaire. La synthèse de programmes s'appuie sur des techniques de vérification formelle de programmes. Le problème de synthèse de programmes remonte aux travaux d'Alonzo Church. Manna et Waldinger ont proposé une méthode déductive pour synthétiser un programme à partir d'une spécification en logique du premier ordre.
Symmetric differenceIn mathematics, the symmetric difference of two sets, also known as the disjunctive union, is the set of elements which are in either of the sets, but not in their intersection. For example, the symmetric difference of the sets and is . The symmetric difference of the sets A and B is commonly denoted by or The power set of any set becomes an abelian group under the operation of symmetric difference, with the empty set as the neutral element of the group and every element in this group being its own inverse.
Scrutin uninominal majoritaire à un tourthumb|Schéma du mode de scrutin majoritaire Le scrutin uninominal majoritaire à un tour est le système électoral pour lequel il est le plus simple de déterminer l'option gagnante à partir des votes. L'électeur doit choisir un candidat parmi plusieurs. On compte alors le nombre de voix obtenues par chaque candidat. Celui qui recueille le plus de voix (majorité relative) remporte les élections. Ce système de vote est utilisé pour l'élection du président de la République dans certains pays (Cameroun, Corée du Sud, Islande, Kenya, Malawi, Mexique, Philippines, Venezuela, République démocratique du Congo, Togo, Taïwan).
Motorola 68000Apparu en 1979, le Motorola 68000 est un microprocesseur CISC 16/32 bits développé par Motorola. C'est le premier de la famille de microprocesseurs souvent appelée m68k ou 680x0, qui comprend notamment les microprocesseurs Motorola 68010, Motorola 68020, Motorola 68030, Motorola 68040 et Motorola 68060. Le nom du 68000 vient à la fois de la continuité avec la famille de microprocesseurs Motorola 6800 et du nombre de transistors qu'il contient, un peu plus de .
