Kurt Gödel var det plågade geniet vars visioner skakade det matematiska resonemangets stabilitet. Priset för att förändra matematiken i grunden var en balansgång på galenskapens rand.Rebecca Goldstein, prisbelönt författare och filosof, ger läsaren…
Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classic…
This book offers an introduction to the art and craft of proof-writing. The author, a leading research mathematician, presents a series of engaging and compelling mathematical statements with interesting elementary proofs. These proofs capture a wid…
Suguru is a logic puzzle with simple rules and challenging solutions. The task consists of a rectangular or square grid divided into regions.The rules of Suguru are simple, each region must be filled with each of the digits from 1 to the number of c…
A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can…
This textbook offers an introduction to the philosophy of science. It helps undergraduate students from the natural, the human and social sciences to gain an understanding of what science is, how it has developed, what its core traits are, how to di…
Number theory as studied by the logician is the subject matter of the book. This first volume can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergraduates, dealing with the usual introductory material: recursio…
How to write mathematical proofs, shown in fully-worked out examples.This is a companion volume Joel Hamkins's Proof and the Art of Mathematics, providing fully worked-out solutions to all of the odd-numbered exercises as well as a few of the even-n…
The Equation of Knowledge: From Bayes' Rule to a Unified Philosophy of Science introduces readers to the Bayesian approach to science: teasing out the link between probability and knowledge. The author strives to make this book accessible to a very…
Model theory is used in every theoretical branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging uses of model theory have…
Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the…
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic…
Because evolution endowed humans with a complement of ten fingers, a grouping size of ten seems natural to us, perhaps even ideal. But from the perspective of mathematics, groupings of ten are arbitrary, and can have serious shortcomings. Twelve wou…
“Inspiring and informative…deserves to be widely read.” —Wall Street Journal “This fun book offers a philosophical take on number systems and revels in the beauty of math.” —Science News Because we have ten…
This is a puzzle book covering logic, philosophy, psychology, artificial intelligence, computer science and mathematics. It contains many puzzles and their solutions and aims to attract many readers in an age where computer science, logic, and mathe…
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but…
This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and compute…
This book is an excellent starting point for any curriculum in fuzzy systems fields such as computer science, mathematics, business/economics and engineering. It covers the basics leading to: fuzzy clustering, fuzzy pattern recognition, fuzzy databa…
Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book considers various solutions to mathematical problems and, in the process, r…
For thousands of years, mathematicians have used the timeless art of logic to see the world more clearly. In The Art of Logic, Royal Society Science Book Prize nominee Eugenia Cheng shows how anyone can think like a mathematician - and see, argue an…
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the every- growing importance of computer science. This text…
It is no secret that most people avoid mathematics, in large measure because elementary school teachers have never done much to motivate a love of the subject matter. In his latest book, mathematician Alfred S. Posamentier provides easily understand…
This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences. Specifically designed for the student who is intimidated by mathemat…
An introduction to the philosophy of mathematics grounded in mathematics and motivated by mathematical inquiry and practice.In this book, Joel David Hamkins offers an introduction to the philosophy of mathematics that is grounded in mathematics and…
Many believe mathematics is only about calculations, formulas, numbers, and strange letters. But mathematics is much more than just crunching numbers or manipulating symbols. Mathematics is about discovering patterns, uncovering hidden structures, f…
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience,…
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypoth…
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 Sudo…
Playing logic puzzle on a daily basis helps to keep an active mind and players often see improvements in their overall concentration.This Adult Puzzle book is packed with the following features: - 500 Medium Logic Puzzles (Sudoku, Kakuro, Hitori, M…
Griddlers logic puzzles, also known as Picross or Nonograms, are picture logic puzzles in which cells in a grid have to be colored or left blank according to numbers given at the side of the grid to reveal a hidden picture. Some people compare Gridd…
An Introduction to Formal Languages and Automata, Sixth Edition provides an accessible, student-friendly presentation of all material essential to an introductory Theory of Computation course. Written to address the fundamentals of formal languages,…
For the mastermind who has what it takes to solve the tricky conundrums from Britain's first and greatest puzzle master. --------------------------------------- Solve the puzzle of The Mystery of Ravensdene Park . . . trace the route of the butler,…
This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec tions with philosophy and computer science. Namely, the creation and study of "formal systems for…
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At eac…
Samurai Sudoku Book is a collection of 500 Medium Sudoku puzzles overlapping into 100 samurai style. Part of the popular "Logic Puzzles" series, the book is designed to help keep your brain cognitively fit, flexible, and young. Samurai Sudoku are a…
Samurai Sudoku Book is a collection of 500 Medium Sudoku puzzles overlapping into 100 samurai style. Part of the popular "Logic & Brain Teasers Series", the book is designed to help keep your brain cognitively fit, flexible, and young.This Samurai S…
Playing Samurai Sudoku is not just a fun way to pass the time, due to its logical elements it has been found as a proven method of exercising and stimulating portions of your brain, training it even if you will and just like training any other muscl…
The present anthology has its origin in two international conferences that were arranged at Uppsala University in August 2004: "Logicism, Intuitionism and F- malism: What has become of them?" followed by "Symposium on Constructive Mathematics". The…
Model theory begins with an audacious idea: to consider statements about mathematical structures as mathematical objects of study in their own right. While inherently important as a tool of mathematical logic, it also enjoys connections to and appli…
Proofs play a central role in advanced mathematics and theoretical computer science, yet many students struggle the first time they take a course in which proofs play a significant role. This bestselling text's third edition helps students transitio…
Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text will prepare students to make the transition from solving problems to proving theorems b…
From atom bombs to rebounding slinkies, open your eyes to the mathematical magic in the everyday. Mathematics isn’t just for academics and scientists, a fact meteorologist and blogger Peter Lynch has spent the past several years proving throu…
Is infinity a valid mathematical property or a meaningless abstraction? David Foster Wallace brings his intellectual ambition and characteristic bravura style to the story of how mathematicians have struggled to understand the infinite, from the anc…
This new edition includes a number of revisions and additions. One is on symmetric monoidal categories and braided monoidal categories and the coherence theorems for them. The second describes 2-categories and the higher dimensional categories which…
"The book is extremely pleasant to read, with masterfully crafted exercises and examples that create a beautiful and unique thread of presentation leading the reader safely into the wonderfully rich, expressive, and powerful theory of categories." -…
Are you smarter than a Singaporean ten-year-old? Can you beat Sherlock Holmes? If you think the answer is yes - I challenge you to solve my problems. Here are 125 of the world's best brainteasers from the last two millennia, taking us from ancient C…
This book is an introduction to the language and standard proof methods of mathematics. It is a bridge from the computational courses (such as calculus or differential equations) that students typically encounter in their first year of college to a…
Find out your IQ, the fun way . . . ------------------------- Underline the odd-man-out house igloo bungalow office hut ------------------------- Insert the word that means the same as the two words outside the brackets. fowl (......) grumble ------…
Thought you had it bad? In this book, you will be: Imprisoned by a sadistic logician. Challenged to raise dogs from the dead. Trapped on a burning island. And much more besides . . . Everything is at stake in this compendium of more than 150 ingenio…