|
Titre :
|
Logique et mathématiques, pour l'informatique et l'IA : 109 exercices corrigés
|
|
Auteurs :
|
Christian Jacquemin, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1994
|
|
Collection :
|
Mémo-guides
|
|
ISBN/ISSN/EAN :
|
978-2-225-84642-7
|
|
Format :
|
248 p. / 21 x 14 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
511 (Logique mathématique, Jeux mathématiques)
|
|
Mots-clés:
|
logique symbolique et mathématique
;
problèmes et exercices
|
|
Résumé :
|
Les outils logiques et mathématiques proposés s'appliquent en algorithmique et en programmation, en conception de systèmes d'information, en intelligence artificielle et dans l'étude du système et de l'architecture des ordinateurs.
|
