L'Internaute > Expressions > Culture > Logique combinatoire


Rechercher une expression
 


Logique combinatoire"



 

Signification

 

Raisonnement mathématique par combinateurs.



 

Origine

 

Il s'agit d'un concept mathématique inventé en 1920 par Moses Schönfinkel, et développé par Haskell Curry. Il est nommé combinatoire, car basé sur le principe des combinateurs. La logique combinatoire est notamment utilisée en informatique, pour la conception de langages de programmation.


Expression suivante : Logique déontique 





Encyclopédie des expressions | Contact