Détail d'une collection
|
Documents disponibles dans la collection (2)
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche
texte imprimé
texte imprimé
Nguyen-Huy Xuong | Paris [France] : Masson Editeur | Logique Mathématiques Informatique (LMI) | 1991L'informatique a pour vocation de traiter de l'information discrétisée en créant des outils spécifiques. Ce cours est consacré aux fondements de certains de ces outils formels. Il se situe donc aux confins de l'informatique et des mathématiques,[...]