L'objectif de cet ouvrage est de développer un calcul

différentiel et intégral pour des langues de la logique,

calcul fort semblable au calcul différentiel et intégral de

l'analyse infinitésimale classique.

Les applications de ce calcul différentiel et intégral logique

se situent en théorie des circuits logiques (ou circuits de

commutation) et en informatique. Ces applications sont,

par exemple, la synthèse de circuits et de programmes, la

détection de fautes de fixation dans les circuits, l'analyse

de fautes de transition dans les circuits combinatoires et

séquentiels.