Book picks similar to
Introduction to Boolean Algebras by Steven R. Givant
math
books-wantex
boolean
formal-logic
LISP in Small Pieces
Christian Queinnec - 1996
It describes 11 interpreters and 2 compilers, including very recent techniques of interpretation and compilation. The book is in two parts. The first starts from a simple evaluation function and enriches it with multiple name spaces, continuations and side-effects with commented variants, while at the same time the language used to define these features is reduced to a simple lambda-calculus. Denotational semantics is then naturally introduced. The second part focuses more on implementation techniques and discusses precompilation for fast interpretation: threaded code or bytecode; compilation towards C. Some extensions are also described such as dynamic evaluation, reflection, macros and objects. This will become the new standard reference for people wanting to know more about the Lisp family of languages: how they work, how they are implemented, what their variants are and why such variants exist. The full code is supplied (and also available over the Net). A large bibliography is given as well as a considerable number of exercises. Thus it may also be used by students to accompany second courses on Lisp or Scheme.
Mastering Excel Macros: Introduction (Book 1)
Mark Moore - 2014
Everybody wants to learn them. You're not a programmer though. How is a non technical user going to learn how to program? You do want to use macros to make your work easier but are you really going to sit down with a huge programming textbook and work your way through every. single. boring. page? Like most people, you'll start with great enthusiasm and vigor but after a few chapters, the novelty wears off. It gets boring. I'm going to try and change that and make learning macro programming entertaining and accessible to non-techies. First of all, programming Excel macros is a huge topic. Let's eat the elephant one bite at a time. Instead of sitting down with a dry, heavy text, you will read very focused, to the point topics. You can then immediately use what you learned in the real world. This is the first lesson in the series. You will learn what macros are, how to access them, a tiny bit of programming theory (just so you have a clue as to what's going on) and how to record macros. As with all my other lessons, this one has a follow along workbook that you can use to work through the exercises. The images in the lessons are based on Excel 2013 for Windows.
Discrete Mathematical Structures with Applications to Computer Science
Jean-Paul Tremblay - 1975
Emergence: From Chaos To Order
John H. Holland - 1998
Holland dramatically shows us that the “emergence” of order from disorder has much to teach us about life, mind and organizations. Creative activities in both the arts and the sciences depend upon an ability to model the world. The most creative of those models exhibits emergent properties, so that “what comes out is more than what goes in.” From the ingenious checkers-playing computer that started beating its creator in game after game, to the emotive creations of the poet, Emergence shows that Holland’s theory successfully predicts many complex behaviors in art and science.
A Topical Approach to Life-Span Development
John W. Santrock - 2001
Drawing on a who's who list of expert consultants in all areas of developmental psychology, Santrock once again provides a trusted, comprehensive, readable, and engaging survey of the field. Rich applications and examples from a range of areas such as parenting, health care, and education ensure that students will remain engaged with the material. Significant revisions for the 5th edition include updated discussions of health and well-being as well as expanded coverage of diversity, culture, and gender.
Archimedes' Revenge: The Joys and Perils of Mathematics
Paul Hoffman - 1988
An extremely clever account.--The New Yorker.
Relentless
Christopher Artinian - 2020
Fragments of conversations, snapshots of memories were all she could scramble together.But, suddenly, none of it mattered.A stranger.A warning.And the hunt is on.Now Sal and her friends are in a battle like no other. Death and terror lurk around every corner. Can they defy the odds and live to fight another day?Or will they fall like so many before?Is it all a nightmare or is it for real? One thing is for sure, it’s relentless.
Advanced PHP Programming
George Schlossnagle - 2004
The rapid maturation of PHP has created a skeptical population of users from more traditional enterprise languages who question the readiness and ability of PHP to scale, as well as a large population of PHP developers without formal computer science backgrounds who have learned through the hands-on experimentation while developing small and midsize applications in PHP. While there are many books on learning PHP and developing small applications with it, there is a serious lack of information on scaling PHP for large-scale, business-critical systems. Schlossnagle's Advanced PHP Programming fills that void, demonstrating that PHP is ready for enterprise Web applications by showing the reader how to develop PHP-based applications for maximum performance, stability, and extensibility.
The Abandoned Orphanage
John Carter - 2015
Now Jacob, her brother and only witness to her disappearance, Jose, a newspaper reporter and recent widower, and Anna, a woman with her own connection to the old orphanage, along with three paranormal researchers, will try to untangle the secrets and mysteries of the place they call the Home.
Computer Graphics with OpenGL
Donald Hearn - 2003
The text converts all programming code into the C++ language.
To Mock a Mockingbird and Other Logic Puzzles
Raymond M. Smullyan - 1985
It contains many puzzles and their solutions and aims to attract many readers in an age where computer science, logic, and mathematics are becoming increasingly important and popular.
Algebra I for Dummies
Mary Jane Sterling - 2001
The real response to the question should be, "Yes, you will, because algebra gives you power" - the power to help your children with their math homework, the power to manage your finances, the power to be successful in your career (especially if you have to manage the company budget). The list goes on. Algebra is a system of mathematical symbols and rules that are universally understood, no matter what the spoken language. Algebra provides a clear, methodical process that can be followed from beginning to end to solve complex problems. There's no doubt that algebra can be easy to some while extremely challenging to others. For those of you who are challenged by working with numbers, Algebra I For Dummies can provide the help you need.This easy-to-understand reference not only explains algebra in terms you can understand, but it also gives you the necessary tools to solve complex problems. But rest assured, this book is not about memorizing a bunch of meaningless steps; you find out the whys behind algebra to increase your understanding of how algebra works.In Algebra I For Dummies, you'll discover the following topics and more:All about numbers - rational and irrational, variables, and positive and negative Figuring out fractions and decimals Explaining exponents and radicals Solving linear and quadratic equations Understanding formulas and solving story problems Having fun with graphs Top Ten lists on common algebraic errors, factoring tips, and divisibility rules. No matter if you're 16 years old or 60 years old; no matter if you're learning algebra for the first time or need a quick refresher course; no matter if you're cramming for an algebra test, helping your kid with his or her homework, or coming up with next year's company budget, Algebra I For Dummies can give you the tools you need to succeed.
Modern Information Retrieval
Ricardo Baeza-Yates - 1999
The timely provision of relevant information with minimal 'noise' is critical to modern society and this is what information retrieval (IR) is all about. It is a dynamic subject, with current changes driven by the expansion of the World Wide Web, the advent of modern and inexpensive graphical user interfaces and the development of reliable and low-cost mass storage devices. Modern Information Retrieval discusses all these changes in great detail and can be used for a first course on IR as well as graduate courses on the topic.The organization of the book, which includes a comprehensive glossary, allows the reader to either obtain a broad overview or detailed knowledge of all the key topics in modern IR. The heart of the book is the nine chapters written by Baeza-Yates and Ribeiro-Neto, two leading exponents in the field. For those wishing to delve deeper into key areas there are further state-of-the-art ch
Introducing Logic: A Graphic Guide
Dan Cryan - 2001
Yet despite logic's widely acknowledged importance, it remains an unbroken seal for many, due to its heavy use of jargon and mathematical symbolism.This book follows the historical development of logic, explains the symbols and methods involved and explores the philosophical issues surrounding the topic in an easy-to-follow and friendly manner. It will take you through the influence of logic on scientific method and the various sciences from physics to psychology, and will show you why computers and digital technology are just another case of logic in action.
Logic: A Complete Introduction: Teach Yourself
Siu-Fan Lee - 2017
As well as looking at logic in theoretical terms the book considers its everyday uses and demonstrates how it has genuine practical applications. It will take you step by step through the most difficult concepts and is packed with exercises to help you consolidate your learning at every stage. Covering everything from syllogistic logic to logical paradoxes and even looking at logic in Alice in Wonderland, this is the only guide you will ever need.