Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/informatique/calcul-differentiel-pour-les-langues-de-la-logique-theorie-et-applications/thayse/descriptif-9782746209053
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=2138052

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

Langue : Français

Auteur :

Couverture de l’ouvrage Calcul différentiel pour les langues de la logique : Théorie et applications
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.
Calcul différentiel pour la logique des propositions. Logique des propositions et fonctions booléennes. Dérivées et formules de Taylor et de Maclaurin. Différentielles totales et dérivées totales. Opérateurs différentiels propres aux fonctions booléennes. Une forme générale de la dérivée booléenne. Applications du calcul différentiel booléen. Synthèse de circuits. Synthèse de programmes. Détection de fautes dans les circuits et les programmes. Détection d'aléas, ou erreurs transitoires. Détection de propriétés fonctionnelles. Calcul différentiel pour la logique multivaluée. Fonctions discrètes et expressions latticielles. Fonctions discrètes et expressions dans l'anneau. Fonctions discrètes et expressions dans les champs de Galois. Calcul des différences et calcul différentiel. Calcul intégral booléen. Généralités sur l'intégration de fonctions de variables réelles. Intégration au sens de Tucker de fonctions booléennes. L'intégration booléenne : une autre approche. Éléments d'analyse différentielle pour la logique des prédicats. La logique des prédicats. Logique temporelle linéaire. Application : la traduction d'une langue naturelle. Bibliographie. Index.
André Thayse est professeur de logique et d'intelligence artificielle à l'université de Louvain. Sa recherche concerne essentiellement les applications de la logique et plus particulièrement la théorie des circuits logiques et le traitement de la langue naturelle au moyen des langues de la logique. Il a travaillé en tant que chercheur au Philips Research Laboratory Brussels pendant 25 ans dans les domaines de la recherche spatiale, de la synthèse des systèmes logiques, de la reconnaissance automatique de la parole et de la programmation logique

Date de parution :

Ouvrage de 222 p.

15x23 cm

Sous réserve de disponibilité chez l'éditeur.

67,00 €

Ajouter au panier