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


logic-programming
logic
computer-science
compsci

How Math Explains the World: A Guide to the Power of Numbers, from Car Repair to Modern Physics


James D. Stein - 2008
    In the four main sections of the book, Stein tells the stories of the mathematical thinkers who discerned some of the most fundamental aspects of our universe. From their successes and failures, delusions, and even duels, the trajectories of their innovations—and their impact on society—are traced in this fascinating narrative. Quantum mechanics, space-time, chaos theory and the workings of complex systems, and the impossibility of a "perfect" democracy are all here. Stein's book is both mind-bending and practical, as he explains the best way for a salesman to plan a trip, examines why any thought you could have is imbedded in the number π , and—perhaps most importantly—answers one of the modern world's toughest questions: why the garage can never get your car repaired on time.Friendly, entertaining, and fun, How Math Explains the World is the first book by one of California's most popular math teachers, a veteran of both "math for poets" and Princeton's Institute for Advanced Studies. And it's perfect for any reader wanting to know how math makes both science and the world tick.

Introduction To Chemical Engineering


J.T. Banchero W.L. Badger
    

Data Science


John D. Kelleher - 2018
    Today data science determines the ads we see online, the books and movies that are recommended to us online, which emails are filtered into our spam folders, and even how much we pay for health insurance. This volume in the MIT Press Essential Knowledge series offers a concise introduction to the emerging field of data science, explaining its evolution, current uses, data infrastructure issues, and ethical challenges.It has never been easier for organizations to gather, store, and process data. Use of data science is driven by the rise of big data and social media, the development of high-performance computing, and the emergence of such powerful methods for data analysis and modeling as deep learning. Data science encompasses a set of principles, problem definitions, algorithms, and processes for extracting non-obvious and useful patterns from large datasets. It is closely related to the fields of data mining and machine learning, but broader in scope. This book offers a brief history of the field, introduces fundamental data concepts, and describes the stages in a data science project. It considers data infrastructure and the challenges posed by integrating data from multiple sources, introduces the basics of machine learning, and discusses how to link machine learning expertise with real-world problems. The book also reviews ethical and legal issues, developments in data regulation, and computational approaches to preserving privacy. Finally, it considers the future impact of data science and offers principles for success in data science projects.

The New Hacker's Dictionary


Eric S. Raymond - 1991
    Historically and etymologically richer than its predecessor, it supplies additional background on existing entries and clarifies the murky origins of several important jargon terms (overturning a few long-standing folk etymologies) while still retaining its high giggle value.Sample definitionhacker n. [originally, someone who makes furniture with an axe] 1. A person who enjoys exploring the details of programmable systems and how to stretch their capabilities, as opposed to most users, who prefer to learn only the minimum necessary. 2. One who programs enthusiastically (even obsessively) or who enjoys programming rather than just theorizing about programming. 3. A person capable of appreciating {hack value}. 4. A person who is good at programming quickly. 5. An expert at a particular program, or one who frequently does work using it or on it; as in `a UNIX hacker'. (Definitions 1 through 5 are correlated, and people who fit them congregate.) 6. An expert or enthusiast of any kind. One might be an astronomy hacker, for example. 7. One who enjoys the intellectual challenge of creatively overcoming or circumventing limitations. 8. [deprecated] A malicious meddler who tries to discover sensitive information by poking around. Hence `password hacker', `network hacker'. The correct term is {cracker}.The term 'hacker' also tends to connote membership in the global community defined by the net (see {network, the} and {Internet address}). It also implies that the person described is seen to subscribe to some version of the hacker ethic (see {hacker ethic, the}).It is better to be described as a hacker by others than to describe oneself that way. Hackers consider themselves something of an elite (a meritocracy based on ability), though one to which new members are gladly welcome. There is thus a certain ego satisfaction to be had in identifying yourself as a hacker (but if you claim to be one and are not, you'll quickly be labeled {bogus}). See also {wannabee}.

An Introduction to Probability and Inductive Logic


Ian Hacking - 2001
    The book has been designed to offer maximal accessibility to the widest range of students (not only those majoring in philosophy) and assumes no formal training in elementary symbolic logic. It offers a comprehensive course covering all basic definitions of induction and probability, and considers such topics as decision theory, Bayesianism, frequency ideas, and the philosophical problem of induction. The key features of the book are: * A lively and vigorous prose style* Lucid and systematic organization and presentation of the ideas* Many practical applications* A rich supply of exercises drawing on examples from such fields as psychology, ecology, economics, bioethics, engineering, and political science* Numerous brief historical accounts of how fundamental ideas of probability and induction developed.* A full bibliography of further reading Although designed primarily for courses in philosophy, the book could certainly be read and enjoyed by those in the social sciences (particularly psychology, economics, political science and sociology) or medical sciences such as epidemiology seeking a reader-friendly account of the basic ideas of probability and induction. Ian Hacking is University Professor, University of Toronto. He is Fellow of the Royal Society of Canada, Fellow of the British Academy, and Fellow of the American Academy of Arts and Sciences. he is author of many books including five previous books with Cambridge (The Logic of Statistical Inference, Why Does Language Matter to Philosophy?, The Emergence of Probability, Representing and Intervening, and The Taming of Chance).

Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists


Dennis E. Shasha - 1995
    The latter half of our century has seen its own Renaissance - informations technology has changed irrevocable the way we live, work, and think about the world. We are fortunate, therefore, that the authors of Out of Their Minds have been able to talk so candidly with the founders of computer science. In Out of their Minds, readers will hear the Newtons and Euclids of the computer age as they talk about their discoveries in information technology that have changed forever the way we live, work, and think about the world. Based on interviews by freelance writer Cathy Lazere and the expertise of computer scientist Dennis Shasha, Out of their Minds introduces readers to fifteen of the planet's foremost computer scientists, including eight winners of the Turing Award, computing's Nobel Prize. The scientists reveal themselves in fascinating anecdotes about their early inspirations and influences, their contributions to computer science, and their thoughts on its explosive future. These are the programmers whose work

Objects First with Java: A Practical Introduction Using BlueJ


David J. Barnes - 2002
    It takes a truly objects first approach to teaching problem solving using Java. These are complicated concepts so the book uses the development environment BlueJ to help the student's understanding. BlueJ has a strong emphasis on visualization and interaction techniques, and allows the students to manipulate objects and call methods as a first exercise. BlueJ is free and freely available, and has been developed specifically for teaching. The book is loaded with projects so that the student can really get a grip on actually solving problems; and it takes a spiral approach , introducing a topic in a simple context early on, then revisiting it later in the book to deepen understanding. It also comes with a CD containing JDK, BlueJ, a BlueJ tutorial and code for all the projects. The website contains style guide for all examples, PowerPoints for lecturers and also a Solutions Manual.

Algebra


Michael Artin - 1991
    Linear algebra is tightly integrated into the text.

Move up


Clotaire Rapaille - 2013
    Si todos debemos movernos para sobrevivir, vale la pena preguntarse: ¿qué factores de nuestro entorno nos impulsan a movernos y cuáles, por el contrario, nos detienen? ¿Por qué algunas personas tienen la oportunidad de moverse hacia donde quieren y otras no? ¿Por qué ciertas sociedades evolucionan y otras no? Para responder a estas interrogantes, los autores del libro estudiaron los códigos culturales y el comportamiento Bio-Lógico de 71 países para desarrollar un índice de que permite medir la movilidad social dentro de estas sociedades.Andrés Roemer y Clotaire Rapaille señalan que las culturas más exitosas son aquellas que han sabido preservar los mejores aspectos de su tradición, al mismo tiempo que han estado dispuestas a innovar y buscar nuevos horizontes. Se trata de sociedades abiertas al cambio y sin temor al statu quo. Otra clave del éxito evolutivo de las sociedades es el equilibrio entre el aspecto biológico (determinado por cuatro factores: supervivencia, sexo, seguridad y superación) y el aspecto cultural. El reto, concluyen los autores, es aprender a armonizar nuestros instintos (nuestro cerebro reptiliano) con nuestras emociones (nuestro cerebro límbico) y nuestra lógica (el neocórtex).ENGLISH DESCRIPTION If we all know we must move to survive, shouldn’t we ask ourselves which factors in our environment propel us and which halt us? Why do certain societies evolve while others don’t? In this book, Andrés Roemer and Clotaire Rapaille point out that the most successful cultures are those that are not afraid of the status quo: they have learned to preserve the best qualities of their traditions while being open to innovation and to uncovering new horizons. Another key to the success of these societies is the equilibrium between biological and the cultural aspects. The challenge is to harmonize our instincts, our emotions, and our logic.

King of Infinite Space: Donald Coxeter, the Man Who Saved Geometry


Siobhan Roberts - 2006
    Yet geometry is so much more than shapes and numbers; indeed, it governs much of our lives—from architecture and microchips to car design, animated movies, the molecules of food, even our own body chemistry. And as Siobhan Roberts elegantly conveys in The King of Infinite Space, there can be no better guide to the majesty of geometry than Donald Coxeter, perhaps the greatest geometer of the twentieth century.Many of the greatest names in intellectual history—Pythagoras, Plato, Archimedes, Euclid— were geometers, and their creativity and achievements illuminate those of Coxeter, revealing geometry to be a living, ever-evolving endeavor, an intellectual adventure that has always been a building block of civilization. Coxeter's special contributions—his famed Coxeter groups and Coxeter diagrams—have been called by other mathematicians "tools as essential as numbers themselves," but his greatest achievement was to almost single-handedly preserve the tradition of classical geometry when it was under attack in a mathematical era that valued all things austere and rational.Coxeter also inspired many outside the field of mathematics. Artist M. C. Escher credited Coxeter with triggering his legendary Circle Limit patterns, while futurist/inventor Buckminster Fuller acknowledged that his famed geodesic dome owed much to Coxeter's vision. The King of Infinite Space is an elegant portal into the fascinating, arcane world of geometry.

Digital Image Processing


Rafael C. Gonzalez - 1977
    Completely self-contained, heavily illustrated, and mathematically accessible, it has a scope of application that is not limited to the solution of specialized problems. Digital Image Fundamentals. Image Enhancement in the Spatial Domain. Image Enhancement in the Frequency Domain. Image Restoration. Color Image Processing. Wavelets and Multiresolution Processing. Image Compression. Morphological Image Processing. Image Segmentation. Representation and Description. Object Recognition.

The Money Formula: Dodgy Finance, Pseudo Science, and How Mathematicians Took Over the Markets


Paul Wilmott - 2017
    Written not from a post-crisis perspective – but from a preventative point of view – this book traces the development of financial derivatives from bonds to credit default swaps, and shows how mathematical formulas went beyond pricing to expand their use to the point where they dwarfed the real economy. You'll learn how the deadly allure of their ice-cold beauty has misled generations of economists and investors, and how continued reliance on these formulas can either assist future economic development, or send the global economy into the financial equivalent of a cardiac arrest. Rather than rehash tales of post-crisis fallout, this book focuses on preventing the next one. By exploring the heart of the shadow economy, you'll be better prepared to ride the rough waves of finance into the turbulent future. Delve into one of the world's least-understood but highest-impact industries Understand the key principles of quantitative finance and the evolution of the field Learn what quantitative finance has become, and how it affects us all Discover how the industry's next steps dictate the economy's future How do you create a quadrillion dollars out of nothing, blow it away and leave a hole so large that even years of "quantitative easing" can't fill it – and then go back to doing the same thing? Even amidst global recovery, the financial system still has the potential to seize up at any moment. The Money Formula explores the how and why of financial disaster, what must happen to prevent the next one.

The Fabulous Fibonacci Numbers


Alfred S. Posamentier - 2007
    In this simple pattern beginning with two ones, each succeeding number is the sum of the two numbers immediately preceding it (1, 1, 2, 3, 5, 8, 13, 21, ad infinitum). Far from being just a curiosity, this sequence recurs in structures found throughout nature - from the arrangement of whorls on a pinecone to the branches of certain plant stems. All of which is astounding evidence for the deep mathematical basis of the natural world. With admirable clarity, two veteran math educators take us on a fascinating tour of the many ramifications of the Fibonacci numbers. They begin with a brief history of a distinguished Italian discoverer, who, among other accomplishments, was responsible for popularizing the use of Arabic numerals in the West. Turning to botany, the authors demonstrate, through illustrative diagrams, the unbelievable connections between Fibonacci numbers and natural forms (pineapples, sunflowers, and daisies are just a few examples). In art, architecture, the stock market, and other areas of society and culture, they point out numerous examples of the Fibonacci sequence as well as its derivative, the "golden ratio." And of course in mathematics, as the authors amply demonstrate, there are almost boundless applications in probability, number theory, geometry, algebra, and Pascal's triangle, to name a few.Accessible and appealing to even the most math-phobic individual, this fun and enlightening book allows the reader to appreciate the elegance of mathematics and its amazing applications in both natural and cultural settings.

13 Journeys Through Space and Time: Christmas Lectures from the Royal Institution


Colin Stuart - 2016
    With a foreword by ESA astronaut Tim Peake.Started at the Royal Institution (RI) in 1825 by Michael Faraday, the Christmas Lectures have been broadcast on television since the 1960s and have formed part of the British Christmas tradition for generations. First devised to attract young people to the magic of science through spectacular demonstrations, they are now watched by millions of people around the world every year.Drawing on the incredible archive at the RI, which is packed full of handwritten notebooks, photographs and transcripts, this book will focus on thirteen of the most captivating Lectures given at the RI on space and time, taking a look at what we thought we knew then and what has been discovered since.

Entropy Demystified: The Second Law Reduced To Plain Common Sense


Arieh Ben-Naim - 2007
    The author paves the way for readers to discover for themselves what entropy is, how it changes, and most importantly, why it always changes in one direction in a spontaneous process.