Chargement...
Chargement...

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

Auteur : André Thayse

Paru le : 16/04/2004
Éditeur(s) : Lavoisier-Hermès
Série(s) : Non précisé.
Collection(s) : Non précisé.
Contributeur(s) : Non précisé.

67,00 €
Expedié sous 10 à 15 jours (sous réserve de confirmation)
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus

Résumé

Développe un calcul différentiel et intégral et montre les applications de ce calcul en théorie des systèmes logiques et en informatique : notions fondamentales du calcul différentiel booléen, applications les plus représentatives de ce calcul, calcul différentiel pour la logique multivaluée, calcul intégral booléen, éléments d'analyse différentielle pour la logique des prédicats. ©Electre 2019

Quatrième de couverture

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.

Fiche Technique

Paru le : 16/04/2004

Thématique : Mathématiques Appliquées

Auteur(s) : Auteur : André Thayse

Éditeur(s) : Lavoisier-Hermès

Collection(s) : Non précisé.

Série(s) : Non précisé.

ISBN : 2-7462-0905-5

EAN13 : 9782746209053

Format : Non précisé.

Reliure : Broché

Pages : 222

Hauteur : 24 cm / Largeur : 16 cm

Épaisseur : - cm

Poids : 1 g