Technological evolutionThe term "technological evolution" captures explanations of technological change that draw on mechanisms from evolutionary biology. Evolutionary biology has one of its roots in the book “On the origin of species” by Charles Darwin. In the style of this catchphrase, technological evolution might describe the origin of new technologies. The combinatoric theory of technological change states that every technology always consists of simpler technologies and a new technology is made of already existing technologies.
Logique classiqueLa logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du en logique mathématique. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment de la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique. À cette époque, le terme de logique classique fait référence à la logique aristotélicienne.
SuperoptimizationSuperoptimization is the process where a compiler automatically finds the optimal sequence for a loop-free sequence of instructions. Real-world compilers generally cannot produce genuinely optimal code, and while most standard compiler optimizations only improve code partly, a superoptimizer's goal is to find the optimal sequence, the canonical form. Superoptimizers can be used to improve conventional optimizers by highlighting missed opportunities so a human can write additional rules.
Majorité qualifiéeLa majorité qualifiée est une part spécifique des votes qu'une proposition doit obtenir afin d'être acceptée. Elle s'oppose alors à la minorité de blocage, qui permet, avec moins de la moitié des voix, de bloquer une décision. Elle se distingue de la majorité absolue par le fait qu'elle peut être à la base beaucoup plus large. En effet, une simple majorité absolue requiert au minimum la moitié des voix plus une.
Histoire des techniquesL’histoire des techniques est l’étude de toutes les réalisations techniques de l’homme, de leur contexte d’apparition comme de leurs répercussions sur la société. La lecture la plus courante de cette histoire est que les progrès techniques répondent à des nécessités économiques, militaires ou sociales, et sont personnalisés par des intentions et des projets individuels. Leurs histoires au cours des âges sont donc étroitement liées aux évolutions des diverses civilisations humaines.
Zhegalkin polynomialZhegalkin (also Žegalkin, Gégalkine or Shegalkin) polynomials (полиномы Жегалкина), also known as algebraic normal form, are a representation of functions in Boolean algebra. Introduced by the Russian mathematician Ivan Ivanovich Zhegalkin in 1927, they are the polynomial ring over the integers modulo 2. The resulting degeneracies of modular arithmetic result in Zhegalkin polynomials being simpler than ordinary polynomials, requiring neither coefficients nor exponents. Coefficients are redundant because 1 is the only nonzero coefficient.
Fonction OU exclusifLa fonction OU exclusif, souvent appelée XOR (eXclusive OR) ou disjonction exclusive, ou somme binaire en cryptographie où il est noté +, ou encore ⊻ en algèbre relationnelle, est un opérateur logique de l'algèbre de Boole. À deux opérandes, qui peuvent avoir chacun la valeur VRAI ou FAUX, il associe un résultat qui a lui-même la valeur VRAI seulement si les deux opérandes ont des valeurs distinctes. Cet opérateur est très utilisé en électronique, en informatique, et aussi en cryptographie du fait de ses propriétés intéressantes.
PSPACE-completeIn computational complexity theory, a decision problem is PSPACE-complete if it can be solved using an amount of memory that is polynomial in the input length (polynomial space) and if every other problem that can be solved in polynomial space can be transformed to it in polynomial time. The problems that are PSPACE-complete can be thought of as the hardest problems in PSPACE, the class of decision problems solvable in polynomial space, because a solution to any one such problem could easily be used to solve any other problem in PSPACE.
