GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Documents disponibles écrits par cet auteur (3)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Initiation à la programmation, caractérisée par une approche fonctionnelle. Le langage Scheme permet de se concentrer sur la résolution de problèmes via la définition de procédures. Des exemples d'application et des exercices corrigés complètent[...]
texte imprimé
Une mise au point sur l'utilisation de la logique, à partir des résultats et des méthodes d'exposition les plus récents.
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[...]
