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

André Thayse

Lavoisier-Hermès | avril 2004

63.65 €

-5% pour les titulaires de la carte avec le retrait en librairie

LIBRAIRIES PARTICIPANTES

Paris VIᵉ, Paris VIIIᵉ, Paris XVIIᵉ, Paris Vᵉ
Versailles, Lyon 2ᵉ, Lyon 6ᵉ...

Voir les disponibilités en librairie

67.00 €

Disponibilité en ligne

Expédié sous 72 h

Voir nos modes de livraison

Ajouter à ma liste d'envies

Ce que dit l'éditeur

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.

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 2025

Caractéristiques

Auteur(s)

André Thayse

Éditeur(s)

Lavoisier-Hermès

Date de parution

16 avril 2004

Rayon

Mathématiques

EAN

9782746209053

Nombre de pages

222 pages

Reliure

Broché

Dimensions

24.0 cm x 16.0 cm x 1.0 cm

Poids

350 g

À propos de l'auteur

André Thayse

André Thayse a un parcours atypique pour un bibliste. Il est en effet mathématicien, professeur émérite de l'université catholique de Louvain la Neuve. Il a cependant analysé les rapports de la religion et de la science et étudié La Genèse autrement dans plusieurs ouvrages.