Apparel & AccessoriesBooksClassical MusicDVDElectronics & PhotoGourmet Food and GroceriesHealth & Personal CareHome & GardenIndustrial & ScientificKitchen
Popular MusicMusical InstrumentsOutdoor LivingComputer HardwareComputer SoftwareSporting GoodsToolsToys and GamesVHS VideoVideo Games

Search:

Browse by Catagory:

Books

Logic


Can You Solve My Problems?: Ingenious, Perplexing, and Totally Satisfying Math and Logic Puzzles

Can You Solve My Problems?: Ingenious, Perplexing, and Totally Satisfying Math and Logic Puzzles Lowest new price: $10.60
Lowest used price: $10.08
List price: $15.95
Author: Alex Bellos
Brand: EXPERIMENT

Puzzle lovers, rejoice!

Bestselling math writer Alex Bellos has a challenge for you: 125 of the world’s best brainteasers from the last two millennia.

Armed with logic alone, you’ll detect counterfeit coins, navigate river crossings, and untangle family trees. Then—with just a dash of high school math—you’ll tie a rope around the Earth, match wits with a cryptic wizard, and use four 4s to create every number from 1 to 50. (It can be done!)

The ultimate casebook for daring puzzlers, Can You Solve My Problems? also tells the story of the puzzle—from ancient China to Victorian England to modern-day Japan. Grab your pencil and get puzzling!

Features:

  • EXPERIMENT

Similar Products:


Language, Proof and Logic, 2nd Edition

Language, Proof and Logic, 2nd Edition Lowest new price: $73.28
Lowest used price: $5.70
List price: $80.00
Author: David Barker-Plummer
Brand: imusti

Language Proof and Logic is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at ggweb.stanford.edu.

The textbook/software package covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic course to undergraduates in philosophy, computer science, mathematics, and linguistics.

Introductory material is presented in a systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.

The software package includes four programs:

Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics;

Fitch, a natural deduction proof environment for giving and checking first-order proofs;

Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);

Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.

Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.

The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.

Features:

  • CSLI Publications

Similar Products:


Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers Lowest new price: $44.98
Lowest used price: $157.36
List price: $44.99
Author: Leslie Lamport

This work shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioural properties of a system - what that system is allowed to do. The emphasis here is on safety properties. The second part covers more advanced topics, including liveness and fairness, real time properties, and composition. The books final two parts provide a complete reference manual for the TLA+ language and tools, as well as a mini-manual.

Similar Products:


Descartes' Error: Emotion, Reason, and the Human Brain

Descartes' Error: Emotion, Reason, and the Human Brain Lowest new price: $8.90
Lowest used price: $4.70
List price: $18.00
Author: Anthony Damasio
Brand: Antonio Damasio

Since Descartes famously proclaimed, "I think, therefore I am," science has often overlooked emotions as the source of a person’s true being. Even modern neuroscience has tended, until recently, to concentrate on the cognitive aspects of brain function, disregarding emotions. This attitude began to change with the publication of Descartes’ Error in 1995. Antonio Damasio—"one of the world’s leading neurologists" (The New York Times)—challenged traditional ideas about the connection between emotions and rationality. In this wondrously engaging book, Damasio takes the reader on a journey of scientific discovery through a series of case studies, demonstrating what many of us have long suspected: emotions are not a luxury, they are essential to rational thinking and to normal social behavior.

Features:

  • Descartes Error Emotion Reason and the Human Brain

Similar Products:


Schaum's Outline of Logic, Second Edition (Schaum's Outlines)

Schaum's Outline of Logic, Second Edition (Schaum's Outlines) Lowest new price: $7.47
Lowest used price: $3.49
List price: $22.00
Author: John Nolt
Brand: imusti

The ideal review for your logic course

More than 40 million students have trusted Schaum’s Outlines for their expert knowledge and helpful solved problems. Written by renowned experts in their respective fields, Schaum’s Outlines cover everything from math to science, nursing to language. The main feature for all these books is the solved problems. Step-by-step, authors walk readers through coming up with solutions to exercises in their topic of choice.

  • 500 solved problems
  • Includes non-classical logics
  • Covers the probability calculus
  • Complements or supplements the major Logic textbooks
  • Appropriate for the following courses: Introduction to Formal Logic, Informal Logic, Logic Programming, Algebra
  • Complete course content in easy-to-follow outline form
  • Hundreds of solved problems for effective test preparation

Features:

  • McGraw-Hill

Similar Products:


What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles (Dover Recreational Math)

What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles (Dover Recreational Math) Lowest new price: $8.74
Lowest used price: $2.99
List price: $14.95
Author: Raymond M. Smullyan
Brand: Dover Publications

"The most original, most profound, and most humorous collection of recreational logic and math problems ever written." — Martin Gardner, Scientific American
"The value of the book lies in the wealth of ingenious puzzles. They afford amusement, vigorous exercise, and instruction." — Willard Van Orman Quine, The New York Times Book Review
If you're intrigued by puzzles and paradoxes, these 200 mind-bending logic puzzles, riddles, and diversions will thrill you with challenges to your powers of reason and common sense. Raymond M. Smullyan — a celebrated mathematician, logician, magician, and author — presents a logical labyrinth of more than 200 increasingly complex problems. The puzzles delve into Gödel's undecidability theorem and other examples of the deepest paradoxes of logic and set theory. Detailed solutions follow each puzzle.

Features:

  • Used Book in Good Condition

Similar Products:


Gödel's Proof

Gödel's Proof Lowest new price: $8.93
Lowest used price: $6.61
List price: $13.95
Author: Ernest Nagel
Brand: Ernest Nagel

In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences—perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent times."

However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject.

Marking the 50th anniversary of the original publication of Gödel's Proof, New York University Press is proud to publish this special anniversary edition of one of its bestselling and most frequently translated books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.

Gödel's incompleteness theorem--which showed that any robust mathematical system contains statements that are true yet unprovable within the system--is an anomaly in 20th-century mathematics. Its conclusions are as strange as they are profound, but, unlike other recent theorems of comparable importance, grasping the main steps of the proof requires little more than high school algebra and a bit of patience. Ernest Nagel and James Newman's original text was one of the first (and best) to bring Gödel's ideas to a mass audience. With brevity and clarity, the volume described the historical context that made Gödel's theorem so paradigm-shattering. Where the first edition fell down, however, was in the guts of the proof itself; the brevity that served so well in defining the problem made their rendering of Gödel's solution so dense as to be nearly indigestible.

This reissuance of Nagel and Newman's classic has been vastly improved by the deft editing of Douglas Hofstadter, a protégé of Nagel's and himself a popularizer of Gödel's work. In the second edition, Hofstadter reworks significant sections of the book, clarifying and correcting here, adding necessary detail there. In the few instances in which his writing diverges from the spirit of the original, it is to emphasize the interplay between formal mathematical deduction and meta-mathematical reasoning--a subject explored in greater depth in Hofstadter's other delightful writings. --Clark Williams-Derry

Features:

  • Godel s Proof

Similar Products:


The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine

The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine Lowest new price: $16.82
Lowest used price: $12.00
List price: $29.99
Author: Charles Petzold
Brand: Petzold Charles

Programming Legend Charles Petzold unlocks the secrets of the extraordinary and prescient 1936 paper by Alan M. Turing

Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be computable, creating the field of computability theory in the process, a foundation of present-day computer programming.

The book expands Turing’s original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing’s statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others.

Interwoven into the narrative are the highlights of Turing’s own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.

Features:

  • The Annotated Turing A Guided Tour Through Alan Turing s Historic Paper on Computability and the Turing Machine

Similar Products:


It's Hard To Be a Russian Spy: The Great Collection Of Riddles & Brain Teasers From The Final Examination of Soviet and Russian Spies (Brain Teaser Puzzles for Adults)

It's Hard To Be a Russian Spy: The Great Collection Of Riddles & Brain Teasers From The Final Examination of Soviet and Russian Spies (Brain Teaser Puzzles for Adults) Lowest new price: $9.99
Lowest used price: $7.98
List price: $9.99
Author: Igor Suvorov

There’s training to be an Olympic Athlete. Then there is training to a Russian Spy. Both extremely difficult and a much esteemed percentage of people around the world get to be picked for it. But there is no shadow of doubt which of these requires a person to be literally Jack of all trades - smart, cunning, highly intelligent, resilient and the perfect mix of brains and brawns.

There is an aura of mysticism surrounding Spies and very few people have told the tale of where it all began- in the training room. Put together by means that better remain cloaked, or perhaps a story for another time, author Igor Suvorov brings you a choice collection of fifty riddles and brain teasers that these Soviet and Russian spies had to clear in order to be deemed fit to be released to the field. Anyone can solve a riddle, but these are the riddles that only as few as 4% of untrained people will be able to solve!

As if that is not good enough, the person taking the exam has to clear 94% of all the presented questions. This is the holy grail of all spy brain teasers, a book that you can keep your brain sharp with, a tool with which you can spend endless hours poring over. Have you go what it takes? Time to find out! It's not just hard to be a Russian Spy; it’s VERY hard and only the sharpest mind will be one.

Similar Products:


How to Bake Pi: An Edible Exploration of the Mathematics of Mathematics

How to Bake Pi: An Edible Exploration of the Mathematics of Mathematics Lowest new price: $9.11
Lowest used price: $1.99
List price: $16.99
Author: Eugenia Cheng
Brand: Eugenia Cheng

"Whimsical...rigorous and insightful." -- New York Times Book Review

What is math? How exactly does it work? And what do three siblings trying to share a cake have to do with it? In How to Bake Pi, math professor Eugenia Cheng provides an accessible introduction to the logic and beauty of mathematics, powered, unexpectedly, by insights from the kitchen. We learn how the béchamel in a lasagna can be a lot like the number five, and why making a good custard proves that math is easy but life is hard. At the heart of it all is Cheng's work on category theory, a cutting-edge "mathematics of mathematics," that is about figuring out how math works.

Combined with her infectious enthusiasm for cooking and true zest for life, Cheng's perspective on math is a funny journey through a vast territory no popular book on math has explored before. So, what is math? Let's look for the answer in the kitchen.

Features:

  • How to Bake Pi An Edible Exploration of the Mathematics of Mathematics

Similar Products:


<< Prev   Next >>
Page 2 of 701

[Kindle]    [Kindle DX]
  Privacy Policy

CERTAIN CONTENT THAT APPEARS ON THIS SITE COMES FROM AMAZON SERVICES LLC. THIS CONTENT IS PROVIDED AS IS AND IS SUBJECT TO CHANGE OR REMOVAL AT ANY TIME.