100 books (5 pages) in this category

536 Puzzles and Curious Problems

by Henry E. Dudeney

<p>For two decades, self-taught mathematician Henry E. Dudeney wrote a puzzle page, "Perplexities," for <em>The Strand Magazine.</em> Martin Gardner, longtime editor of <em>Scientific American</em>'s mathematical games column, hailed ...

ISBN: 9780486816104

Binding: Kobo eBook

eBookA Beginner's Further Guide to Mathematical Logic

by Raymond Smullyan

ISBN: 9789814733014

Binding: Kobo eBook

eBookA Comparative Study of Parallel Programming Languages: The Salishan Problems

by Feo, J. T.

As execution speeds reach the physical limits of single cpu computers, the only hope of achieving greater computing power is with parallel systems. Researchers have proposed countless new programming languages, but their differences, ...

ISBN: 9781483294209

Binding: Kobo eBook

eBookby Thomas Macaulay Ferguson & Graham Priest

<p>A Dictionary of Logic expands on Oxford's coverage of the topic in works such as The Oxford Dictionary of Philosophy, The Concise Oxford Dictionary of Mathematics, and A Dictionary of Computer Science. Featuring more than 450 entries ...

ISBN: 9780192511553

Binding: Kobo eBook

eBookA First Course in Mathematical Logic and Set Theory

by Michael L. O'Leary

<p><b>A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs</b></p> <p>Highlighting the applications and notations of basic mathematical concepts within the framework of logic and ...

ISBN: 9781118547915

Binding: Kobo eBook

eBookby Pierre Simon

<p>The study of NIP theories has received much attention from model theorists in the last decade, fuelled by applications to o-minimal structures and valued fields. This book, the first to be written on NIP theories, is an introduction to the ...

ISBN: 9781316430064

Binding: Kobo eBook

eBookA Mathematical Introduction to Logic

by Enderton, Herbert B.

This book gives a mathematical treatment of the basic ideas and results of logic. It is intended to serve as a textbook for an introductory mathematics course in logic at the junior-senior level. The objectives are to present the important ...

ISBN: 9780080570389

Binding: Kobo eBook

eBookby Morris R. Cohen

Over the past two centuries the field of logic has developed at an explosive pace into new areas far removed from the traditional syllogism and formal proof. The purpose of this well-known introductory treatment is to chart, clearly and lucidly,

ISBN: 9780486801858

Binding: Kobo eBook

eBookCentenary Edition

by Sara Turing & John Turing

'In a short life he accomplished much, and to the roll of great names in the history of his particular studies added his own.' So is described one of the greatest figures of the twentieth century, yet Alan Turing's name was not widely recognised

ISBN: 9781107386815

Binding: Kobo eBook

eBookby Unknown, Author

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.<br><br> ...

ISBN: 9780080933917

Binding: Kobo eBook

eBookAn Introduction to Critical Thinking and Creativity

Think More, Think Better

by J. Y. F. Lau

<p><b>A valuable guide on creativity and critical thinking to improve reasoning and decision-making skills</b></p> <p><b>C</b>ritical thinking skills are essential in virtually any field of study or practice where individuals need to communicate

ISBN: 9781118033432

Binding: Kobo eBook

eBookAn Introduction to Formal Logic

by Epstein, Richard L

• Intended for a course for beginning students in philosophy, mathematics, linguistics, or computer science. • Motivation for each formal concept and each step in building a formal logic in terms of formalizing reasoning. Provides a conception ...

ISBN: 9781938421280

Binding: Kobo eBook

eBook2006–2012

by Professor James Cummings & Professor Ernest Schimmerling

This volume takes its name from a popular series of intensive mathematics workshops hosted at institutions in Appalachia and surrounding areas. At these meetings, internationally prominent set theorists give one-day lectures that focus on ...

ISBN: 9781139854504

Binding: Kobo eBook

eBookCircle Solutions without p

by M K Kulshresth

<p>Right from his formative years, Muni Kumar Kulshresth was distinctly fascinated by the hypothetical-sounding existence of the Greek letter π representing the constant ratio of circumference to diameter of a circle. This query, so appealing

ISBN: 9781947498150

Binding: Kobo eBook

eBookBurden of Proof, Presumption and Argumentation

by Douglas Walton

The notion of burden of proof and its companion notion of presumption are central to argumentation studies. This book argues that we can learn a lot from how the courts have developed procedures over the years for allocating and reasoning with ...

ISBN: 9781139949439

Binding: Kobo eBook

eBookby Emily Riehl

<p>Category theory has provided the foundations for many of the twentieth century's greatest advances in pure mathematics. This concise, original text for a one-semester course on the subject is derived from courses that author Emily Riehl ...

ISBN: 9780486820804

Binding: Kobo eBook

eBookby André Nies

<p>The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject. The complexity and the randomness aspect of a ...

ISBN: 9780191627880

Binding: Kobo eBook

eBookAn Introduction to Recursion Theory

by Herbert B. Enderton

<p><i>Computability Theory: An Introduction to Recursion Theory </i>provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of ...

ISBN: 9780123849595

Binding: Kobo eBook

eBookby Paul Cockshott, Lewis M. Mackenzie & Gregory Michaelson

<p>Computation and its Limits is an innovative cross-disciplinary investigation of the relationship between computing and physical reality. It begins by exploring the mystery of why mathematics is so effective in science and seeks to explain ...

ISBN: 9780191627491

Binding: Kobo eBook

eBookby Gabbay, Dov M.

<p><i>Handbook of the History of Logic</i> brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with ...

ISBN: 9780080930671

Binding: Kobo eBook

eBook