Search
Compare Prices
|
 (4.5 / 5.0) This groundbreaking Pulitzer Prize-winning book sets the standard for interdisciplinary writing, exploring the patterns and symbols in the thinking of mathematician Kurt Godel, artist M.C. Escher, and composer Johann Sebastian Bach.
|
$6.50 |
|
|
 (2.5 / 5.0) The leading applied text for the liberal arts mathematics course returns, ready to help students develop the mathematical literacy needed to vote smartly, shop wisely, plan finances, and support their opinions. In the new edition you will find a wealth of new and updated content, enhanced pedagogy, and expanded media options, including the new MathPortal. Energize your classroom with real-world problem solving! Get FAPP!
|
$103.99 |
|
|
 (3.5 / 5.0) This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. <BR><BR>The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more 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 package includes four pieces of software: 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.
|
$56.42 |
|
|
(4.5 / 5.0) <B><I>Mathematical Proofs: A Transition to Advanced Mathematics, 2/e, prepares students for the more abstract mathematics courses that follow calculus. This text introduces students to proof techniques and writing proofs of their own. As such, it is an introduction to the mathematics enterprise, providing solid introductions to relations, functions, and cardinalities of sets. <B>KEY TOPICS: Communicating Mathematics, Sets, Logic, Direct Proof and Proof by Contrapositive, More on Direct Proof and Proof by Contrapositive, Existence and Proof by Contradiction, Mathematical Induction, Prove or Disprove, Equivalence Relations, Functions, Cardinalities of Sets, Proofs in Number Theory, Proofs in Calculus, Proofs in Group Theory. <B>MARKET: For all readers interested in advanced mathematics and logic.<BR>
|
$86.10 |
|
|
(4.5 / 5.0) By introducing logic and by emphasizing the structure and nature of the arguments used, this book helps readers transition from computationally oriented mathematics to abstract mathematics with its emphasis on proofs. Uses clear expositions and examples, helpful practice problems, numerous drawings, and selected hints/answers. Offers a new boxed review of key terms after each section. Rewrites many exercises. Features more than 250 true/false questions. Includes more than 100 practice problems. Provides exceptionally high-quality drawings to illustrate key ideas. Provides numerous examples and more than 1,000 exercises. A thorough reference for readers who need to increase or brush up on their advanced mathematics skills.
|
$75.08 |
|
|
 (4.0 / 5.0) 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.
|
$9.13 |
|
|
(4.5 / 5.0) A perennial bestseller by eminent mathematician G. Polya, <i>How to Solve It will show anyone in any field how to think straight.
In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be "reasoned" out--from building a bridge to winning a game of anagrams. Generations of readers have relished Polya's deft--indeed, brilliant--instructions on stripping away irrelevancies and going straight to the heart of the problem.
|
$11.80 |
|
|
(4.5 / 5.0) Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman’s successful text will prepare students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. The author shows how complex proofs are built up from these smaller steps, using detailed ‘scratch work’ sections to expose the machinery of proofs about the natural numbers, relations, functions, and infinite sets. To give students the opportunity to construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. This book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and of course mathematicians.
|
$21.59 |
|
|
(4.0 / 5.0) For courses in Symbolic Logic Designed for those who have no prior background in logic, philosophy, or mathematics, this comprehensive introduction covers all the standard topics of symbolic logic through relational predicate logic with identity. Understanding Symbolic Logic, Fifth Edition, is completely reader-friendly. All concepts and theories are presented in small "bites," helping students to master the concepts of symbolic logic with confidence.
|
$82.01 |
|
|
(4.5 / 5.0) <p>In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of <i>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 <b>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.
|
$7.74 |