Calcul differenciel pour les langues de la logique : théories et applications

Par : André Thayse
Formats :
67,00 €
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay estimée à partir du 18 septembre
      Cet article sera commandé chez un fournisseur et vous sera envoyé 19 jours après la date de votre commande.
    • Retrait Click and Collect en magasin gratuit
  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • Nombre de pages222
  • PrésentationBroché
  • Poids0.35 kg
  • Dimensions15,0 cm × 23,0 cm × 0,1 cm
  • ISBN2-7462-0905-5
  • EAN9782746209053
  • Date de parution01/04/2004
  • ÉditeurHermes Science Publications

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.

A propos de André Thayse

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
Découvrir l'auteur