GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Documents disponibles écrits par cet auteur (7)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
texte imprimé
Poursuit l'étude des concepts et des méthodes de l'intelligence artificielle en prenant la logique comme ligne directrice. S'adresse aux étudiants, enseignants, ingénieurs et chercheurs désireux de se doter de bases solides en intelligence artif[...]
texte imprimé
Termine l'étude des concepts, méthodes et applications de l'IA. S'adresse aux développeurs industriels des applications de l'IA.
texte imprimé
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, [...]
texte imprimé
Paul Gochet, Auteur ; Pascal Gribomont, Auteur ; André Thayse, Auteur | Paris : Hermès science publications | Langage, cognition, calcul | 2000Présentation des systèmes axiomatiques des principales logiques modales pour le calcul de propositions et de prédicats et des sémantiques associées. Développement de la métathéorie de ces systèmes, description de preuves de complétude et de la t[...]
texte imprimé
Philippe Delsarte, Auteur ; André Thayse, Auteur | Paris : Hermès science publications | Technologies et cultures | 2001Présente les caractéristiques des langues dites naturelles et des langues dites formelles. L'application courante de ces recherches est de traduire les premières dans les secondes afin de permettre l'interrogation des bases de données.
texte imprimé
Présente une formalisation des systèmes numériques modélisant leur comportement au moyen de fonctions booléennes ou de formules de la logique. Les systèmes digitaux regroupent les ordinateurs et la plupart des techniques de transmission de l'inf[...]
