99 books (5 pages) in this category

536 Puzzles and Curious Problems

by Henry E. Dudeney

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

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

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

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

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

eBookA System of Logic [Halls of Wisdom]

by John Stuart Mill

There is as great diversity among authors in the modes which they have adopted of defining logic, as in their treatment of the details of it. This is what might naturally be expected on any subject on which writers have availed themselves of the

ISBN: 9781518398056

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

eBookA casebook of ingenious, perplexing and totally satisfying puzzles

by Alex Bellos

<p>A good puzzle is ingenious, frustrating and <i>a-ha!</i>-inducing. In this entertaining and utterly addictive book, Bellos will challenge you to pit your wits against pangrams, hidatos, chessboard puzzles and a Singaporean schoolchild's maths

ISBN: 9781783351169

Binding: Kobo eBook

eBookby Emily Riehl

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

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 set

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

eBook