69 titles from eBooks.com

Cambridge University Press (2007)

£22.50

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...

Cambridge University Press (2008)

£28.99

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...

Cambridge University Press (2002)

£17.50

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.

Cambridge University Press (1997)

£25.99

The purpose of this book is to introduce the basic ideas of mathematical proof and reasoning to students starting university mathematics.

The purpose of this book is to introduce the basic ideas of mathematical proof and reasoning to...

Cambridge University Press (2008)

£42.99

This book gives an account of combinatory logic and lambda-calculus models.

This book gives an account of combinatory logic and lambda-calculus models.

Elsevier Science (2005)

£39.59

The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work. It provides them with techniques they can use to gain an inside view of the subject, reach other results, remember results more easily, or rederive them if the results are forgotten.A flow chart...

The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing...

McGraw-Hill Education (2005)

£19.95

Almost every student has to study some sort of mathematical proofs, whether it be in geometry, trigonometry, or with higher-level topics. In addition, mathematical theorems have become an interesting course for many students outside of the mathematical arena, purely for the reasoning and logic that is needed to complete them. Therefore, it is not...

Almost every student has to study some sort of mathematical proofs, whether it be in geometry,...

Oxford University Press (2000)

£14.40

When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of Syracuse, stark naked, crying "eureka!" In The Moment of Proof , Donald Benson attempts to convey to general readers the feeling of eureka--the joy of discovery--that mathematicians feel when they first encounter an elegant proof.This...

When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through...

Cambridge University Press (2001)

£27.99

A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.

A concise introduction to structural proof theory, a branch of logic studying the general structure...

Wiley (2007)

£129.60

The only single-source——now completely updated and revised——to offer a unified treatment of the theory, methodology, and applications of the EM algorithm Complete with updates that capture developments from the past decade, The EM Algorithm and Extensions, Second Edition successfully provides a basic understanding of the EM algorithm by describing...

The only single-source——now completely updated and revised——to offer a unified treatment of the...