Introduction to Logic


Harry J. Gensler - 2001
    Harry Gensler engages students with the basics of logic through practical examples and important arguments both in the history of philosophy and from contemporary philosophy. Using simple and manageable methods for testing arguments, students are led step-by-step to master the complexities of logic.The companion LogiCola instructional program and various teaching aids (including a teacher's manual) are available from the book's website: www.routledge.com/textbooks/gensler_l...

Principles to Actions: Ensuring Mathematical Success for All


National Council of Teachers of Mathematics - 2014
    What will it take to turn this opportunity into reality in every classroom, school, and district? Continuing its tradition of mathematics education leadership, NCTM has defined and described the principles and actions, including specific teaching practices, that are essential for a high-quality mathematics education for all students. Principles to Actions: Ensuring Mathematical Success for All offers guidance to teachers, specialists, coaches, administrators, policymakers, and parents: Builds on the Principles articulated in Principles and Standards for School Mathematics to present six updated Guiding Principles for School MathematicsSupports the first Guiding Principle, Teaching and Learning, with eight essential, research-based Mathematics Teaching PracticesDetails the five remaining Principles--the Essential Elements that support Teaching and Learning as embodied in the Mathematics Teaching PracticesIdentifies obstacles and unproductive and productive beliefs that all stakeholders must recognize, as well as the teacher and student actions that characterize effective teaching and learning aligned with the Mathematics Teaching PracticesWith Principles to Actions, NCTM takes the next step in shaping the development of high-quality standards throughout the United States, Canada, and worldwide.

The Magic of Math: Solving for X and Figuring Out Why


Arthur T. Benjamin - 2015
    joyfully shows you how to make nature's numbers dance."--Bill Nye (the science guy)The Magic of Math is the math book you wish you had in school. Using a delightful assortment of examples-from ice-cream scoops and poker hands to measuring mountains and making magic squares-this book revels in key mathematical fields including arithmetic, algebra, geometry, and calculus, plus Fibonacci numbers, infinity, and, of course, mathematical magic tricks. Known throughout the world as the "mathemagician," Arthur Benjamin mixes mathematics and magic to make the subject fun, attractive, and easy to understand for math fan and math-phobic alike."A positively joyful exploration of mathematics."-Publishers Weekly, starred review"Each [trick] is more dazzling than the last."-Physics World

Bayesian Data Analysis


Andrew Gelman - 1995
    Its world-class authors provide guidance on all aspects of Bayesian data analysis and include examples of real statistical analyses, based on their own research, that demonstrate how to solve complicated problems. Changes in the new edition include:Stronger focus on MCMC Revision of the computational advice in Part III New chapters on nonlinear models and decision analysis Several additional applied examples from the authors' recent research Additional chapters on current models for Bayesian data analysis such as nonlinear models, generalized linear mixed models, and more Reorganization of chapters 6 and 7 on model checking and data collectionBayesian computation is currently at a stage where there are many reasonable ways to compute any given posterior distribution. However, the best approach is not always clear ahead of time. Reflecting this, the new edition offers a more pluralistic presentation, giving advice on performing computations from many perspectives while making clear the importance of being aware that there are different ways to implement any given iterative simulation computation. The new approach, additional examples, and updated information make Bayesian Data Analysis an excellent introductory text and a reference that working scientists will use throughout their professional life.

Facts and Mysteries in Elementary Particle Physics


Martinus Veltman - 2003
    We are introduced to the known particles of the world we live in. An elegant explanation of quantum mechanics and relativity paves the way for an understanding of the laws that govern particle physics. These laws are put into action in the world of accelerators, colliders and detectors found at institutions such as CERN and Fermilab that are in the forefront of technical innovation. Real world and theory meet using Feynman diagrams to solve the problems of infinities and deduce the need for the Higgs boson.Facts and Mysteries in Elementary Particle Physics offers an incredible insight from an eyewitness and participant in some of the greatest discoveries in 20th century science. From Einstein's theory of relativity to the elusive Higgs particle, this book will fascinate and educate anyone interested in the world of quarks, leptons and gauge theories.This book also contains many thumbnail sketches of particle physics personalities, including contemporaries as seen through the eyes of the author. Illustrated with pictures, these candid sketches present rare, perceptive views of the characters that populate the field.The Chapter on Particle Theory, in a pre-publication, was termed “superbly lucid” by David Miller in Nature (Vol. 396, 17 Dec. 1998, p. 642).

Number Theory


George E. Andrews - 1994
    In studying number theory from such a perspective, mathematics majors are spared repetition and provided with new insights, while other students benefit from the consequent simplicity of the proofs for many theorems.Among the topics covered in this accessible, carefully designed introduction are multiplicativity-divisibility, including the fundamental theorem of arithmetic, combinatorial and computational number theory, congruences, arithmetic functions, primitive roots and prime numbers. Later chapters offer lucid treatments of quadratic congruences, additivity (including partition theory) and geometric number theory.Of particular importance in this text is the author's emphasis on the value of numerical examples in number theory and the role of computers in obtaining such examples. Exercises provide opportunities for constructing numerical tables with or without a computer. Students can then derive conjectures from such numerical tables, after which relevant theorems will seem natural and well-motivated..

Language, Proof and Logic: Text and CD


Jon Barwise - 1999
    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.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.

Programming Collective Intelligence: Building Smart Web 2.0 Applications


Toby Segaran - 2002
    With the sophisticated algorithms in this book, you can write smart programs to access interesting datasets from other web sites, collect data from users of your own applications, and analyze and understand the data once you've found it.Programming Collective Intelligence takes you into the world of machine learning and statistics, and explains how to draw conclusions about user experience, marketing, personal tastes, and human behavior in general -- all from information that you and others collect every day. Each algorithm is described clearly and concisely with code that can immediately be used on your web site, blog, Wiki, or specialized application. This book explains:Collaborative filtering techniques that enable online retailers to recommend products or media Methods of clustering to detect groups of similar items in a large dataset Search engine features -- crawlers, indexers, query engines, and the PageRank algorithm Optimization algorithms that search millions of possible solutions to a problem and choose the best one Bayesian filtering, used in spam filters for classifying documents based on word types and other features Using decision trees not only to make predictions, but to model the way decisions are made Predicting numerical values rather than classifications to build price models Support vector machines to match people in online dating sites Non-negative matrix factorization to find the independent features in a dataset Evolving intelligence for problem solving -- how a computer develops its skill by improving its own code the more it plays a game Each chapter includes exercises for extending the algorithms to make them more powerful. Go beyond simple database-backed applications and put the wealth of Internet data to work for you. "Bravo! I cannot think of a better way for a developer to first learn these algorithms and methods, nor can I think of a better way for me (an old AI dog) to reinvigorate my knowledge of the details."-- Dan Russell, Google "Toby's book does a great job of breaking down the complex subject matter of machine-learning algorithms into practical, easy-to-understand examples that can be directly applied to analysis of social interaction across the Web today. If I had this book two years ago, it would have saved precious time going down some fruitless paths."-- Tim Wolters, CTO, Collective Intellect

Semiconductor Physics and Devices: Basic Principles


Donald A. Neamen - 1992
    The goal of this book is to bring together quantum mechanics, the quantum theory of solids, semiconductor material physics, and semiconductor device physics in a clear and understandable way.

The Quantum Universe: Everything That Can Happen Does Happen


Brian Cox - 2011
    Cox and Forshaw's contention? There is no need for quantum mechanics to be viewed this way. There is a lot of mileage in the 'weirdness' of the quantum world, and it often leads to confusion and, frankly, bad science. The Quantum Universe cuts through the Wu Li and asks what observations of the natural world made it necessary, how it was constructed, and why we are confident that, for all its apparent strangeness, it is a good theory.The quantum mechanics of The Quantum Universe provide a concrete model of nature that is comparable in its essence to Newton’s laws of motion, Maxwell’s theory of electricity and magnetism, and Einstein’s theory of relativity.

Leadership and the New Science: Discovering Order in a Chaotic World


Margaret J. Wheatley - 1992
    In this new edition, Margaret Wheatley describes how the new science radically alters our understanding of the world and how it can teach us to live and work well together in these chaotic times. We live in a time of chaos, rich in potential for new possibilities. A new world is being born. We need new ideas, new ways of seeing, and new relationships to help us now. New science--the new discoveries in biology, chaos theory, and quantum physics that are changing our understanding of how the world works--offers this guidance. It describes a world where chaos is natural, where order exists for free. It displays the intricate webs of cooperation that connect us. It assures us that life seeks order, but uses messes to get there.This book will teach you how to move with greater certainty and easier grace into the new forms of organizations and communities that are taking shape. You'll learn that:- Relationships are what matters--even at the subatomic level - Life is a vast web of interconnections where cooperation and participation are required - Chaos and change are the only route to transformationIn this expanded edition, Wheatley provides examples of how non-linear networks and self-organizing systems are flourishing in the modern world. In the midst of turbulence, Wheatley shows, we create work and lives rich in meaning.

Starting Out with Programming Logic and Design


Tony Gaddis - 2007
    In the successful, accessible style of Tony Gaddis’ best-selling texts, useful examples and detail-oriented explanations allow students to become comfortable with fundamental concepts and logical thought processes used in programming without the complication of language syntax. Students gain confidence in their program design skills to transition into more comprehensive programming courses.The book is ideal for a programming logic course taught as a precursor to a language-specific introductory programming course, or for the first part of an introductory programming course.

A Book of Abstract Algebra


Charles C. Pinter - 1982
    Its easy-to-read treatment offers an intuitive approach, featuring informal discussions followed by thematically arranged exercises. Intended for undergraduate courses in abstract algebra, it is suitable for junior- and senior-level math majors and future math teachers. This second edition features additional exercises to improve student familiarity with applications. An introductory chapter traces concepts of abstract algebra from their historical roots. Succeeding chapters avoid the conventional format of definition-theorem-proof-corollary-example; instead, they take the form of a discussion with students, focusing on explanations and offering motivation. Each chapter rests upon a central theme, usually a specific application or use. The author provides elementary background as needed and discusses standard topics in their usual order. He introduces many advanced and peripheral subjects in the plentiful exercises, which are accompanied by ample instruction and commentary and offer a wide range of experiences to students at different levels of ability.

Social and Economic Networks


Matthew O. Jackson - 2008
    The many aspects of our lives that are governed by social networks make it critical to understand how they impact behavior, which network structures are likely to emerge in a society, and why we organize ourselves as we do. In Social and Economic Networks, Matthew Jackson offers a comprehensive introduction to social and economic networks, drawing on the latest findings in economics, sociology, computer science, physics, and mathematics. He provides empirical background on networks and the regularities that they exhibit, and discusses random graph-based models and strategic models of network formation. He helps readers to understand behavior in networked societies, with a detailed analysis of learning and diffusion in networks, decision making by individuals who are influenced by their social neighbors, game theory and markets on networks, and a host of related subjects. Jackson also describes the varied statistical and modeling techniques used to analyze social networks. Each chapter includes exercises to aid students in their analysis of how networks function.This book is an indispensable resource for students and researchers in economics, mathematics, physics, sociology, and business.

The Unimaginable Mathematics of Borges' Library of Babel


William Goldbloom Bloch - 2008
    Now, in The Unimaginable Mathematics of Borges' Library of Babel, William Goldbloom Bloch takes readers on a fascinating tour of the mathematical ideas hiddenwithin one of the classic works of modern literature.Written in the vein of Douglas R. Hofstadter's Pulitzer Prize-winning G�del, Escher, Bach, this original and imaginative book sheds light on one of Borges' most complex, richly layered works. Bloch begins each chapter with a mathematical idea--combinatorics, topology, geometry, informationtheory--followed by examples and illustrations that put flesh on the theoretical bones. In this way, he provides many fascinating insights into Borges' Library. He explains, for instance, a straightforward way to calculate how many books are in the Library--an easily notated but literallyunimaginable number--and also shows that, if each book were the size of a grain of sand, the entire universe could only hold a fraction of the books in the Library. Indeed, if each book were the size of a proton, our universe would still not be big enough to hold anywhere near all the books.Given Borges' well-known affection for mathematics, this exploration of the story through the eyes of a humanistic mathematician makes a unique and important contribution to the body of Borgesian criticism. Bloch not only illuminates one of the great short stories of modern literature but alsoexposes the reader--including those more inclined to the literary world--to many intriguing and entrancing mathematical ideas.