Résultats de la recherche

{{ébauche|logique}} Une '''valeur de vérité''' est une valeur attribuée à chaque proposition logique. ...

{{Ébauche|logique}} ...réfèrent à des [[Fonction (mathématiques)|fonctions]] ou à des [[Prédicat (logique mathématique)|prédicats]]. Elles étendent le [[calcul des prédicats]]. ...

...formules <math>F_x</math> et <math>F_{\bar x}</math> sont obtenus à partir de <math>F</math> en affectant <math>x</math> à <math>1 </math> et <math>0 </m ...t une équation en <math>2^n</math> membres, <math>n</math> étant le nombre de variables principales. On aura ainsi 2 membres lorsque l'on choisit une seu ...

...''' ou '''dénotation''' est l'objet dont parle un mot ou une [[Expression (logique)|expression]]. Par exemple l'expression « [[wikt:astre du jour|Astre du jou ...dée selon laquelle la référence d'une phrase descriptive est ce qui permet de vérifier la description, mais ils sont divisés sur le statut des [[Nom pro ...

...omiques|économie]] a été promue par [[Robert Aumann]], [[Prix de la Banque de Suède en sciences économiques en mémoire d'Alfred Nobel|Prix Nobel d'économ ...lle est complétée par la [[logique de la connaissance commune]] qui met en œuvre plusieurs agents. ...

...données à transmettre, les signaux transmis intègrent également l'horloge de synchronisation nécessaire à leur décodage. Il est utilisé dans les réseaux ...8 pour stocker des données sur le [[Tambour (mémoire)|tambour magnétique]] de l’ordinateur [[Manchester Mark I|Manchester Mark 1]] . ...

Le '''[[langage]] de la [[logique]]''' s'est progressivement constitué pour remédier à l'incapacité des [[lan ...igne d'erreurs philosophiques et une notation parfaite serait un substitut de la pensée<ref>{{Ouvrage|prénom1=Ludwig|nom1=Wittgenstein|traducteur=[[Gille ...

...|thumb|Un '[[Automatic dependent surveillance-broadcast|squitter]]' 1090ES de 56 bits utilisé en [[aviation civile]].]] ...oint » un symbole de M bits en une seule impulsion codée parmi un alphabet de <math>2^M</math> transitions possibles dans le temps. Ceci est répété chaqu ...

| type = Organisme de recherche international ...</ref> et son premier président fut [[Alonzo Church]]. Le président actuel de l'ASL est {{Lien|langue=en|fr=Alasdair Urquhart}}. ...

...nventionnellement un [[Bit|bit logique]] de 1), l'autre basse (bit logique de 0). ...ux simple à trois inverseurs. La fréquence des signaux sera ici 1/(6×temps de réponse d'un inverseur).]] ...

...rit, {{Citation bloc|Priver le mathématicien du ''tertium non datur'' [pas de troisième possibilité] serait enlever son télescope à l'astronome, son poin Le tiers-exclu est souvent comparé au [[principe de non-contradiction]] qui affirme que les propositions ''p'' et ''non-p'' ne ...

...de la [[Logique combinatoire (électronique)|logique combinatoire]] à la [[logique séquentielle]]. ...cules [[Circuit synchrone|synchrones]]. La différence entre ces deux types de bascules est que les bascules synchrones possèdent une entrée [[Signal d'ho ...

| [[Diagramme de Venn]] de <math>\scriptstyle A \oplus B</math><br> | [[Diagramme de Venn]] de <math>\scriptstyle A \oplus B \oplus C</math><br> ...

...1823}} - {{date de décès|29|décembre|1891}}) est un [[mathématicien]] et [[logique|logicien]] [[Allemagne|allemand]]. Persuadé que l'[[arithmétique]] et l'[[a ...} dans {{Article|lang=de|nom=H. Weber|titre=[http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN37721857X_0002&DMDID=dmdlog6 Leopold Kronecker]|revue= ...

| nom de naissance = | date de naissance = 1953 ...

== Œuvre == ...la [[logique]]. Il définit le premier une fraction comme étant le rapport de deux nombres, et est le premier à utiliser le mot ''[[almanach]]'' pour dés ...

{{Voir homonymes|Algèbre de Boole}} ...uve de nombreuses applications en [[informatique]] et dans la [[Conception de circuits intégrés|conception]] des [[circuits électroniques]]. ...

...trad=Geometry of interaction|fr=Géométrie de l'interaction|texte=géométrie de l'interaction}} et la {{Lien|langue=en|trad=Ludics|fr=Ludique (théorie)|tex ...(que l'on pourrait dater autour de 2013) : le sixième article de géométrie de l'interaction est en effet intitulé ''"Geometry of Interaction VI : a bluep ...

...térieur brut (PIB), la somme des valeurs ajoutées brutes calculées au prix de marché, sur une période (en général un an) et un territoire (en général un ...vers sa production et dans un intervalle donné. Elle est calculée à partir de la quantité brute produite à laquelle on retire la valeur des biens et serv ...

{{Redirect|Circuit logique|homonymie=Fonction (mathématiques)}} Il existe deux grands types de '''fonctions logiques''' : ...