Mathematical foundations

A lively collection of fun and challenging problems in ancient Egyptian mathThe mathematics of ancient Egypt was fundamentally different from our math today.

An entertaining look at the origins of mathematical symbolsWhile all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century.

The Final Volume of the Groundbreaking Trilogy on Agent-Based ModelingIn this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: Agent_Zero.

Starting at the very beginning with Aristotle's founding contributions, logic has been graced by several periods in which the subject has flourished, attaining standards of rigour and conceptual sophistication underpinning a large and deserved reputation as a leading expression of human intellectual effort.

The mathematics behind today's most widely used rating and ranking methodsA website's ranking on Google can spell the difference between success and failure for a new business.

While many books have been written about Bertrand Russell's philosophy and some on his logic, I.

Lowenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models.

An engaging, accessible introduction into how numbers work and why we shouldn't be afraid of them, from maths expert Rachel Riley.

MURDLE FANS LOOK NO FURTHER .

'Another terrific book by Rob Eastaway' SIMON SINGH'A delightfully accessible guide to how to play with numbers' HANNAH FRYHow many cats are there in the world?

Mathematics and the Divine seem to correspond to diametrically opposed tendencies of the human mind.

A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreationLogic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century and have been popular ever since.

Train your brain with these fiendishly difficult puzzles, the perfect companion for anyone wanting to keep their mind busy'Fiendishly tricky' Daily MailWith their first bestselling book, The GCHQ Puzzle Book, the UK's intelligence and security experts tested us with puzzles, codes and real-life entrance tests from their archives.

An intimate portrait of an everyday genius.

Never before have we attempted to measure as much as we do today.

The Complete Idiot's Guide to Speed Math provides easy-to-understand methods, tips, and tricks to do math in one's head, on paper, and on a calculator at a faster rate and with more accuracy for anyone who is intimidated by math and for whom such calculations would otherwise require paper or calculator.

If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical.

The Final Volume of the Groundbreaking Trilogy on Agent-Based ModelingIn this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: Agent_Zero.

While many books have been written about Bertrand Russell's philosophy and some on his logic, I.

Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results.

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work.

The most comprehensive account of the mathematician's life and workJohn Napier (1550-1617) is celebrated today as the man who invented logarithms-an enormous intellectual achievement that would soon lead to the development of their mechanical equivalent in the slide rule: the two would serve humanity as the principal means of calculation until the mid-1970s.

An inviting collection of fun, hands-on applications in mathematics and computingThis book provides a fun, hands-on approach to learning how mathematics and computing relate to the world around us and help us to better understand it.

The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship.

Inductive Logic is number ten in the 11-volume Handbook of the History of Logic.

Quantum mechanics is said to be the most successful physical theory ever.

Quantification and modalities have always been topics of great interest for logicians.

Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength.

Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics.

Gaps and limits are two phenomena occuring in the Boolean algebra P(&ohgr;)/fin.

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number.

This volume is number five in the 11-volume Handbook of the History of Logic.

Topics in Arithmetical Functions

These two volumes cover the principal approaches to constructivism in mathematics.

This is an introductory undergraduate textbook in set theory.

Starting at the very beginning with Aristotle's founding contributions, logic has been graced by several periods in which the subject has flourished, attaining standards of rigour and conceptual sophistication underpinning a large and deserved reputation as a leading expression of human intellectual effort.

The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic.

The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic.

Relation algebras are algebras arising from the study of binary relations.

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science.

With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic.

Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic.

This book is an account of the important influence on the development of mathematical logic of Charles S.

This book provides a comprehensive exposition of the use of set-theoretic methods in abelian group theory, module theory, and homological algebra, including applications to Whitehead's Problem, the structure of Ext and the existence of almost-free modules over non-perfect rings.

The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems.

Fuzzy set and logic theory suggest that all natural language linguistic expressions are imprecise and must be assessed as a matter of degree.

Infinite Words is an important theory in both Mathematics and Computer Sciences.

Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among chains = total orders = linear orders.

One aspect of common sense reasoning is reasoning about normal cases, e.

This book teaches you how to design a fuzzy controller and shares the author's experience of design and applications.