From the bestselling author of Alex's Adventures in Numberland and Can You Solve My Problems? comes a fascinating, hugely entertaining collection of puzzles for crossword addicts and language-lovers of all stripes.
Træn din hjerne med 269 opgaver fra Mensa Er du klar til den sejeste opgavebog nogensinde? Bogen er sprængfyldt med opgaver med logik, tal og ord,... Læs mere
This fresh approach blends theory and connections with other parts of mathematics so that readers can understand the place of set theory within the wider context.... Læs mere
Undergraduate textbook covering the key material for a typical first course in logic, including a full... Læs mere
Our lives are full of inexactitude. We say a person is tall or an action is just without the precision of measurement on a dial. In this engaging... Læs mere
To help readers become better at solving real-world problems, this enlightening, entertaining, and inspiring... Læs mere
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The papers show the trend set of current research in automated reasoning in geometry.
"A series of essays introducing the applications of machine learning and statistics in natural language processing, speech recognition and web search for non-technical readers"--
In diamond, a statement can be true yet false; an 'imaginary' state, midway between being and non-being. Diamond's imaginary values solve many logical... Læs mere
The Asian Logic Conference is part of the series of logic conferences inaugurated... Læs mere