This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling. The book is useful for undergraduate and graduate students, researchers, and practitioners.
The Path Puzzles book contains over 100 original escape-the-grid type puzzles by Roderick Kimball. Path Puzzles are the perfect thing for people who like Sudoku but are ready for something new.
From krazydad, constructor of the wildly popular and addictive puzzles published in The New York Times as Two Not Touch, here are 360 of your favorite Star Battle puzzles. These puzzles will provide a healthy diversion for you in these challenging times, and help you make it to the other side with your sanity intact! Includes an instructive and pithy tutorial.
This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises have been added which have been used successfully in teaching the course. Part II, The Prolog Language, has been modified to be compatible with the new Prolog standard, and the chapter on program development has been significantly altered: the predicates defined have been moved to more appropriate chapters, the section on efficiency has been moved to the considerably expanded chapter on cuts and negation, and a new section has been added on stepwise enhancement—a systematic way of constructing Prolog programs developed by Leon Sterling. All but one of the chapters in Part III, Advanced Prolog Programming Techniques, have been substantially changed, with some major rearrangements. A new chapter on interpreters describes a rule language and interpreter for expert systems, which better illustrates how Prolog should be used to construct expert systems. The chapter on program transformation is completely new and the chapter on logic grammars adds new material for recognizing simple languages, showing how grammars apply to more computer science examples.
99 puzzles built around the chessboard. Arithmetical and probability problems, chessboard recreations, geometrical puzzles, mathematical amusements and games, more. Solutions.
OPL (Optimization Programming Language) is a new modeling language for combinatorial optimization that simplifies the formulation and solution of optimization problems. Perhaps the most significant dimension of OPL is the support for constraint programming, including sophisticated search specifications, logical and higher order constraints, and support for scheduling and resource allocation applications. This book, written by the developer of OPL, is a comprehensive introduction to the OPL programming language and its application to problems in linear and integer programming, constraint programming, and scheduling. Readers should be familiar with combinatorial optimization, at least from an application standpoint.
Fascinating approach to mathematical teaching stresses use of recreational problems, puzzles, and games to teach critical thinking. Logic, number and graph theory, games of strategy, much more. Includes answers to selected problems. Free solutions manual available for download at the Dover website.
The noted expert selects 70 of his favorite "short" puzzles, including such mind-bogglers as The Returning Explorer, The Mutilated Chessboard, Scrambled Box Tops, and dozens more involving logic and basic math. Solutions included.
Across the Board is the definitive work on chessboard problems. It is not simply about chess but the chessboard itself--that simple grid of squares so common to games around the world. And, more importantly, the fascinating mathematics behind it. From the Knight's Tour Problem and Queens Domination to their many variations, John Watkins surveys all the well-known problems in this surprisingly fertile area of recreational mathematics. Can a knight follow a path that covers every square once, ending on the starting square? How many queens are needed so that every square is targeted or occupied by one of the queens? Each main topic is treated in depth from its historical conception through to its status today. Many beautiful solutions have emerged for basic chessboard problems since mathematicians first began working on them in earnest over three centuries ago, but such problems, including those involving polyominoes, have now been extended to three-dimensional chessboards and even chessboards on unusual surfaces such as toruses (the equivalent of playing chess on a doughnut) and cylinders. Using the highly visual language of graph theory, Watkins gently guides the reader to the forefront of current research in mathematics. By solving some of the many exercises sprinkled throughout, the reader can share fully in the excitement of discovery. Showing that chess puzzles are the starting point for important mathematical ideas that have resonated for centuries, Across the Board will captivate students and instructors, mathematicians, chess enthusiasts, and puzzle devotees.
