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

    How to Diagnose and Fix Everything Electronic shows you how to repair and extend the life of all kinds of solid-state devices, from modern digital gadgetry to cherished analog products of yesteryear.You'll start by selecting the tools and test equipment you'll need and setting up your workbench. Then, you'll get familiar with components and how they form circuits, stages, and sections of a device. Next, you'll learn how to take a product apart, figure out what's wrong with it, replace components, and reassemble it. Real-world case studies help clarify the topics covered. Tips and tricks for specific devices, such as optical disc players, computers, and video recorders, are also included in this practical resource.

    Advocates of NoSQL databases claim they can be used to build systems that are more performant, scale better, and are easier to program." ""NoSQL Distilled" is a concise but thorough introduction to this rapidly emerging technology. Pramod J. Sadalage and Martin Fowler explain how NoSQL databases work and the ways that they may be a superior alternative to a traditional RDBMS. The authors provide a fast-paced guide to the concepts you need to know in order to evaluate whether NoSQL databases are right for your needs and, if so, which technologies you should explore further. The first part of the book concentrates on core concepts, including schemaless data models, aggregates, new distribution models, the CAP theorem, and map-reduce. In the second part, the authors explore architectural and design issues associated with implementing NoSQL. They also present realistic use cases that demonstrate NoSQL databases at work and feature representative examples using Riak, MongoDB, Cassandra, and Neo4j. In addition, by drawing on Pramod Sadalage's pioneering work, "NoSQL Distilled" shows how to implement evolutionary design with schema migration: an essential technique for applying NoSQL databases. The book concludes by describing how NoSQL is ushering in a new age of Polyglot Persistence, where multiple data-storage worlds coexist, and architects can choose the technology best optimized for each type of data access.

    Large format diagrams show these objects exactly as they appear in a small telescope and for each object there is information on the current state of our astronomical knowledge. Revised and updated, this new edition contains a chapter with ten new spreads describing spectacular deep sky objects visible from the southern hemisphere, and tips on observing the upcoming transits of Venus. It also discusses Dobsonian telescopes, with hints on using personal computers and the Internet as aids for planning an observing session. Also new to this edition are redrawn Guidepost figures at the beginning of each season chapter that allow readers to visualize a three-dimensional view of the sky's dome; redesigned seasonal object layouts that provide more space for the naked-eye charts; a new spread on double stars near Bo�tes has been added to Spring, replacing the Shrinking Double spread; and a unique When and Where to Look table has been added to the last page, among other new features. Unlike many guides to the night sky, this book is specifically written for observers using small telescopes. Clear and easy to use, this fascinating book will appeal to skywatchers of all ages and backgrounds. No previous knowledge of astronomy is needed.

    These techniques deal with real programs and they are realistically illustrated, using the C and Awk languages. Bentley also provides the reader with some tricks of the programmer's trade, like a collection of rules of thumb and hints for finding simple solutions to hard problems.These essays also originally appeared in the author's column in Communication of the ACM, and have been substantially revised, incorporating new sections, problems, and reader comments.

    Equal parts personal, practical, and profound, Applied Minds charts a path to a future where we borrow strategies from engineering to find inspired solutions to our most pressing challenges.

      Statistics are everywhere, as integral to science as they are to business, and in the popular media hundreds of times a day. In this age of big data, a basic grasp of statistical literacy is more important than ever if we want to separate the fact from the fiction, the ostentatious embellishments from the raw evidence -- and even more so if we hope to participate in the future, rather than being simple bystanders. In The Art of Statistics, world-renowned statistician David Spiegelhalter shows readers how to derive knowledge from raw data by focusing on the concepts and connections behind the math. Drawing on real world examples to introduce complex issues, he shows us how statistics can help us determine the luckiest passenger on the Titanic, whether a notorious serial killer could have been caught earlier, and if screening for ovarian cancer is beneficial. The Art of Statistics not only shows us how mathematicians have used statistical science to solve these problems -- it teaches us how we too can think like statisticians. We learn how to clarify our questions, assumptions, and expectations when approaching a problem, and -- perhaps even more importantly -- we learn how to responsibly interpret the answers we receive. Combining the incomparable insight of an expert with the playful enthusiasm of an aficionado, The Art of Statistics is the definitive guide to stats that every modern person needs.

    How much do you know about farts?Did you know it would take just nine farts from every person on earth to power an atomic bomb? That fish farts nearly triggered a war against Russia? That female farts smell worse? No? Then you need this book!Did you know that inhaling farts is healthy, yet people fart after death? That you can get a job as a professional fart smeller? That farting is illegal in Africa but polite in South America? Heard any ancient Babylonian fart jokes lately? No? Then you need this book!Do you know the fartiest animal on earth? The fartiest food? Know how many farts you inhale on a cross-country flight? Can farts power astronauts through space? You don’t know? Then you need this book!Do you secretly think farts are not only funny, but fascinating? Then you absolutely need this gas-powered encyclopedia of fun and flatulent facts! Makes a perfect gag gift or bathroom read.Crack open a can of beans and become an expert in the windy and wacky science, history, and art of musical gas!

    Drawing heavily on the author's own real-world experiences, the book stresses design and analysis. Coverage is divided into two parts, the first being a general guide to techniques for the design and analysis of computer algorithms. The second is a reference section, which includes a catalog of the 75 most important algorithmic problems. By browsing this catalog, readers can quickly identify what the problem they have encountered is called, what is known about it, and how they should proceed if they need to solve it. This book is ideal for the working professional who uses algorithms on a daily basis and has need for a handy reference. This work can also readily be used in an upper-division course or as a student reference guide. THE ALGORITHM DESIGN MANUAL comes with a CD-ROM that contains: * a complete hypertext version of the full printed book. * the source code and URLs for all cited implementations. * over 30 hours of audio lectures on the design and analysis of algorithms are provided, all keyed to on-line lecture notes.

    * Enhanced sections throughout text provide much firmer foundation than the first edition. * Literature citations are given throughout for reference to additional material.

    If the idea of a computer science book without computers upsets you, please close your eyes until you’ve finished reading the rest of this page.The truth is that computer science is not really about the computer. It is just a tool to help you see ideas more clearly. You can see the moon and stars without a telescope, smell the flowers without a fluoroscope, have fun without a funoscope, and be silly sans oscilloscope.You can also play with computer science without... you-know-what. Ideas are the real stuff of computer science. This book is about those ideas, and how to find them.

    Intriguing, witty, paradoxical productions of one of the world's foremost creators of puzzles.This book was converted from its physical edition to the digital format by a community of volunteers. You may find it for free on the web. Purchase of the Kindle edition includes wireless delivery.

    With this hands-on guide, you'll learn how to write effective, idiomatic Python code by leveraging its best and possibly most neglected features. Author Luciano Ramalho takes you through Python's core language features and libraries, and shows you how to make your code shorter, faster, and more readable at the same time.Many experienced programmers try to bend Python to fit patterns they learned from other languages, and never discover Python features outside of their experience. With this book, those Python programmers will thoroughly learn how to become proficient in Python 3.This book covers:Python data model: understand how special methods are the key to the consistent behavior of objectsData structures: take full advantage of built-in types, and understand the text vs bytes duality in the Unicode ageFunctions as objects: view Python functions as first-class objects, and understand how this affects popular design patternsObject-oriented idioms: build classes by learning about references, mutability, interfaces, operator overloading, and multiple inheritanceControl flow: leverage context managers, generators, coroutines, and concurrency with the concurrent.futures and asyncio packagesMetaprogramming: understand how properties, attribute descriptors, class decorators, and metaclasses work"

    With a blend of software engineering facts and thought-provoking opinions, Fred Brooks offers insight for anyone managing complex projects. These essays draw from his experience as project manager for the IBM System/360 computer family and then for OS/360, its massive software system. Now, 45 years after the initial publication of his book, Brooks has revisited his original ideas and added new thoughts and advice, both for readers already familiar with his work and for readers discovering it for the first time.The added chapters contain (1) a crisp condensation of all the propositions asserted in the original book, including Brooks' central argument in The Mythical Man-Month: that large programming projects suffer management problems different from small ones due to the division of labor; that the conceptual integrity of the product is therefore critical; and that it is difficult but possible to achieve this unity; (2) Brooks' view of these propositions a generation later; (3) a reprint of his classic 1986 paper "No Silver Bullet"; and (4) today's thoughts on the 1986 assertion, "There will be no silver bullet within ten years."

    In the late 1920s, astronomers defeated this assumption with a startling new discovery. From Earth, the light of distant galaxies appeared to be red, meaning that those galaxies were receding from us. This led to the revolutionary realization that the universe is expanding. The Red Limit is the tale of this discovery, its ramifications, and the passionately competitive astronomers who charted the past, present, and future of the cosmos.