Book of Proof


Richard Hammack - 2009
    It is a bridge from the computational courses (such as calculus or differential equations) that students typically encounter in their first year of college to a more abstract outlook. It lays a foundation for more theoretical courses such as topology, analysis and abstract algebra. Although it may be more meaningful to the student who has had some calculus, there is really no prerequisite other than a measure of mathematical maturity. Topics include sets, logic, counting, methods of conditional and non-conditional proof, disproof, induction, relations, functions and infinite cardinality.

The Cambridge Companion to Wittgenstein


Hans D. Sluga - 1993
    This volume provides a comprehensible guide to his work by a wide range of experts who are actively engaged in new work on Wittgenstein. The essays, which are both expository and original, address central themes in his philosophy of mind, language, logic, and mathematics and clarify the connections among the different stages in the development of his work.

The Game Of Logic


Lewis Carroll - 1969
    Two books bound as one.

In Praise of Mathematics


Alain Badiou - 2015
    Far from the thankless, pointless exercises they are often thought to be, mathematics and logic are indispensable guides to ridding ourselves of dominant opinions and making possible an access to truths, or to a human experience of the utmost value. That is why mathematics may well be the shortest path to the true life, which, when it exists, is characterized by an incomparable happiness.

Introduction to Linear Algebra


Gilbert Strang - 1993
    Topics covered include matrix multiplication, row reduction, matrix inverse, orthogonality and computation. The self-teaching book is loaded with examples and graphics and provides a wide array of probing problems, accompanying solutions, and a glossary. Chapter 1: Introduction to Vectors; Chapter 2: Solving Linear Equations; Chapter 3: Vector Spaces and Subspaces; Chapter 4: Orthogonality; Chapter 5: Determinants; Chapter 6: Eigenvalues and Eigenvectors; Chapter 7: Linear Transformations; Chapter 8: Applications; Chapter 9: Numerical Linear Algebra; Chapter 10: Complex Vectors and Matrices; Solutions to Selected Exercises; Final Exam. Matrix Factorizations. Conceptual Questions for Review. Glossary: A Dictionary for Linear Algebra Index Teaching Codes Linear Algebra in a Nutshell.

The 125 Best Brain Teasers of All Time: A Mind-Blowing Challenge of Math, Logic, and Wordplay


Marcel Danesi - 2018
    Collected here to keep your wits sharp, The Best Brain Teasers of All Time features the cleverest brain teasers from around the world and throughout history.The Best Brain Teasers of All Time gives you hours of fun-filled entertainment with brain teasers that develop your problem-solving skills in math, logic, and wordplay. Organized as an integrated challenge, these brain teasers build in momentum as they increase in difficulty from classic nursery rhymes to the riddle of the sphinx.The Best Brain Teasers of All Time puts your mind to the test with: 125 Brain Teasers that require no special skills to solve. Plus, each question comes with an optional clue in case you get stumped and a handy answer key in the back to test yourself or play with friends Brain Teasers for Every Level that cater to beginners and advanced masterminds alike, with brain teasers organized by level of difficulty to improve your skills as you move forward Hints of History that provide fun facts and background information for every brain teaser Get ready to sharpen your wit with every “aha” moment. The Best Brain Teasers of All Time is a go-to source for timeless fun and mind-blowing challenges.

The Haskell Road to Logic, Maths and Programming


Kees Doets - 2004
    Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvellous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others.

Introduction to Topology


Bert Mendelson - 1975
    It provides a simple, thorough survey of elementary topics, starting with set theory and advancing to metric and topological spaces, connectedness, and compactness. 1975 edition.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse


Torkel Franzén - 2005
    With exceptional clarity, Franz n gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to address in detail the misunderstandings and abuses of the incompleteness theorems that are so rife in popular discussions of their significance. As an antidote to the many spurious appeals to incompleteness in theological, anti-mechanist and post-modernist debates, it is a valuable addition to the literature." --- John W. Dawson, author of "Logical Dilemmas: The Life and Work of Kurt G del

CliffsNotes Math Review for Standardized Tests


Jerry Bobrow - 2010
    Your guide to a higher math score on standardized tests*SATACT(R)ASVABGMAT(R)GRE(R)CBEST(R)PRAXIS I(R)GED(R) And More!Why CliffsNotes?Go with the name you know and trustGet the information you need-fast!About the Contents:IntroductionHow to use this bookOverview of the examsPart I: Basic Skills ReviewArithmetic and Data AnalysisAlgebraPart II: Strategies and PracticeMathematical AbilityQuantitative ComparisonData SufficiencyEach section includes a diagnostic test, explanations of rules, concepts withexamples, practice problems with complete explanations, a review test, and aglossary!Test-Prep Essentials from the Experts at CliffsNotes(R)For more test-prep help, visit CliffsNotes.com(R)*SAT is a registered trademark of the College Board, which was not involved inthe production of, and does not endorse, this product.

Introduction to Algebra


Richard Rusczyk - 2007
    Topics covered in the book include linear equations, ratios, quadratic equations, special factorizations, complex numbers, graphing linear and quadratic equations, linear and quadratic inequalities, functions, polynomials, exponents and logarithms, absolute value, sequences and series, and much more!The text is structured to inspire the reader to explore and develop new ideas. Each section starts with problems, giving the student a chance to solve them without help before proceeding. The text then includes solutions to these problems, through which algebraic techniques are taught. Important facts and powerful problem solving approaches are highlighted throughout the text. In addition to the instructional material, the book contains well over 1000 problems.This book can serve as a complete Algebra I course, and also includes many concepts covered in Algebra II. Middle school students preparing for MATHCOUNTS, high school students preparing for the AMC, and other students seeking to master the fundamentals of algebra will find this book an instrumental part of their mathematics libraries.656About the author: Richard Rusczyk is a co-author of Art of Problem Solving, Volumes 1 and 2, the author of Art of Problem Solving's Introduction to Geometry. He was a national MATHCOUNTS participant, a USA Math Olympiad winner, and is currently director of the USA Mathematical Talent Search.

Analytic Philosophy: A Very Short Introduction


Michael Beaney - 2017
    E. Moore, and Ludwig Wittgenstein in the four decades around the turn of the twentieth century, analytic philosophy established itself in various forms in the 1930s. After the Second World War, it developed further in North America, in the rest of Europe, and is now growing in influence as the dominant philosophical tradition right across the world, from Latin America to East Asia.In this Very Short Introduction Michael Beaney introduces some of the key ideas of the founders of analytic philosophy by exploring certain fundamental philosophical questions and showing how those ideas can be used in offering answers. Considering the work of Susan Stebbing, he also explores the application of analytic philosophy to critical thinking, and emphasizes the conceptual creativity that lies at the heart of fruitful analysis. Throughout, Beaney illustrates why clarity of thinking, precision of expression, and rigour of argumentation are rightly seen as virtues of analytic philosophy.

How to Prove It: A Structured Approach


Daniel J. Velleman - 1994
    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. To help students 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. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5

A Mathematician Reads the Newspaper


John Allen Paulos - 1995
    From the Senate, SATs, and sex, to crime, celebrities, and cults, he takes stories that may not seem to involvemathematics at all and demonstrates how a lack of mathematical knowledge canhinder our understanding of them.After reading A Mathematician Reads the Newspaper, it will beimpossible to look at the newspaper in the same way.-- PhiladelphiaInquirer It would be great to have John Allen Paulos living next door. Everymorning when you read the paper and come across some story that didn't seemquite right--that had the faint odor of illogic hovering about it-- you couldjust lean out the window and shout, 'John! Get the hell over here!'. A fun, spunky, wise little book that would be helpful to both the consumers of thenews and its purveyors. -- Washington Post Book World

Geek Logik: 50 Foolproof Equations for Everyday Life


Garth Sundem - 2006
    Call it the algebra oracle: By plugging in the right variables, GEEK LOGIK answers life’s most persistent questions. It covers Dating and Romance, Career and Finance, and everyday decisions like Should I get a tattoo? Can I still wear tight jeans? Is it time to see a therapist? How many beers should I have at the company picnic? How does it work? Take a simple issue that comes up once or twice a week: Should I call in sick? Fill in the variables honestly, such as D for doctor’s note (enter 1 for “no,†10 for “yes,†and 5 for “yes, but it’s a forgeryâ€), R for importance of job (1-10, with 10 being “personally responsible for Earth’s orbit around Sunâ€), Fj for how much fun you have at work (1-10, with 10 being “personal trainer for underwear modelsâ€), N for how much you need the money (1-10, with 10 being “I owe the mobâ€), then do the math, and voilà—if the product, Hooky, is greater than 1, enjoy your very own Ferris Bueller’s Day Off. Includes a pocket calculator so that prospective geeks can immediately solve the equation on the back cover: Should I buy this book?