47,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
24 °P sammeln
  • Broschiertes Buch

"The Hidden Logic of Sudoku" provides the first systematic perspective of the logical foundations and of the symmetries of the popular game. These are fully exploited to define new resolution rules, new graphical representations and an ordering of the rules consistent with their complexity. The classical pattern of xy-chains has been extended into a homogeneous set of chain rules that, when added to a few elementary rules, suffices to solve almost any puzzle. These rules are illustrated with a hundred puzzles with their full resolution paths. A large collection of puzzles has been processed by…mehr

Produktbeschreibung
"The Hidden Logic of Sudoku" provides the first systematic perspective of the logical foundations and of the symmetries of the popular game. These are fully exploited to define new resolution rules, new graphical representations and an ordering of the rules consistent with their complexity. The classical pattern of xy-chains has been extended into a homogeneous set of chain rules that, when added to a few elementary rules, suffices to solve almost any puzzle. These rules are illustrated with a hundred puzzles with their full resolution paths. A large collection of puzzles has been processed by Artificial Intelligence (AI) techniques, leading to a precise evaluation of the efficiency of each rule. This pedagogical book is intended for both Sudoku players (who will discover many new facets of the game and new rules - all set in a uniform conceptual framework based on patterns) and teachers or students of Logic or AI (who will appreciate the strict logical foundations).
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
Denis Berthier graduated from Ecole Polytechnique (X68, Paris, France) and was full Professor of Logic, Artificial Intelligence and Epistemology of Information Technologies at Institut Mines Télécom, France. He is the author of a series of books on Pattern-Based Constraint Satisfaction.