EAN : 9782705670856 - Auteur : Maurice Bernadet - Editeur : HERMANN - Nb de pages : 0 - Les logiques formelles ont pour but d'étudier et de modéliser des raisonnements ; leur étude peut...
Les logiques formelles ont pour but d'étudier et de modéliser des raisonnements ; leur étude peut correspondre à un intérêt intellectuel naturel aussi bien qu'au souhait de reproduire des raisonnements humains dans des systèmes informatiques.
Cet ouvrage construit à partir d'un enseignement
Êtes-vous certain de vouloir signaler ce commentaire ?
Signalement envoyé
Votre signalement a bien été soumis et sera examiné par un modérateur.
Votre signalement ne peut pas être envoyé
Donnez votre avis
Avis envoyé
Votre commentaire a bien été enregistré. Il sera publié dès qu'un modérateur l'aura approuvé.
Votre avis ne peut être envoyé
EAN : 9782705670856 - Auteur : Maurice Bernadet - Editeur : HERMANN - Nb de pages : 0 - Les logiques formelles ont pour but d'étudier et de modéliser des raisonnements ; leur étude peut...