Accès plus rapide que le navigateur!
18 relations: Addison-Wesley, Algèbre de Boole (logique), Calcul des propositions, Circuit booléen, Donald Knuth, Dover Publications, John Wiley & Sons, Journal of Symbolic Logic, Journal of the ACM, Loi d'absorption, Lois de De Morgan, Règle de résolution, Réécriture (informatique), Situation de compétition, Table de vérité, The American Mathematical Monthly, The Art of Computer Programming, Willard Van Orman Quine.
Addison-Wesley
Logo d'Addison-Wesley Addison-Wesley est une maison d'édition américaine spécialisée dans les manuels scolaires et la littérature informatique.
Nouveau!!: Théorème du consensus et Addison-Wesley · Voir plus »
Algèbre de Boole (logique)
Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions.
Nouveau!!: Théorème du consensus et Algèbre de Boole (logique) · Voir plus »
Calcul des propositions
Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique.
Nouveau!!: Théorème du consensus et Calcul des propositions · Voir plus »
Circuit booléen
Exemple circuit booléen à deux entrées et une sortie. Le circuit contient 3 portes logique. En théorie de la complexité, un circuit booléen est un modèle de calcul constitué de portes logiques (fonctions logiques) reliées entre elles.
Nouveau!!: Théorème du consensus et Circuit booléen · Voir plus »
Donald Knuth
Donald Ervin Knuth (. La prononciation proposée est Ka-NOUSS.), né le à Milwaukee dans le Wisconsin, est un informaticien et mathématicien américain de renom, professeur émérite en informatique à l'université Stanford (en tant que « professeur émérite de l'art de programmer »).
Nouveau!!: Théorème du consensus et Donald Knuth · Voir plus »
Dover Publications
Dover Publications est une maison d'édition américaine fondée en 1941 par Hayward Cirker et sa femme, Blanche.
Nouveau!!: Théorème du consensus et Dover Publications · Voir plus »
John Wiley & Sons
John Wiley & Sons, Inc. (ou Wiley) est une maison d'édition américaine fondée en 1807 et présente à l'international, spécialisée dans la publication de revues scientifiques, d'ouvrages techniques, universitaires et encyclopédiques.
Nouveau!!: Théorème du consensus et John Wiley & Sons · Voir plus »
Journal of Symbolic Logic
Le Journal of Symbolic Logic est une revue mathématiques publié trimestriellement par Association for Symbolic Logic.
Nouveau!!: Théorème du consensus et Journal of Symbolic Logic · Voir plus »
Journal of the ACM
Journal of the ACM (Journal de l'ACM) est la revue scientifique majeure de l'Association for Computing Machinery (ACM).
Nouveau!!: Théorème du consensus et Journal of the ACM · Voir plus »
Loi d'absorption
En algèbre, la loi d'absorption est une identité reliant deux lois de composition interne.
Nouveau!!: Théorème du consensus et Loi d'absorption · Voir plus »
Lois de De Morgan
Les lois de De Morgan sont des identités entre propositions logiques.
Nouveau!!: Théorème du consensus et Lois de De Morgan · Voir plus »
Règle de résolution
En logique mathématique, la règle de résolution ou principe de résolution de Robinson est une règle d'inférence logique qui généralise le modus ponens.
Nouveau!!: Théorème du consensus et Règle de résolution · Voir plus »
Réécriture (informatique)
En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des règles bien précises.
Nouveau!!: Théorème du consensus et Réécriture (informatique) · Voir plus »
Situation de compétition
Une situation de compétition (ou situation de concurrence, accès concurrent, concurrence critique, course critique, séquencement critique; race condition en anglais, littéralement « situation de course »), est une situation caractérisée par un résultat différent selon l'ordre dans lequel agissent les acteurs du système.
Nouveau!!: Théorème du consensus et Situation de compétition · Voir plus »
Table de vérité
Une table de vérité (parfois appelée fonction de vérité) est une table mathématique utilisée en logique classique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques).
Nouveau!!: Théorème du consensus et Table de vérité · Voir plus »
The American Mathematical Monthly
est une revue de mathématiques fondée par en 1894.
Nouveau!!: Théorème du consensus et The American Mathematical Monthly · Voir plus »
The Art of Computer Programming
The Art of Computer Programming (TAOCP) est une série de livres en plusieurs volumes sur la programmation informatique, écrits par Donald Knuth.
Nouveau!!: Théorème du consensus et The Art of Computer Programming · Voir plus »
Willard Van Orman Quine
Willard Van Orman Quine, né le à Akron (Ohio et mort le à Boston (Massachusetts), est un philosophe, logicien et universitaire américain, l'un des principaux représentants de la philosophie analytique. Il est titulaire de la chaire Edgar Pierce en tant que professeur de philosophie à l'université Harvard de 1956 à 2000. Quine est l’auteur de nombreux articles, dont notamment Deux dogmes de l'empirisme, article célèbre de 1951 qui remet en cause la distinction entre énoncés analytiques et énoncés synthétiques, et Le Mot et la Chose en 1960, où il propose sa thèse de l'indétermination de la traduction et une critique de la notion de « signification ». L’œuvre de Quine a eu une influence majeure dans les domaines de la philosophie, de la logique, de l'épistémologie et de la sémantique. Son projet d'une « épistémologie naturalisée » a notamment permis d'amorcer un tournant dans la pensée contemporaine.
Nouveau!!: Théorème du consensus et Willard Van Orman Quine · Voir plus »
