Logic, Symbolic and mathematical
Requires a minimum of technical knowledge and gives an illuminating oversight of the historical developments...with many interesting observations along the way."--Proceedings of the Edinburgh Mathematical Society "The lively writing makes this suitable supplementary reading for advanced undergraduates from many disciplines. An extensive and often...
Requires a minimum of technical knowledge and gives an illuminating oversight of the historical...
How to Prove It
A Structured Approach
This new edition of Daniel J. Velleman's successful textbook contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.
This new edition of Daniel J. Velleman's successful textbook contains over 200 new exercises,...
This book aims to explain, in clear non-technical language,what it is that mathematicians do, and how that differs from and builds on the mathematics that most people are familiar with from school. It is the ideal introduction for anyone who wishes to deepen their understanding of mathematics.
This book aims to explain, in clear non-technical language,what it is that mathematicians do, and...
Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007.
Computability and Logic is a classic because of its accessibility to students without a mathematical...
Textbook that teaches students how to think about algorithms like an expert, without getting bogged down in formal proof.
Textbook that teaches students how to think about algorithms like an expert, without getting bogged...
Now in its fourth edition, this book on logic has been enhanced and rewritten.
Now in its fourth edition, this book on logic has been enhanced and rewritten.
Fundamental Solutions in Elastodynamics
A Compendium
This work contains fundamental solutions for classical, canonical, elastodynamics problems using common format and notation.
This work contains fundamental solutions for classical, canonical, elastodynamics problems using...
Algorithmic puzzles are puzzles involving well-defined procedures for solving problems. This book will provide an enjoyable and accessible introduction to algorithmic puzzles that will develop the reader's algorithmic thinking.
Algorithmic puzzles are puzzles involving well-defined procedures for solving problems. This book...
Describes physical and statistical aspects of waves for graduates, researchers and engineers.
Describes physical and statistical aspects of waves for graduates, researchers and engineers.
The Complete Book of Fun Maths
250 Confidence-boosting Tricks, Tests and Puzzles
The idea of this book is to help build confidence with maths via a series of tests and puzzles. After a gentle 'warm-up' section, the puzzles and tests get progressively more challenging over the course of the book. There is a hints section for readers who get stuck, as well as a complete set of answers for every test at the back of the book. ...
The idea of this book is to help build confidence with maths via a series of tests and puzzles. ...
