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


logic-programming
logic
computer-science
software-general

Mathematics In The Modern World: Readings From Scientific American


Morris Kline - 1968
    

Gödel, Escher, Bach


Agnes F. Vandome - 2010
    C. Escher and composer Johann Sebastian Bach, discussing common themes in their work and lives. At a deeper level, the book is a detailed and subtle exposition of concepts fundamental to mathematics, symmetry, and intelligence. Through illustration and analysis, the book discusses how self-reference and formal rules allow systems to acquire meaning despite being made of "meaningless" elements. It also discusses what it means to communicate, how knowledge can be represented and stored, the methods and limitations of symbolic representation, and even the fundamental notion of "meaning" itself. In response to confusion over the book's theme, Hofstadter has emphasized that GEB is not about mathematics, art, and music but rather about how cognition and thinking emerge from well-hidden neurological mechanisms.

American Legends: The Life of Doris Day


Charles River Editors - 2013
    *Includes Day's quotes about her life and career. *Includes a bibliography for further reading. *Includes a table of contents. “I’ve been through everything. I always said I was like those round-bottomed circus dolls — you know, those dolls you could push down and they’d come back up? I’ve always been like that. I’ve always said, ‘No matter what happens, if I get pushed down, I’m going to come right back up.’” – Doris Day A lot of ink has been spilled covering the lives of history’s most influential figures, but how much of the forest is lost for the trees? In Charles River Editors’ American Legends series, readers can get caught up to speed on the lives of America’s most important men and women in the time it takes to finish a commute, while learning interesting facts long forgotten or never known. It goes without saying that few people have a career spanning 8 decades, yet that claim to fame is occupied by the legendary Doris Day, who got her start in show business as a singer in a big band in 1939 and has not let up since. From there, Day went on to record dozens of albums and hundreds of songs, winning a countless number of awards on the way to being one of the 20th century’s most popular singers. One of those recognitions came just a few years ago in 2011, when Day, by that time nearing 90 years old, released a new album that charted 9th in the UK Top 40 Albums, making her the oldest singer ever with that distinction. Her musical career would’ve been impressive enough, but Doris Day is just as well known today for her film career, which wasn’t so bad itself. Though her time in Hollywood was much shorter in comparison to her music career, she nevertheless managed to reach the top in that industry as well. As one of the most popular actresses of the ‘60s, Day was the biggest box office draw in Hollywood in the early half of that decade, and the only woman among the Top 10. In the process of making nearly 40 movies, Day would eventually be recognized as the highest grossing actress in history, and at the same time she was good enough at her craft to be nominated for an Oscar for Best Actress. Amazingly, despite her incredible success in both music and film, Day eventually found herself bankrupt due to the mismanagement of her money by her husband, compelling her to reinvent herself as the host of a popular television sitcom. Perhaps not surprisingly, Day excelled in this field as well, making The Doris Day Show one of the most popular shows on television for several years at the end of the ‘60s. American Legends: The Life of Doris Day examines the life and career of one of the entertainment industry’s biggest stars. Along with pictures of important people, places, and events, you will learn about Doris Day like never before, in no time at all.

Discrete Mathematical Structures


Bernard Kolman - 1995
    It covers areas such as fundamentals, logic, counting, relations and digraphs, trees, topics in graph theory, languages and finite-state machines, and groups and coding.

Godel: A Life Of Logic, The Mind, And Mathematics


John L. Casti - 2000
    His Incompleteness Theorem turned not only mathematics but also the whole world of science and philosophy on its head. Equally legendary were Gö's eccentricities, his close friendship with Albert Einstein, and his paranoid fear of germs that eventually led to his death from self-starvation. Now, in the first popular biography of this strange and brilliant thinker, John Casti and Werner DePauli bring the legend to life. After describing his childhood in the Moravian capital of Brno, the authors trace the arc of Gö's remarkable career, from the famed Vienna Circle, where philosophers and scientists debated notions of truth, to the Institute for Advanced Study in Princeton, New Jersey, where he lived and worked until his death in 1978. In the process, they shed light on Gö's contributions to mathematics, philosophy, computer science, artificial intelligence -- even cosmology -- in an entertaining and accessible way.

OS X 10.10 Yosemite: The Ars Technica Review


John Siracusa - 2014
    Siracusa's overview, wrap-up, and critique of everything new in OS X 10.10 Yosemite.

Elementary Number Theory and Its Applications


Kenneth H. Rosen - 1984
    The Fourth Edition builds on this strength with new examples, additional applications and increased cryptology coverage. Up-to-date information on the latest discoveries is included.Elementary Number Theory and Its Applications provides a diverse group of exercises, including basic exercises designed to help students develop skills, challenging exercises and computer projects. In addition to years of use and professor feedback, the fourth edition of this text has been thoroughly accuracy checked to ensure the quality of the mathematical content and the exercises.

Google Hacking: An Ethical Hacking Guide To Google


Ankit Fadia - 2007
    Google Hacking teaches people how to get the most out of this revolutionary search engine. Not only will this book teach readers how Google works, but it will also empower them with the necessary skills to make their everyday searches easier, more efficient, and more productive. Google Hacking also demonstrates how Google can be used for negative means. It's immense searching power, means that everyone, including cyber criminals, can feasibly access confidential data, such as company presentations, budgets, blueprints, even credit card numbers, with just the click of a mouse. Using numerous examples, case studies, and screenshots, this book explains the art of ethical Google Hacking -- it not only teaches readers how Google works, but it provides them with the knowledge they need to protect their data and systems from getting Google Hacked. This is the only book you need to maximize (and protect yourself) from Google searches!

Computer Science Illuminated


Nell B. Dale - 2002
    Written By Two Of Today'S Most Respected Computer Science Educators, Nell Dale And John Lewis, The Text Provides A Broad Overview Of The Many Aspects Of The Discipline From A Generic View Point. Separate Program Language Chapters Are Available As Bundle Items For Those Instructors Who Would Like To Explore A Particular Programming Language With Their Students. The Many Layers Of Computing Are Thoroughly Explained Beginning With The Information Layer, Working Through The Hardware, Programming, Operating Systems, Application, And Communication Layers, And Ending With A Discussion On The Limitations Of Computing. Perfect For Introductory Computing And Computer Science Courses, Computer Science Illuminated, Third Edition's Thorough Presentation Of Computing Systems Provides Computer Science Majors With A Solid Foundation For Further Study, And Offers Non-Majors A Comprehensive And Complete Introduction To Computing.

Book of Proof


Richard Hammack - 2009
    It is a bridge from the computational courses (such as calculus or differential equations) that students typically encounter in their first year of college to a more abstract outlook. It lays a foundation for more theoretical courses such as topology, analysis and abstract algebra. Although it may be more meaningful to the student who has had some calculus, there is really no prerequisite other than a measure of mathematical maturity. Topics include sets, logic, counting, methods of conditional and non-conditional proof, disproof, induction, relations, functions and infinite cardinality.

Lectures on the Foundations of Mathematics, Cambridge 1939


Ludwig Wittgenstein - 1989
    A lecture class taught by Wittgenstein, however, hardly resembled a lecture. He sat on a chair in the middle of the room, with some of the class sitting in chairs, some on the floor. He never used notes. He paused frequently, sometimes for several minutes, while he puzzled out a problem. He often asked his listeners questions and reacted to their replies. Many meetings were largely conversation. These lectures were attended by, among others, D. A. T. Gasking, J. N. Findlay, Stephen Toulmin, Alan Turing, G. H. von Wright, R. G. Bosanquet, Norman Malcolm, Rush Rhees, and Yorick Smythies. Notes taken by these last four are the basis for the thirty-one lectures in this book. The lectures covered such topics as the nature of mathematics, the distinctions between mathematical and everyday languages, the truth of mathematical propositions, consistency and contradiction in formal systems, the logicism of Frege and Russell, Platonism, identity, negation, and necessary truth. The mathematical examples used are nearly always elementary.

104 Number Theory Problems: From the Training of the USA IMO Team


Titu Andreescu - 2006
    Offering inspiration and intellectual delight, the problems throughout the book encourage students to express their ideas in writing to explain how they conceive problems, what conjectures they make, and what conclusions they reach. Applying specific techniques and strategies, readers will acquire a solid understanding of the fundamental concepts and ideas of number theory.

Bayes Theorem Examples: An Intuitive Guide


Scott Hartshorn - 2016
    Essentially, you are estimating a probability, but then updating that estimate based on other things that you know. This book is designed to give you an intuitive understanding of how to use Bayes Theorem. It starts with the definition of what Bayes Theorem is, but the focus of the book is on providing examples that you can follow and duplicate. Most of the examples are calculated in Excel, which is useful for updating probability if you have dozens or hundreds of data points to roll in.

Engineering Mathematics


S.R.K. Iyengar - 2007
    Based on the experience of the authors in teaching Mathematics Courses for almost four decades at the Institute of Technology, New Delhi, this text book rather than a guide/problem book, lays emphasis on the presentation of fundamentals and theoretical concepts in an intelligible and easy to understand manner.

The Particles of the Universe


Jeff Yee - 2012
    Everything around us, including matter, is energy. A deep look into the mysteries of the subatomic world – the particles that make up the atom – provides answers to basic questions about how the universe works. To solve the future of mankind’s energy needs we need to understand the basic building blocks of the universe, including the atom and its parts. By exploring the subatomic world we’ll find more answers to our questions about time, forces like gravity and the matter that surrounds us. More importantly, we’ll find new ways to tap into the energy that exists around us to power our growing needs. In a new branch of particle physics, where tiny particles are thought of as energy waves, we find new answers that may help us in our quest to find alternative energy sources.