Enigmes et jeux logiques.

Résolution et construction.

Résumé

Le livre présente des énigmes de type varié et leur résolution détaillée :
– représentations diverses des données : arbres, graphes, tableaux, sous-tableaux, diagrammes, etc.
– présentation et utilisation d’outils adaptés au traitement des données : lecture efficace pour l’interprétation des tableaux ou diagrammes, méthode hypothético-déductive, placements de pièces de type puzzle (filotrame), tables de vérité, systèmes d’équations, regroupements spécifiques à un problème donné, etc.
– résolution, souvent par plusieurs méthodes, et éventuellement comparaison des outils utilisés.

Il comporte 7 chapitres. Cinq sont articulés autour de méthodes de résolution et traitent une trentaine d’énigmes, certaines avec variantes, dont quelques énoncés classiques (problèmes de cavaliers, ponts de Königsberg, sorites de Lewis Carroll, etc.). Un autre chapitre traite plus particulièrement d’éléments de logique formelle : il introduit les connecteurs logiques et types de raisonnement, syllogisme, modus ponens, contraposition, lois de Morgan, sorite… et propose une dizaine d’exemples d’utilisation. Les chapitres sont structurés en nombreux sous-paragraphes courts, débutant souvent par l’indication de la tâche à accomplir. Le dernier chapitre présente quatre nouvelles énigmes pour lesquelles c’est au lecteur de choisir une méthode parmi celles étudiées précédemment ; des aides partielles puis une résolution complète sont proposées. Le livre présente quelques notions sur la recherche opérationnelle et l’intelligence artificielle.
Chaque classe de problèmes commence par une énigme simple dont l’analyse et la résolution permettent d’introduire des outils appropriés ; viennent ensuite des énigmes plus complètes sur lesquelles ils sont utilisés ou affinés : ainsi les tableaux à double entrée interviennent progressivement dans le traitement de problèmes dont les variables ont de 2 à 12 modalités ; enfin l’auteur dans la construction de ses propres énigmes : par analogie avec les problèmes étudiés ou à partir de structures formelles en soulignant l’importance de l’unicité de la solution

Notes

Données de publication

Éditeur Eyrolles Paris , 1998 Format 15,5 cm x 24 cm, 182 p. Index Bibliogr. p. 181-182

ISBN 2-212-03639-6 EAN 9782212036398

Public visé élève ou étudiant, enseignant, formateur, tout public Niveau 1re, 2de, 3e, 4e, 5e, collège, licence, lycée, terminale Âge 12, 13, 14, 15, 16, 17, 18, 19, 20

Type ouvrage (au sens classique de l’édition), vulgarisation, popularisation Langue français Support papier

Classification