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

Auteur :

Langue : Français

67,00 €

En stock : expédition en 24h !

Ajouter au panierAjouter au panier
Date de parution :
Ouvrage 222 p. · 15x23 cm · Broché
ISBN : 9782746209053 EAN : 9782746209053
Hermes Science
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