Elements of the Theory of Computation


Harry R. Lewis - 1981
    The authors are well-known for their clear presentation that makes the material accessible to a a broad audience and requires no special previous mathematical experience. KEY TOPICS: In this new edition, the authors incorporate a somewhat more informal, friendly writing style to present both classical and contemporary theories of computation. Algorithms, complexity analysis, and algorithmic ideas are introduced informally in Chapter 1, and are pursued throughout the book. Each section is followed by problems.

Automate This: How Algorithms Came to Rule Our World


Christopher Steiner - 2012
    It used to be that to diagnose an illness, interpret legal documents, analyze foreign policy, or write a newspaper article you needed a human being with specific skills—and maybe an advanced degree or two. These days, high-level tasks are increasingly being handled by algorithms that can do precise work not only with speed but also with nuance. These “bots” started with human programming and logic, but now their reach extends beyond what their creators ever expected. In this fascinating, frightening book, Christopher Steiner tells the story of how algorithms took over—and shows why the “bot revolution” is about to spill into every aspect of our lives, often silently, without our knowledge. The May 2010 “Flash Crash” exposed Wall Street’s reliance on trading bots to the tune of a 998-point market drop and $1 trillion in vanished market value. But that was just the beginning. In Automate This, we meet bots that are driving cars, penning haiku, and writing music mistaken for Bach’s. They listen in on our customer service calls and figure out what Iran would do in the event of a nuclear standoff. There are algorithms that can pick out the most cohesive crew of astronauts for a space mission or identify the next Jeremy Lin. Some can even ingest statistics from baseball games and spit out pitch-perfect sports journalism indistinguishable from that produced by humans. The interaction of man and machine can make our lives easier. But what will the world look like when algorithms control our hospitals, our roads, our culture, and our national security? What hap­pens to businesses when we automate judgment and eliminate human instinct? And what role will be left for doctors, lawyers, writers, truck drivers, and many others?  Who knows—maybe there’s a bot learning to do your job this minute.

Career Advice for Uniquely Ambitious People: A decision-making guide for uncommon success


Eric Jorgenson - 2018
    It's not likely to be advice you'll hear from anyone else. It is only about an hour to read, but the concepts will ring in your ears for years. [From the Book's Introduction] Many people have been incredibly generous to me throughout the first decade of my career. To return that good karma, I try to pay it forward… to be open and available for people who ask me for insight or advice or just have questions about where to go next. I find myself having many conversations about career decisions. Recently, many of these conversations have repeating many of the same pieces of advice. Over the years I’ve gotten enough positive feedback that publishing these thoughts seems worthwhile. After our conversations I’m often told that this advice was unique, counterintuitive, and valuable. That is a high compliment. And if more people would think the same, then I should put these thought somewhere more scalable and accessible. So, I’ve written them down here.

The Apollo Guidance Computer: Architecture And Operation (Springer Praxis Books / Space Exploration)


Frank O'Brien - 2010
    In the 1960s most computers filled an entire room, but the spacecraft's computer was required to be compact and low power. Although people today find it difficult to accept that it was possible to control a spacecraft using such a 'primitive' computer, it nevertheless had capabilities that are advanced even by today's standards.This is the first book to fully describe the Apollo guidance computer's architecture, instruction format and programs used by the astronauts. As a comprehensive account, it will span the disciplines of computer science, electrical and aerospace engineering. However, it will also be accessible to the 'space enthusiast'. In short, the intention is for this to be the definitive account of the Apollo guidance computer.Frank O'Brien's interest in the Apollo program began as a serious amateur historian. About 12 years ago, he began performing research and writing essays for the Apollo Lunar Surface Journal, and the Apollo Flight Journal. Much of this work centered on his primary interests, the Apollo Guidance Computer (AGC) and the Lunar Module. These Journals are generally considered the canonical online reference on the flights to the Moon. He was then asked to assist the curatorial staff in the creation of the Cradle of Aviation Museum, on Long Island, New York, where he helped prepare the Lunar Module simulator, a LM procedure trainer and an Apollo space suit for display. He regularly lectures on the Apollo computer and related topics to diverse groups, from NASA's computer engineering conferences, the IEEE/ACM, computer festivals and university student groups.

Algorithms to Live By: The Computer Science of Human Decisions


Brian Christian - 2016
    What should we do, or leave undone, in a day or a lifetime? How much messiness should we accept? What balance of new activities and familiar favorites is the most fulfilling? These may seem like uniquely human quandaries, but they are not: computers, too, face the same constraints, so computer scientists have been grappling with their version of such issues for decades. And the solutions they've found have much to teach us.In a dazzlingly interdisciplinary work, acclaimed author Brian Christian and cognitive scientist Tom Griffiths show how the algorithms used by computers can also untangle very human questions. They explain how to have better hunches and when to leave things to chance, how to deal with overwhelming choices and how best to connect with others. From finding a spouse to finding a parking spot, from organizing one's inbox to understanding the workings of memory, Algorithms to Live By transforms the wisdom of computer science into strategies for human living.

Bit by Bit: How P2P Is Freeing the World


Jeffrey Tucker - 2015
    Jeffrey Tucker, CLO of Liberty.me and Distinguished Fellow of the Foundation for Economic Education, argues that peer-to-peer technology is forging a new and brighter social, economic, and political order. People tend to look at innovations in isolation. Here is my new e-reader. Here is an app I like. Here is my new mobile device and computer. Even bitcoin is routinely analyzed and explained in terms of its properties as an alternative to national currencies, as if there were no more than that at stake.But actually there is a historical trajectory at work here, one that we can trace through its logic, implementation, and spread. It’s the same logic that led from the dial phone at the county store, operated by people pulling and plugging in wires, to the wireless smartphone in your pocket that contains the whole store of human knowledge. It’s all about technology in the service of individuation.Once you understand the driving ethos — voluntarism, creativity, networks, individual initiative — you can see the outlines of a new social structure emerging within our time, an order that defies a century of top-down planning and nation-state restrictionism.It is coming about not because of political reform. It is not any one person’s creation. It is not happening because a group of elite intellectuals advocated it. The new world is emerging organically, and messily, from the ground up, as an extension of unrelenting creativity and experimentation. In the end, it is emerging out of an anarchist order that no one in particular controls and no one in particular can fully understand."The building of universal prosperity is a process that unfolds bit by bit through decentralized decision making and improvements at the margin through trial-and-error. To continue this process, we need understanding, patience, and dreams. Jeffrey Tucker’s book is an excellent guide to all three.” ~ Patrick Byrne, CEO of Overstock.com, from the introduction. “In Bitcoin’s brief existence Jeffrey Tucker has become one of its leading proponents. In this book we can see exactly why. Many people think of bitcoin as just money, but Mr. Tucker is able to explain, in a way that is easily understandable by all, the tsunami of innovation that bitcoin is about to release upon the world.” ~ Roger Ver, Bitcoin investor, from the Foreword

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).

Types and Programming Languages


Benjamin C. Pierce - 2002
    The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

Space-time and beyond : toward an explanation of the unexplainable


Bob Toben - 1975
    Captioned cartoon drawings offering an overview of universal order as they deal with various phenomena are combined with scientific commentary

Quantum Enigma: Physics Encounters Consciousness


Bruce Rosenblum - 2006
    Can you believe that physical reality is created by our observation of it? Physicists were forced to this conclusion, the quantum enigma, by what they observed in their laboratories.Trying to understand the atom, physicists built quantum mechanics and found, to their embarrassment, that their theory intimately connects consciousness with the physical world. Quantum Enigma explores what that implies and why some founders of the theory became the foremost objectors to it. Schr�dinger showed that it absurdly allowed a cat to be in a superposition simultaneously dead and alive. Einstein derided the theory's spooky interactions. With Bell's Theorem, we now know Schr�dinger's superpositions and Einstein's spooky interactions indeed exist.Authors Bruce Rosenblum and Fred Kuttner explain all of this in non-technical terms with help from some fanciful stories and bits about the theory's developers. They present the quantum mystery honestly, with an emphasis on what is and what is not speculation.Physics' encounter with consciousness is its skeleton in the closet. Because the authors open the closet and examine the skeleton, theirs is a controversial book. Quantum Enigma's description of the experimental quantum facts, and the quantum theory explaining them, is undisputed. Interpreting what it all means, however, is controversial.Every interpretation of quantum physics encounters consciousness. Rosenblum and Kuttner therefore turn to exploring consciousness itself--and encounter quantum physics. Free will and anthropic principles become crucial issues, and the connection of consciousness with the cosmos suggested by some leading quantum cosmologists is mind-blowing.Readers are brought to a boundary where the particular expertise of physicists is no longer a sure guide. They will find, instead, the facts and hints provided by quantum mechanics and the ability to speculate for themselves.

The Age of Entanglement: When Quantum Physics Was Reborn


Louisa Gilder - 2008
    What happened during those years and what has happened since to refine the understanding of this phenomenon is the fascinating story told here.We move from a coffee shop in Zurich, where Einstein and Max von Laue discuss the madness of quantum theory, to a bar in Brazil, as David Bohm and Richard Feynman chat over cervejas. We travel to the campuses of American universities—from J. Robert Oppenheimer’s Berkeley to the Princeton of Einstein and Bohm to Bell’s Stanford sabbatical—and we visit centers of European physics: Copenhagen, home to Bohr’s famous institute, and Munich, where Werner Heisenberg and Wolfgang Pauli picnic on cheese and heady discussions of electron orbits.Drawing on the papers, letters, and memoirs of the twentieth century’s greatest physicists, Louisa Gilder both humanizes and dramatizes the story by employing their own words in imagined face-to-face dialogues. Here are Bohr and Einstein clashing, and Heisenberg and Pauli deciding which mysteries to pursue. We see Schrödinger and Louis de Broglie pave the way for Bell, whose work is here given a long-overdue revisiting. And with his characteristic matter-of-fact eloquence, Richard Feynman challenges his contemporaries to make something of this entanglement.

Symmetry: The Ordering Principle


David G. Wade - 2006
    In this little book Welsh writer and artist David Wade paints a picture of one of the most elusive and pervasive concepts known to man.

Computer Science: A Structured Approach Using C++


Behrouz A. Forouzan - 1999
    Every complete program uses a consistent style, and as programs are analyzed, styles and standards are further explained. Whenever possible, the authors develop the principle of a subject before they introduce the language implementation so the student understands the concept before dealing with the nuances of C++. In addition, a vast array of figures and tables visually reinforce key concepts. By integrating software engineering principles and encouraging the student to resist the temptation to immediately code, the text builds a solid foundation in problem solving.

Go To: The Story of the Math Majors, Bridge Players, Engineers, Chess Wizards, Maverick Scientists, and Iconoclasts-- the Programmers Who Created the Software Revolution


Steve Lohr - 2001
    Lohr maps out the unique seductions of programming, and gives us an intimate portrait of the peculiar kind of genius that is drawn to this blend of art, science, and engineering, introducing us to the movers and shakers of the 1950s and the open-source movement of today. With original reporting and deft storytelling, Steve Lohr shows us how software transformed the world, and what it holds in store for our future.

Discrete Mathematics


Richard Johnsonbaugh - 1984
    Focused on helping students understand and construct proofs and expanding their mathematical maturity, this best-selling text is an accessible introduction to discrete mathematics. Johnsonbaugh's algorithmic approach emphasizes problem-solving techniques. The Seventh Edition reflects user and reviewer feedback on both content and organization.