algèbre de Boole

Il y a 50 résultats avec cette recherche.

1971 Eléments de logique pour servir à l’enseignement mathématique.

Auteurs : Adda Josette ; Faivre Wilfred
2014 Bibliothèque Tangente. N° 52. Algèbre de Boole. p. 44-46.

Auteur : Lavallou François
2010 Analyse phénoménologique du concept de probabilité.

Auteur : Lanciani Albino Attilio
2015 Bibliothèque Tangente. N° 55. Réduire la taille d’une preuve. p. 152-155.

Auteur : Schabanel Nicolas
2015 Bibliothèque Tangente. N° 55. Le « petit » théorème PCP. p. 148-151.

Auteur : Schabanel Nicolas
2000 Tangente Hors-série. N° 10. p. 32-35. La logique moderne : de Boole à Gödel.

Auteur : Casiro Francis
2005 Bibliothèque Tangente. N° 10. La logique moderne : de Boole à Gödel. p. 46-51.

Auteur : Casiro Francis
2019 Quadrature. N° 113. p. 22-34. Ne vous moquez pas de l’oiseau moqueur : un aperçu de la logique combinatoire, avec des applications en linguistique mathématique.

Auteur : Haralambous Yannis
1994 Quatrième Université d’Eté d’Histoire des Mathématiques. Boole et la mathématisation des opérations de l’esprit. p. 111-138

Auteur : Durand-Richard Marie-José
2017 Bibliothèque Tangente. N° 61. L’algèbre logique de George Boole. p. 90-92.

Auteur : Busser Elisabeth
2011 CultureMATH. Avant et après Boole, l’émergence de la logique moderne ou L’Art de Penser devient une science mathématique. 1- Avant Boole : un lent cheminement.

Auteur : Le Mignot Alain
2010 Bibliothèque Tangente. N° 39. Le calcul booléen. p. 66-68.

Auteur : Bair Jacques
2011 CultureMATH. Dossier Avant et après Boole, l’émergence de la logique moderne ou L’Art de Penser devient une science mathématique.

Auteur : Le Mignot Alain
1997 Tangente. N° 58-59. p. 68-69. L’algèbre de Boole et les logisphères.

Auteur : Sarcone Gianni
2014 Tangente Hors-série. N° 52. p. 24-25. Algèbre de Boole.

Auteur : Lavallou François
1993 Logique mathématique. T. 1.

Auteurs : Cori René ; Lascar Daniel ; Krivine Jean-Louis. Préf.
2003 Sciences Sup. Logique mathématique. V. 1.

Auteurs : Cori René ; Lascar Daniel
2005 Feuille de Vigne. N° 97. p. 16-23. Résolution de problèmes logiques par le calcul.

Auteur : Lafond Michel
1986 Exercices et problèmes pour BTS.

Auteurs : Commission inter-IREM Lycées techniques ; Saint-Pierre Geneviève. Dir. ; Verlant Bernard. Dir.
1997 sigma. Mathématiques Analyse et algèbre linéaire BTS tertiaires.

Auteur : Verlant Bernard
1991 Quadrature. N° 8. p. 13-15. Algèbre de Boole : axiomes minimaux.

Auteur : Vidiani Lazare Georges
1991 Quadrature. N° 8. p. 11-12. Boole : vraiment un oiseau de nuit en plein jour.

Auteur : Vidiani Lazare Georges
2016 L’essentiel de l’informatique en prépa.

Auteur : Barrault Frantz
1974 Bulletin de l’APMEP. N° 292. p. 69-79. Devons-nous enseigner les « mathématiques modernes » ?

Auteur : Dieudonné Jean