Passionné(e) de lecture ? Inscrivez-vous gratuitement ou connectez-vous pour rejoindre la communauté et bénéficier de toutes les fonctionnalités du site !  

Calcul différentiel pour les langues de la logique : Théorie et applications

Couverture du livre « Calcul différentiel pour les langues de la logique : Théorie et applications » de André Thayse aux éditions Hermes Science Publications
Résumé:

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... Voir plus

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.

Donner votre avis