Book picks similar to
From Logic to Logic Programming by Kees Doets
logic-programming
computer-science
logic
add
Algebra II For Dummies
Mary Jane Sterling - 2004
To understand algebra is to possess the power to grow your skills and knowledge so you can ace your courses and possibly pursue further study in math. Algebra II For Dummies is the fun and easy way to get a handle on this subject and solve even the trickiest algebra problems. This friendly guide shows you how to get up to speed on exponential functions, laws of logarithms, conic sections, matrices, and other advanced algebra concepts. In no time you'll have the tools you need to:Interpret quadratic functions Find the roots of a polynomial Reason with rational functions Expose exponential and logarithmic functions Cut up conic sections Solve linear and non linear systems of equations Equate inequalities Simplifyy complex numbers Make moves with matrices Sort out sequences and sets This straightforward guide offers plenty of multiplication tricks that only math teachers know. It also profiles special types of numbers, making it easy for you to categorize them and solve any problems without breaking a sweat. When it comes to understanding and working out algebraic equations, Algebra II For Dummies is all you need to succeed!
How Many Socks Make a Pair?: Surprisingly Interesting Everyday Maths
Rob Eastaway - 2008
Using playing cards, a newspaper, the back of an envelope, a Sudoku, some pennies and of course a pair of socks, Rob Eastaway shows how maths can demonstrate its secret beauties in even the most mundane of everyday objects. Among the many fascinating curiosities in these pages, you will discover the strange link between limericks and rabbits, an apparently 'fair' coin game where the odds are massively in your favour, why tourist boards can't agree on where the centre of Britain is, and how simple paper folding can lead to a Jurassic Park monster. With plenty of ideas you'll want to test out for yourself, this engaging and refreshing look at mathematics is for everyone.
Introduction to Graph Theory
Richard J. Trudeau - 1994
This book leads the reader from simple graphs through planar graphs, Euler's formula, Platonic graphs, coloring, the genus of a graph, Euler walks, Hamilton walks, more. Includes exercises. 1976 edition.
The Science of Liberty: Democracy, Reason and the Laws of Nature
Timothy Ferris - 2010
In the grand tradition of such luminaries of the field as Bill Bryson, Richard Dawkins, and Oliver Sacks—as well as his own The Whole Shebang and Coming of Age in the Milky Way—Ferris has written a brilliant chronicle of how science sparked the spread of liberal democracy and transformed today’s world.
Top Knife: The Art and Craft of Trauma Surgery
Asher Hirshberg - 2004
Full of advice on how surgeons should use their heads as well as their hands - how to think, plan, and improvise - when, for example, operating on a massively bleeding trauma patient. Starts with general principles, continues with specific injuries to abdomen, chest, neck, and peripheral vessels. Generously illustrated throughout, with drawings produced specifically for this book. For residents, general surgeons with an interest in trauma, and for surgeons operating on badly wounded patients in isolated military, rural, or humanitarian settings. Asher Hirshberg and Kenneth L Mattox are trauma surgeons at the Ben Taub General Hospital, Houston, and professors at the Michael E DeBakey Department of Surgery, Baylor College of Medicine, Houston, USA. Kenneth L Maddox is famous as the lead editor of McGraw Hill's classic text, Trauma, now in its fifth edition. This is going to be a GREAT book!
Euclid in the Rainforest: Discovering Universal Truth in Logic and Math
Joseph Mazur - 2004
Underpinning both math and science, it is the foundation of every major advancement in knowledge since the time of the ancient Greeks. Through adventure stories and historical narratives populated with a rich and quirky cast of characters, Mazur artfully reveals the less-than-airtight nature of logic and the muddled relationship between math and the real world. Ultimately, Mazur argues, logical reasoning is not purely robotic. At its most basic level, it is a creative process guided by our intuitions and beliefs about the world.
Head First Data Analysis: A Learner's Guide to Big Numbers, Statistics, and Good Decisions
Michael G. Milton - 2009
If your job requires you to manage and analyze all kinds of data, turn to Head First Data Analysis, where you'll quickly learn how to collect and organize data, sort the distractions from the truth, find meaningful patterns, draw conclusions, predict the future, and present your findings to others. Whether you're a product developer researching the market viability of a new product or service, a marketing manager gauging or predicting the effectiveness of a campaign, a salesperson who needs data to support product presentations, or a lone entrepreneur responsible for all of these data-intensive functions and more, the unique approach in Head First Data Analysis is by far the most efficient way to learn what you need to know to convert raw data into a vital business tool. You'll learn how to:Determine which data sources to use for collecting information Assess data quality and distinguish signal from noise Build basic data models to illuminate patterns, and assimilate new information into the models Cope with ambiguous information Design experiments to test hypotheses and draw conclusions Use segmentation to organize your data within discrete market groups Visualize data distributions to reveal new relationships and persuade others Predict the future with sampling and probability models Clean your data to make it useful Communicate the results of your analysis to your audience Using the latest research in cognitive science and learning theory to craft a multi-sensory learning experience, Head First Data Analysis uses a visually rich format designed for the way your brain works, not a text-heavy approach that puts you to sleep.
From a Logical Point of View: Nine Logico-Philosophical Essays
Willard Van Orman Quine - 1953
At the same time adjacent portions of philosophy and logic are discussed. To the existence of what objects may a given scientific theory be said to be committed? And what considerations may suitably guide us in accepting or revising such ontological commitments? These are among the questions dealt with in this book, particular attention being devoted to the role of abstract entities in mathematics. There is speculation on the mechanism whereby objects of one sort or another come to be posited a process in which the notion of identity plays an important part."This volume of essays has a unity and bears throughout the imprint of Quine's powerful and original mind. It is written with the felicity in the choice of words which makes everything that Quine writes a pleasure to read, and which ranks him among the best contemporary writers on abstract subjects." (Cambridge Review)"Professor Quine's challenging and original views are here for the first time presented as a unity. The chief merit of the book is the heart-searching from which it arose and to which it will give rise. In vigour, conciseness, and clarity, it is characteristic of its author." (Oxford Magazine)
The Linux Programming Interface: A Linux and Unix System Programming Handbook
Michael Kerrisk - 2010
You'll learn how to:Read and write files efficiently Use signals, clocks, and timers Create processes and execute programs Write secure programs Write multithreaded programs using POSIX threads Build and use shared libraries Perform interprocess communication using pipes, message queues, shared memory, and semaphores Write network applications with the sockets API While The Linux Programming Interface covers a wealth of Linux-specific features, including epoll, inotify, and the /proc file system, its emphasis on UNIX standards (POSIX.1-2001/SUSv3 and POSIX.1-2008/SUSv4) makes it equally valuable to programmers working on other UNIX platforms.The Linux Programming Interface is the most comprehensive single-volume work on the Linux and UNIX programming interface, and a book that's destined to become a new classic.Praise for The Linux Programming Interface "If I had to choose a single book to sit next to my machine when writing software for Linux, this would be it." —Martin Landers, Software Engineer, Google "This book, with its detailed descriptions and examples, contains everything you need to understand the details and nuances of the low-level programming APIs in Linux . . . no matter what the level of reader, there will be something to be learnt from this book." —Mel Gorman, Author of Understanding the Linux Virtual Memory Manager "Michael Kerrisk has not only written a great book about Linux programming and how it relates to various standards, but has also taken care that bugs he noticed got fixed and the man pages were (greatly) improved. In all three ways, he has made Linux programming easier. The in-depth treatment of topics in The Linux Programming Interface . . . makes it a must-have reference for both new and experienced Linux programmers." —Andreas Jaeger, Program Manager, openSUSE, Novell "Michael's inexhaustible determination to get his information right, and to express it clearly and concisely, has resulted in a strong reference source for programmers. While this work is targeted at Linux programmers, it will be of value to any programmer working in the UNIX/POSIX ecosystem." —David Butenhof, Author of Programming with POSIX Threads and Contributor to the POSIX and UNIX Standards ". . . a very thorough—yet easy to read—explanation of UNIX system and network programming, with an emphasis on Linux systems. It's certainly a book I'd recommend to anybody wanting to get into UNIX programming (in general) or to experienced UNIX programmers wanting to know 'what's new' in the popular GNU/Linux system." —Fernando Gont, Network Security Researcher, IETF Participant, and RFC Author ". . . encyclopedic in the breadth and depth of its coverage, and textbook-like in its wealth of worked examples and exercises. Each topic is clearly and comprehensively covered, from theory to hands-on working code. Professionals, students, educators, this is the Linux/UNIX reference that you have been waiting for." —Anthony Robins, Associate Professor of Computer Science, The University of Otago "I've been very impressed by the precision, the quality and the level of detail Michael Kerrisk put in his book. He is a great expert of Linux system calls and lets us share his knowledge and understanding of the Linux APIs." —Christophe Blaess, Author of Programmation systeme en C sous Linux ". . . an essential resource for the serious or professional Linux and UNIX systems programmer. Michael Kerrisk covers the use of all the key APIs across both the Linux and UNIX system interfaces with clear descriptions and tutorial examples and stresses the importance and benefits of following standards such as the Single UNIX Specification and POSIX 1003.1." —Andrew Josey, Director, Standards, The Open Group, and Chair of the POSIX 1003.1 Working Group "What could be better than an encyclopedic reference to the Linux system, from the standpoint of the system programmer, written by none other than the maintainer of the man pages himself? The Linux Programming Interface is comprehensive and detailed. I firmly expect it to become an indispensable addition to my programming bookshelf." —Bill Gallmeister, Author of POSIX.4 Programmer's Guide: Programming for the Real World ". . . the most complete and up-to-date book about Linux and UNIX system programming. If you're new to Linux system programming, if you're a UNIX veteran focused on portability while interested in learning the Linux way, or if you're simply looking for an excellent reference about the Linux programming interface, then Michael Kerrisk's book is definitely the companion you want on your bookshelf." —Loic Domaigne, Chief Software Architect (Embedded), Corpuls.com
Once Upon A Number: The Hidden Mathematical Logic Of Stories
John Allen Paulos - 1998
Good stories are full of life: they engage our emotions and have subtlety and nuance, but they lack rigor and the truths they tell are elusive and subject to debate. As ways of understanding the world around us, numbers and stories seem almost completely incompatible. Once Upon a Number shows that stories and numbers aren't as different as you might imagine, and in fact they have surprising and fascinating connections. The concepts of logic and probability both grew out of intuitive ideas about how certain situations would play out. Now, logicians are inventing ways to deal with real world situations by mathematical means -- by acknowledging, for instance, that items that are mathematically interchangeable may not be interchangeable in a story. And complexity theory looks at both number strings and narrative strings in remarkably similar terms. Throughout, renowned author John Paulos mixes numbers and narratives in his own delightful style. Along with lucid accounts of cutting-edge information theory we get hilarious anecdotes and jokes; instructions for running a truly impressive pyramid scam; a freewheeling conversation between Groucho Marx and Bertrand Russell (while they're stuck in an elevator together); explanations of why the statistical evidence against OJ Simpson was overwhelming beyond doubt and how the Unabomber's thinking shows signs of mathematical training; and dozens of other treats. This is another winner from America's favorite mathematician.
Algebra - The Very Basics
Metin Bektas - 2014
This book picks you up at the very beginning and guides you through the foundations of algebra using lots of examples and no-nonsense explanations. Each chapter contains well-chosen exercises as well as all the solutions. No prior knowledge is required. Topics include: Exponents, Brackets, Linear Equations and Quadratic Equations. For a more detailed table of contents, use the "Look Inside" feature. From the author of "Great Formulas Explained" and "Physics! In Quantities and Examples".
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Charles Petzold - 2008
Turing
Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be "computable," creating the field of computability theory in the process, a foundation of present-day computer programming.The book expands Turing's original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing's statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others.Interwoven into the narrative are the highlights of Turing's own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.
A System of Logic, Ratiocinative and Inductive: Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation
John Stuart Mill - 1843
A System of Logic is the first major installment of his comprehensive restatement of an empiricist and utilitarian position. It begins the attack on ""intuitionism"" which Mill carried on throughout his life, and makes plain his belief that social planning and political action should rely primarily on scientific knowledge, not on authority, custom, revelation, or prescription.Contents Include: OF NAMES AND PROPOSITIONS Of the Necessity of commencing with an Analysis of Language Of Names Of the Things denoted by Names Of Proposition Of the Import of Propositions Of Propositions merely Verbal Of the nature of Classification and the five Predicables Of Definition OF REASONING Of Inference, or Reasoning in General Of Ratiocination, or Syllogism Of the Functions, and logical Values of Syllogism Of trains of Reasoning and Deductive Sciences Of Demonstration and Necessary truths OF INDUCTION Observations on Induction in General On the Ground of Induction Of the Laws of Nature Of The Law of Universal Causation Of The Composition of Causes Of Observation and Experiment, Four Methods of Experimental Enquiry Miscellaneous Examples Plurality of Causes Of the Deductive Method Explanation of Laws of Nature. Keywords: Knowledge, Theory of Logic Science Methodology
Who Is Fourier? a Mathematical Adventure
Transnational College of Lex - 1995
This is done in a way that is not only easy to understand, but is actually fun! Professors and engineers, with high school and college students following closely, comprise the largest percentage of our readers. It is a must-have for anyone interested in music, mathematics, physics, engineering, or complex science. Dr. Yoichiro Nambu, 2008 Nobel Prize Winner in Physics, served as a senior adviser to the English version of Who is Fourier? A Mathematical Adventure.
ANSI Common Lisp
Paul Graham - 1996
Beginners will find that its careful explanations and interesting examples make Lisp programming easy to learn. Professional programmers will appreciate its thorough, practical approach.FEATURES:• An up-to-date reference manual for ANSI Common Lisp.• An in-depth look at object-oriented programming. Explains the Common Lisp Object System (CLOS), and also shows how to write your own object-oriented language.• Over 20 substantial examples, including programs for ray-tracing, text generation, pattern-matching, logical inference, generating HTML, sorting and searching, file I/O, compression, and date arithmetic.• Special attention to critical concepts, including prefix syntax, code vs. data, recursion, functional programming, types, implicit pointers, dynamic allocation, closures, macros, class precedence, and generic functions vs. message-passing.• A complete guide to optimization.• The clearest and most thorough explanation of macros in any introductory book.• Examples that illustrate Lisp programming styles, including rapid prototyping, bottom-up programming, object-oriented programming, and embedded languages.• An appendix on debugging, with examples of common errors.