11 résultats pour "boole"
-
Boole, algèbre de - mathématiques.
Microsoft ® Encarta ® 2009. © 1993-2008 Microsoft Corporation. Tous droits réservés.
- Boole, George - mathématiques.
- George Boole
- Boole George, 1815-1864, né à Lincoln, mathématicien anglais, un des fondateurs de la logique symbolique.
- Algèbre de Boole
-
Fiche de lecture sur les premières pages de Sur le but de l'idéographie, dans Ecrits logiques et philosophiques, de Frege
Or, le problème est que si en logique on peut écrir e : A = A + A = A + A + A A = A . A = A . A . A cela nest pas toujours en vrai en algèbre. Il y a donc bien chez Boole une différence entre le calcul mathématique et le calcul logique qui fait que les équations logiques dont il sest occupé nont rien à voir avec la résolution des équations algébriques et cest-ce qu e lui reproche Frege. Il ajoute aussi que Boole na presque rien invent é de nouveau parce que L...
-
Computer - Informatik.
George BooleDer britische Mathematiker und Logiker George Boole (1815-1864) veröffentlichte 1854 in seiner Abhandlung An Investigation of theLaws of Thought ein algebraisches System, das als „Boole’sche Algebra” in die Geschichte einging. Auf ihr beruhen dieFunktionsweisen von ComputernScience Source/Photo Researchers, Inc. Die erste Addiermaschine, ein Vorläufer des Digitalcomputers, wurde 1642 von Blaise Pascal erfunden. Dieses Gerät enthielt eine Reihe von zehnzähnigen Zahnrädern, beidenen je...
-
L'informatique a bouleversé notre pratique professionnelle, aussi bien que notre vie
quotidienne.
calculateur ordinateur - Introduction Les livres informatique - machine à calculer, page 2516, volume 5 La logique formelle L'informatique ne peut pas être réduite à une technique issue du calcul automatique ; elle trouve également ses origines dans la logique formelle. L'origine de la logique. Les sources de la logique du XX e siècle remontent au moins à Aristote (notion de syllogisme). Euclide et Ératosthène formulèrent des algorithmes ; le mathématicien arabe al-Khārazmi (vers 780-...
-
-
calcul électronique.
d'où le circuit du semi-additionneur binaire. L'ensemble des circuits logiques qui constituent l'unité arithmétique et logique d'un ordinateur sont contruits de cette façon, même s'ils sont souvent plus complexes. Ainsi, on peut utiliser des semi-additionneurs pour faire un additionneur binaire, et un certain nombre de ces circuits pour faire un additionneur décimal. La multiplication pourra être obtenue par additions successives, la soustraction par addition du complément à deux, la...
-
codage.
logique ordinateur - La technique des ordinateurs - Le squelette logique Codage et transmission de données. Une fois admis les principes du codage, il reste à résoudre le problème matériel de la circulation de signaux électriques dans les circuits internes des ordinateurs ou sur les lignes de communication entre eux. Un signal binaire peut être représenté par un courant donné si sa valeur est 1, et par une absence de courant si elle est 0. Mais la propagation de tels signaux le long d'un circ...
-
Grand oral du bac : LES CALCULATRICES
Les calculatrices tence en 3000 av. J.-C. Cet instrument est constitué de perles en bois enfilées sur des tiges métal liques. La valeur de chaque perle dépend de sa position sur la tige, les perles de couleurs diffé rentes ayant des valeurs également différentes. Bien manipulé, le boulier permet la réalisation rapide d'opérations complexes. Il est encore utilisé en Chine et au Japon. Le boulier n'est toutefois qu'une assistance au calcul, non un vér...