Автор: Rosenhouse Jason Название: Games for Your Mind: The History and Future of Logic Puzzles ISBN: 0691174075 ISBN-13(EAN): 9780691174075 Издательство: Wiley Рейтинг: Цена: 3960.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
A lively and engaging look at logic puzzles and their role in recreation, mathematics, and philosophy
Logic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century and have been popular ever since. Games like Sudoku and Mastermind are fun and engrossing recreational activities, but they also share deep foundations in mathematical logic and are worthy of serious intellectual inquiry. Games for Your Mind explores the history and future of logic puzzles while enabling you to test your skill against a variety of puzzles yourself.
In this informative and entertaining book, Jason Rosenhouse begins by introducing readers to logic and logic puzzles and goes on to reveal the rich history of these puzzles. He shows how Carroll's puzzles presented Aristotelian logic as a game for children, yet also informed his scholarly work on logic. He reveals how another pioneer of logic puzzles, Raymond Smullyan, drew on classic puzzles about liars and truthtellers to illustrate Kurt G del's theorems and illuminate profound questions in mathematical logic. Rosenhouse then presents a new vision for the future of logic puzzles based on nonclassical logic, which is used today in computer science and automated reasoning to manipulate large and sometimes contradictory sets of data.
Featuring a wealth of sample puzzles ranging from simple to extremely challenging, this lively and engaging book brings together many of the most ingenious puzzles ever devised, including the Hardest Logic Puzzle Ever, metapuzzles, paradoxes, and the logic puzzles in detective stories.
Описание: The latest volume in the hugely popular Killer Su Doku series from The Times, featuring the highest-quality puzzles with an extra element of arithmetic.
Автор: Hayward, Ryan B. Название: Hex, inside and out ISBN: 0367144255 ISBN-13(EAN): 9780367144258 Издательство: Taylor&Francis Рейтинг: Цена: 28327.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Written for a wide audience, this is the full story of Hex, inside and out, with all its twists and turns: Hein`s creation, Lindhard`s puzzles, Nash`s proofs, Gale`s Bridg-it, the game of Rex, Shannon`s machines, Bridg-it`s fall, Hex`s resilience, Hex theory, the hunt for winning strategies, and the rise of Hexbots.
Автор: Benthem Johan Van Название: Logic in Games ISBN: 0262019906 ISBN-13(EAN): 9780262019903 Издательство: Random House (USA) Рейтинг: Цена: 5518.00 р. Наличие на складе: Нет в наличии.
Описание:
A comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games.
This book draws on ideas from philosophical logic, computational logic, multi-agent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways. It examines the logic of games: the development of sophisticated modern dynamic logics that model information flow, communication, and interactive structures in games. It also examines logic as games: the idea that logical activities of reasoning and many related tasks can be viewed in the form of games.
In doing so, the book takes up the "intelligent interaction" of agents engaging in competitive or cooperative activities and examines the patterns of strategic behavior that arise. It develops modern logical systems that can analyze information-driven changes in players' knowledge and beliefs, and introduces the "Theory of Play" that emerges from the combination of logic and game theory. This results in a new view of logic itself as an interactive rational activity based on reasoning, perception, and communication that has particular relevance for games.
Logic in Games, based on a course taught by the author at Stanford University, the University of Amsterdam, and elsewhere, can be used in advanced seminars and as a resource for researchers.
Автор: Fuhrer Robert Название: Kenken: A Puzzle A Day!: 365 Puzzles That Make You Smarter ISBN: 981323587X ISBN-13(EAN): 9789813235878 Издательство: World Scientific Publishing Рейтинг: Цена: 2376.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book will challenge KenKen puzzle lovers to improve their puzzling, sharpen their logic and reasoning skills, and to just have fun by solving an all-new puzzle-a-day. It is suitable for ALL puzzle lovers, math and logic aficionados, and anyone who enjoys exercising their brain on a regular basis or who is interested in improving their thought processes.
You'll find a BRAND NEW, freshly "Kenerated" KenKen puzzle for every day of the year in this book. That's right -- 365 puzzles, ranging in size from 4 x 4 to 9 x 9, and ranging in difficulty from easy to advanced! We're hopeful that you will find time each day to indulge in just one intriguing puzzle.
You'll also discover three different types of KenKen puzzles:
Lim-ops puzzles, in which the operations are limited to different combinations (addition/subtraction only, and multiplication only)
No-ops puzzles, in which there are no operations in the cages, only target numbers;
Twist puzzles, which require you to use a different set of numbers than usual to fill in the grid.
KenKen, the most enjoyable and fastest growing math and logic puzzle in the world, is based on "The Art of Teaching without Teaching", an ingenious teaching philosophy developed by KenKen's creator and renowned educator, Tetsuya Miyamoto.
Give your brain a treat with these fascinating puzzles ...
Описание: This Logic Puzzles book is packed with the following features:- 500 Easy to Hard Puzzles & 12 Puzzle Types. - Answers to every puzzle are provided. - Sorted into three levels of difficulty (Easy, Medium, and Hard). - Each puzzle is guaranteed to have only one solution. - Includes free bonus puzzles.
Описание: 500 Puzzles & 12 Puzzle Types (48 Sudoku, 36 Fillomino, 48 Battleships, 32 Calcudoku, 48 Binary Puzzle, 36 Slitherlink, 48 Sudoku X, 40 Masyu, 48 Jigsaw Sudoku, 36 Minesweeper, 48 Suguru, and 32 Numbrix. - Answers to every puzzle are provided. - Each puzzle is guaranteed to have only one solution.
Автор: Mensa Название: Mensa Logic Puzzles ISBN: 180279185X ISBN-13(EAN): 9781802791853 Издательство: Carlton Books Рейтинг: Цена: 2058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: More than 150 never-before-seen logic puzzles of a variety of types and difficulties, complete with an introduction and full solutions.
Автор: Silvio Ghilardi; M. Zawadowski Название: Sheaves, Games, and Model Completions ISBN: 9048160367 ISBN-13(EAN): 9789048160365 Издательство: Springer Рейтинг: Цена: 18294.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is an example of fruitful interaction between (non-classical) propo- sitionallogics and (classical) model theory which was made possible due to categorical logic.
Автор: Yirong Liu, Jibin Li, Wentao Huang Название: Planar Dynamical Systems: Selected Classical Problems ISBN: 3110298295 ISBN-13(EAN): 9783110298291 Издательство: Walter de Gruyter Рейтинг: Цена: 24165.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In 2008, November 23-28, the workshop of ”Classical Problems on Planar Polynomial Vector Fields ” was held in the Banff International Research Station, Canada. Called "classical problems", it was concerned with the following: (1) Problems on integrability of planar polynomial vector fields. (2) The problem of the center stated by Poincare for real polynomial differential systems, which asks us to recognize when a planar vector field defined by polynomials of degree at most n possesses a singularity which is a center. (3) Global geometry of specific classes of planar polynomial vector fields. (4) Hilbert’s 16th problem. These problems had been posed more than 110 years ago.Therefore, they are called "classical problems" in the studies of the theory of dynamical systems. The qualitative theory and stability theory of differential equations, created by Poincare and Lyapunov at the end of the 19th century, had major developments as two branches of the theory of dynamical systems during the 20th century. As a part of the basic theory of nonlinear science, it is one of the very active areas in the new millennium. This book presents in an elementary way the recent significant developments in the qualitative theory of planar dynamical systems. The subjects are covered as follows: the studies of center and isochronous center problems, multiple Hopf bifurcations and local and global bifurcations of the equivariant planar vector fields which concern with Hilbert’s 16th problem. The book is intended for graduate students, post-doctors and researchers in dynamical systems. For all engineers who are interested in the theory of dynamical systems, it is also a reasonable reference. It requires a minimum background of a one-year course on nonlinear differential equations.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
