Calcul différentiel pour les langues de la logique

Théorie et applications

André Thayse

222 pages, parution le 01/04/2004

Ajouter à une liste

Expédié sous 9 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

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

L'auteur - André Thayse

Autres livres de André Thayse

Jésus de nazareth

Alliances : histoire des hommes, quête de dieu

Mathématiques, physique, métaphysique

Science, foi, religions

Découvrir tous les livres de André Thayse

Sommaire

Calcul différentiel pour la logique des propositions
Applications du calcul différentiel booléen
Calcul différentiel pour la logique multivaluée
Calcul intégral booléen
Eléments d'analyse différentielle pour la logique des prédicats

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	André Thayse
Parution	01/04/2004
Nb. de pages	222
Format	15,5 x 23,5
Couverture	Broché
Poids	346g
Intérieur	Noir et Blanc
EAN13	9782746209053
ISBN13	978-2-7462-0905-3