Book picks similar to
From Logic to Logic Programming by Kees Doets


logic-programming
computer-science
logic
software-general

Software Design Decoded: 66 Ways Experts Think


Marian Petre - 2016
    Expert software designers have specific habits, learned practices, and observed principles that they apply deliberately during their design work. This book offers sixty-six insights, distilled from years of studying experts at work, that capture what successful software designers actually do to create great software.The book presents these insights in a series of two-page illustrated spreads, with the principle and a short explanatory text on one page, and a drawing on the facing page. For example, "Experts generate alternatives" is illustrated by the same few balloons turned into a set of very different balloon animals. The text is engaging and accessible; the drawings are thought-provoking and often playful.Organized into such categories as "Experts reflect," "Experts are not afraid," and "Experts break the rules," the insights range from "Experts prefer simple solutions" to "Experts see error as opportunity." Readers learn that "Experts involve the user"; "Experts take inspiration from wherever they can"; "Experts design throughout the creation of software"; and "Experts draw the problem as much as they draw the solution."One habit for an aspiring expert software designer to develop would be to read and reread this entertaining but essential little book. The insights described offer a guide for the novice or a reference for the veteran--in software design or any design profession.A companion web site provides an annotated bibliography that compiles key underpinning literature, the opportunity to suggest additional insights, and more.

How Linux Works: What Every Superuser Should Know


Brian Ward - 2004
    Some books try to give you copy-and-paste instructions for how to deal with every single system issue that may arise, but How Linux Works actually shows you how the Linux system functions so that you can come up with your own solutions. After a guided tour of filesystems, the boot sequence, system management basics, and networking, author Brian Ward delves into open-ended topics such as development tools, custom kernels, and buying hardware, all from an administrator's point of view. With a mixture of background theory and real-world examples, this book shows both "how" to administer Linux, and "why" each particular technique works, so that you will know how to make Linux work for you.

A Brief History of Mathematical Thought: Key concepts and where they come from


Luke Heaton - 2015
    In A Brief History of Mathematical Thought, Luke Heaton explores how the language of mathematics has evolved over time, enabling new technologies and shaping the way people think. From stone-age rituals to algebra, calculus, and the concept of computation, Heaton shows the enormous influence of mathematics on science, philosophy and the broader human story. The book traces the fascinating history of mathematical practice, focusing on the impact of key conceptual innovations. Its structure of thirteen chapters split between four sections is dictated by a combination of historical and thematic considerations. In the first section, Heaton illuminates the fundamental concept of number. He begins with a speculative and rhetorical account of prehistoric rituals, before describing the practice of mathematics in Ancient Egypt, Babylon and Greece. He then examines the relationship between counting and the continuum of measurement, and explains how the rise of algebra has dramatically transformed our world. In the second section, he explores the origins of calculus and the conceptual shift that accompanied the birth of non-Euclidean geometries. In the third section, he examines the concept of the infinite and the fundamentals of formal logic. Finally, in section four, he considers the limits of formal proof, and the critical role of mathematics in our ongoing attempts to comprehend the world around us. The story of mathematics is fascinating in its own right, but Heaton does more than simply outline a history of mathematical ideas. More importantly, he shows clearly how the history and philosophy of maths provides an invaluable perspective on human nature.

How to Change Your Mind: What the New Science of Psychedelics


Zhivko - 2018
    

Thinking in C++


Bruce Eckel - 1995
    It shows readers how to step back from coding to consider design strategies and attempt to get into the head of the designer.

Atheism 101: Answers, Explanations and Rebuttals


Grigory Lukin - 2011
    What is the meaning of life? What was Hitler's religion? What's the deal with the Flying Spaghetti Monster? And what was Mother Teresa's dark secret? This book is highly recommended for everyone curious about America's most misunderstood minority, as well as for those who wish to better understand their atheist friends, neighbors or coworkers.

Archimedes' Revenge: The Joys and Perils of Mathematics


Paul Hoffman - 1988
    An extremely clever account.--The New Yorker.

Common Sense, the Turing Test, and the Quest for Real AI


Hector J. Levesque - 2017
    AI is all the rage, and the buzziest AI buzz surrounds adaptive machine learning computer systems that learn intelligent behavior from massive amounts of data. This is what powers a driverless car, for example. In this book, Hector Levesque shifts the conversation to -good old fashioned artificial intelligence, - which is based not on heaps of data but on understanding commonsense intelligence. This kind of artificial intelligence is equipped to handle situations that depart from previous patterns -- as we do in real life, when, for example, we encounter a washed-out bridge or when the barista informs us there's no more soy milk.Levesque considers the role of language in learning. He argues that a computer program that passes the famous Turing Test could be a mindless zombie, and he proposes another way to test for intelligence -- the Winograd Schema Test, developed by Levesque and his colleagues. -If our goal is to understand intelligent behavior, we had better understand the difference between making it and faking it, - he observes. He identifies a possible mechanism behind common sense and the capacity to call on background knowledge: the ability to represent objects of thought symbolically. As AI migrates more and more into everyday life, we should worry if systems without common sense are making decisions where common sense is needed.

A Textbook Of Discrete Mathematics


Swapan Kumar Sarkar
    

Becoming Human: Our Past, Present and Future


Scientific American - 2013
    

Pure Mathematics: A First Course


J.K. Backhouse - 1974
    This well-established two-book course is designed for class teaching and private study leading to GCSE examinations in mathematics and further Mathematics at A Level.

Advanced Programming in the UNIX Environment


W. Richard Stevens - 1992
    Rich Stevens describes more than 200 system calls and functions; since he believes the best way to learn code is to read code, a brief example accompanies each description.Building upon information presented in the first 15 chapters, the author offers chapter-long examples teaching you how to create a database library, a PostScript printer driver, a modem dialer, and a program that runs other programs under a pseudo terminal. To make your analysis and understanding of this code even easier, and to allow you to modify it, all of the code in the book is available via UUNET.A 20-page appendix provides detailed function prototypes for all the UNIX, POSIX, and ANSI C functions that are described in the book, and lists the page on which each prototype function is described in detail. Additional tables throughout the text and a thorough index make Advanced Programming in the UNIX Environment an invaluable reference tool that all UNIX programmers - beginners to experts - w

Shenzhen Superstars: How China’s Smartest City is Challenging Silicon Valley


Johan Nylander - 2017
     It’s the story about how a Chinese fishing village became a global economic powerhouse of innovation and technology. Just four decades ago Shenzhen was a backwater area, populated by fishermen and rice farmers. Today, it’s home to up to 20 million people and some of the world’s leading technology companies and most innovative tech startups. No other city better symbolizes the rise of modern China. And no other city challenges Silicon Valley more aggressively as the global hub for innovation and technology startups. In many ways, the Chinese city has already outsmarted the Valley. “Shenzhen has an energy of growth – the same energy I felt when I first came to Silicon Valley ten years ago. And it’s not just in technology. It’s this idea that whoever you are, whatever you’re into, you can come to China, and especially Shenzhen, and do it!” American entrepreneur Scotty Allen says in the book. Shenzhen Superstars is written for anyone who wants to be part of this raging growth story – no matter if you’re a tech buff, investor or just someone curious about knowing what’s driving the future. As a journalist for CNN, Forbes and other international media, Johan Nylander has witnessed the astonishing transformation of the south Chinese city. Its speed, energy and determination are just mind-blowing. His aim is to take you inside, to the very heart of what is shaping this vibrant city. KEY QUOTES FROM THE BOOK “In terms of hardware plus software innovation, Shenzhen is ahead of the curve.” – Jeffrey Towson, private equity investor and Peking University professor “The next ten years will be the era of robots and intelligent machines, and Shenzhen will play well to that.” – Jixun Foo, managing partner of GGV Capital “Shenzhen is just better than Silicon Valley in terms of hardware and software integration.” – Qin Li, CEO of startup Sennotech “If you’re not already in Shenzhen, you're crazy.” – Edith Yeung, general partner of 500 Startups

Quantum Computing Since Democritus


Scott Aaronson - 2013
    Full of insights, arguments and philosophical perspectives, the book covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory, computability and complexity theory, quantum computing, cryptography, the information content of quantum states and the interpretation of quantum mechanics. There are also extended discussions about time travel, Newcomb's Paradox, the anthropic principle and the views of Roger Penrose. Aaronson's informal style makes this fascinating book accessible to readers with scientific backgrounds, as well as students and researchers working in physics, computer science, mathematics and philosophy.

The Truth Machine: The Blockchain and the Future of Everything


Michael J. Casey - 2018
    The Truth Machine is the best book so far on what has happened and what may come along. It demands the attention of anyone concerned with our economic future." --Lawrence H. Summers, Charles W. Eliot University Professor and President Emeritus at Harvard, Former Treasury SecretaryFrom Michael J. Casey and Paul Vigna, the authors of The Age of Cryptocurrency, comes the definitive work on the Internet's Next Big Thing: The Blockchain.Big banks have grown bigger and more entrenched. Privacy exists only until the next hack. Credit card fraud is a fact of life. Many of the "legacy systems" once designed to make our lives easier and our economy more efficient are no longer up to the task. Yet there is a way past all this--a new kind of operating system with the potential to revolutionize vast swaths of our economy: the blockchain.In The Truth Machine, Michael J. Casey and Paul Vigna demystify the blockchain and explain why it can restore personal control over our data, assets, and identities; grant billions of excluded people access to the global economy; and shift the balance of power to revive society's faith in itself. They reveal the disruption it promises for industries including finance, tech, legal, and shipping.Casey and Vigna expose the challenge of replacing trusted (and not-so-trusted) institutions on which we've relied for centuries with a radical model that bypasses them. The Truth Machine reveals the empowerment possible when self-interested middlemen give way to the transparency of the blockchain, while highlighting the job losses, assertion of special interests, and threat to social cohesion that will accompany this shift. With the same balanced perspective they brought to The Age of Cryptocurrency, Casey and Vigna show why we all must care about the path that blockchain technology takes--moving humanity forward, not backward.