Book picks similar to
Artificial Intelligence Engines by James V. Stone


programming
mathematics
computer-science
artificial-intelligence

How to read and do proofs


Daniel Solow - 1982
    Shows how any proof can be understood as a sequence of techniques. Covers the full range of techniques used in proofs, such as the contrapositive, induction, and proof by contradiction. Explains how to identify which techniques are used and how they are applied in the specific problem. Illustrates how to read written proofs with many step-by-step examples. Includes new, expanded appendices related to discrete mathematics, linear algebra, modern algebra and real analysis.

How to Solve It: A New Aspect of Mathematical Method


George Pólya - 1944
    Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be reasoned out--from building a bridge to winning a game of anagrams. Generations of readers have relished Polya's deft--indeed, brilliant--instructions on stripping away irrelevancies and going straight to the heart of the problem.

Essential Poker Math: Fundamental No Limit Hold'em Mathematics You Need To Know


Alton Hardin - 2015
    I'm here to tell you it is not. In fact, fundamental poker math is very easy to learn. More importantly, it can yield you a lot more profits at the poker table. Without using simple math at the poker table, you are simply playing a guessing game. Use Simple Math at the Poker Table and Increase You Winnings In this book I will teach you how to use simple arithmetic at the poker table to gain a huge skill advantage over your opponents that will allow you to win more and lose less. Poker players that don't use math are simply guessing and you'll learn to no longer guess and know the right mathematical move at the poker table. These simple mathematical concepts I will be teaching you will drastically help improve your poker game and allow you to make the most profitable decisions at the poker. Contents and Overview First you will be introduced to some fundamental overarching poker concepts that apply to poker mathematics. Then we will begin our journey into poker mathematics where you will learn about probabilities and odds, pot odds and implied odds, pot equity, and expected value. You will then learn how to quickly estimate your equity at the poker table using the Rule of 2 & 4. Moreover, you'll learn the steps involved in determining if calling with a drawing hand is profitable or not. We will also cover how to size your bets with the best hand and teach you how often bluffs and hero calls need to work to be profitable. Lastly, we will show you how to perform EV calculations and better understand card combinations. Effectively Understand and Utilize Essential Poker Math Develop a keen understanding of Probability and Odds Learn to quickly calculate Pot Odds & Implied Odds at the poker table Effectively use Pot Equity & The Rule of 2 & 4 to Determine the correct poker play Understand how to use Expected Value (EV) both on and off the table to analyze your plays Learn the important math behind Bluffs & Hero Calls to give you a skill advantage over your opponent Learn Card Combinations to further enhance your card reading abilities And Many More Amazing Topics… What You Will Get out of This Book Suitable for both beginning and experienced poker players alike you'll learn many essential fundamental poker mathematical concepts that will help you drastically improve your poker game. After reading this book, you will have mastered fundamental No Limit Holdem mathematics. You will have gained a huge skill advantage over your opponents and you will be able to quickly and effectively use math at the poker table to make are always the most profitable move. Most importantly, you will become a much better and profitable poker player! So what are you waiting for? Purchase this book today to start learning how to advance your poker game with simple poker math! Alton Hardin is the founder of MicroGrinder.com, a free micro stakes poker website that is dedicated to helping micro stakes poker players improve their poker game by offering a wide array of free and low-cost resources including poker courses, poker t

The Lifebox, the Seashell, and the Soul: What Gnarly Computation Taught Me About Ultimate Reality, the Meaning of Life, and How to Be Happy


Rudy Rucker - 2005
    This concept is at the root of the computational worldview, which basically says that very complex systems — the world we live in — have their beginnings in simple mathematical equations. We've lately come to understand that such an algorithm is only the start of a never-ending story — the real action occurs in the unfolding consequences of the rules. The chip-in-a-box computers so popular in our time have acted as a kind of microscope, letting us see into the secret machinery of the world. In Lifebox, Rucker uses whimsical drawings, fables, and humor to demonstrate that everything is a computation — that thoughts, computations, and physical processes are all the same. Rucker discusses the linguistic and computational advances that make this kind of "digital philosophy" possible, and explains how, like every great new principle, the computational world view contains the seeds of a next step.

Probably Approximately Correct: Nature's Algorithms for Learning and Prospering in a Complex World


Leslie Valiant - 2013
    We nevertheless muddle through even in the absence of theories of how to act. But how do we do it?In Probably Approximately Correct, computer scientist Leslie Valiant presents a masterful synthesis of learning and evolution to show how both individually and collectively we not only survive, but prosper in a world as complex as our own. The key is “probably approximately correct” algorithms, a concept Valiant developed to explain how effective behavior can be learned. The model shows that pragmatically coping with a problem can provide a satisfactory solution in the absence of any theory of the problem. After all, finding a mate does not require a theory of mating. Valiant’s theory reveals the shared computational nature of evolution and learning, and sheds light on perennial questions such as nature versus nurture and the limits of artificial intelligence.Offering a powerful and elegant model that encompasses life’s complexity, Probably Approximately Correct has profound implications for how we think about behavior, cognition, biological evolution, and the possibilities and limits of human and machine intelligence.

Secrets of Mental Math: The Mathemagician's Guide to Lightning Calculation and Amazing Math Tricks


Arthur T. Benjamin - 1993
    Get ready to amaze your friends—and yourself—with incredible calculations you never thought you could master, as renowned “mathemagician” Arthur Benjamin shares his techniques for lightning-quick calculations and amazing number tricks. This book will teach you to do math in your head faster than you ever thought possible, dramatically improve your memory for numbers, and—maybe for the first time—make mathematics fun.Yes, even you can learn to do seemingly complex equations in your head; all you need to learn are a few tricks. You’ll be able to quickly multiply and divide triple digits, compute with fractions, and determine squares, cubes, and roots without blinking an eye. No matter what your age or current math ability, Secrets of Mental Math will allow you to perform fantastic feats of the mind effortlessly. This is the math they never taught you in school.Also available as an eBook

The Mathematics of Poker


Bill Chen - 2006
    By the mid-1990s the old school grizzled traders had been replaced by a new breed of quantitative analysts, applying mathematics to the "art" of trading and making of it a science. A similar phenomenon is happening in poker. The grizzled "road gamblers" are being replaced by a new generation of players who have challenged many of the assumptions that underlie traditional approaches to the game. One of the most important features of this new approach is a reliance on quantitative analysis and the application of mathematics to the game. This book provides an introduction to quantitative techniques as applied to poker and to a branch of mathematics that is particularly applicable to poker, game theory, in a manner that makes seemingly difficult topics accessible to players without a strong mathematical background.

Short-Cut Math


Gerard W. Kelly - 1969
    Short-Cut Math is a concise, remarkably clear compendium of about 150 math short-cuts — timesaving tricks that provide faster, easier ways to add, subtract, multiply, and divide.By using the simple foolproof methods in this volume, you can double or triple your calculation speed — even if you always hated math in school. Here's a sampling of the amazingly effective techniques you will learn in minutes: Adding by 10 Groups; No-Carry Addition; Subtraction Without Borrowing; Multiplying by Aliquot Parts; Test for Divisibility by Odd and Even Numbers; Simplifying Dividends and Divisors; Fastest Way to Add or Subtract Any Pair of Fractions; Multiplying and Dividing with Mixed Numbers, and more.The short-cuts in this book require no special math ability. If you can do ordinary arithmetic, you will have no trouble with these methods. There are no complicated formulas or unfamiliar jargon — no long drills or exercises. For each problem, the author provides an explanation of the method and a step-by-step solution. Then the short-cut is applied, with a proof and an explanation of why it works.Students, teachers, businesspeople, accountants, bank tellers, check-out clerks — anyone who uses numbers and wishes to increase his or her speed and arithmetical agility, can benefit from the clear, easy-to-follow techniques given here.

Data Feminism


Catherine D’Ignazio - 2020
    It has been used to expose injustice, improve health outcomes, and topple governments. But it has also been used to discriminate, police, and surveil. This potential for good, on the one hand, and harm, on the other, makes it essential to ask: Data science by whom? Data science for whom? Data science with whose interests in mind? The narratives around big data and data science are overwhelmingly white, male, and techno-heroic. In Data Feminism, Catherine D'Ignazio and Lauren Klein present a new way of thinking about data science and data ethics—one that is informed by intersectional feminist thought.Illustrating data feminism in action, D'Ignazio and Klein show how challenges to the male/female binary can help challenge other hierarchical (and empirically wrong) classification systems. They explain how, for example, an understanding of emotion can expand our ideas about effective data visualization, and how the concept of invisible labor can expose the significant human efforts required by our automated systems. And they show why the data never, ever “speak for themselves.”Data Feminism offers strategies for data scientists seeking to learn how feminism can help them work toward justice, and for feminists who want to focus their efforts on the growing field of data science. But Data Feminism is about much more than gender. It is about power, about who has it and who doesn't, and about how those differentials of power can be challenged and changed.

Proofs from the Book, 3e


Martin Aigner - 1998
    Inside PFTB (Proofs from The Book) is indeed a glimpse of mathematical heaven, where clever insights and beautiful ideas combine in astonishing and glorious ways. There is vast wealth within its pages, one gem after another. Some of the proofs are classics, but many are new and brilliant proofs of classical results. ...Aigner and Ziegler... write: ..". all we offer is the examples that we have selected, hoping that our readers will share our enthusiasm about brilliant ideas, clever insights and wonderful observations." I do. ... " Notices of the AMS, August 1999..". the style is clear and entertaining, the level is close to elementary ... and the proofs are brilliant. ..." LMS Newsletter, January 1999This third edition offers two new chapters, on partition identities, and on card shuffling. Three proofs of Euler's most famous infinite series appear in a separate chapter. There is also a number of other improvements, such as an exciting new way to "enumerate the rationals."

Machine Learning: An Algorithmic Perspective


Stephen Marsland - 2009
    The field is ready for a text that not only demonstrates how to use the algorithms that make up machine learning methods, but also provides the background needed to understand how and why these algorithms work. Machine Learning: An Algorithmic Perspective is that text.Theory Backed up by Practical ExamplesThe book covers neural networks, graphical models, reinforcement learning, evolutionary algorithms, dimensionality reduction methods, and the important area of optimization. It treads the fine line between adequate academic rigor and overwhelming students with equations and mathematical concepts. The author addresses the topics in a practical way while providing complete information and references where other expositions can be found. He includes examples based on widely available datasets and practical and theoretical problems to test understanding and application of the material. The book describes algorithms with code examples backed up by a website that provides working implementations in Python. The author uses data from a variety of applications to demonstrate the methods and includes practical problems for students to solve.Highlights a Range of Disciplines and ApplicationsDrawing from computer science, statistics, mathematics, and engineering, the multidisciplinary nature of machine learning is underscored by its applicability to areas ranging from finance to biology and medicine to physics and chemistry. Written in an easily accessible style, this book bridges the gaps between disciplines, providing the ideal blend of theory and practical, applicable knowledge."

A Mathematician's Lament


Paul Lockhart
    He proposes his solution.

Infinite Powers: How Calculus Reveals the Secrets of the Universe


Steven H. Strogatz - 2019
    We wouldn’t have unraveled DNA or discovered Neptune or figured out how to put 5,000 songs in your pocket. Though many of us were scared away from this essential, engrossing subject in high school and college, Steven Strogatz’s brilliantly creative, down‑to‑earth history shows that calculus is not about complexity; it’s about simplicity. It harnesses an unreal number—infinity—to tackle real‑world problems, breaking them down into easier ones and then reassembling the answers into solutions that feel miraculous. Infinite Powers recounts how calculus tantalized and thrilled its inventors, starting with its first glimmers in ancient Greece and bringing us right up to the discovery of gravitational waves (a phenomenon predicted by calculus). Strogatz reveals how this form of math rose to the challenges of each age: how to determine the area of a circle with only sand and a stick; how to explain why Mars goes “backwards” sometimes; how to make electricity with magnets; how to ensure your rocket doesn’t miss the moon; how to turn the tide in the fight against AIDS. As Strogatz proves, calculus is truly the language of the universe. By unveiling the principles of that language, Infinite Powers makes us marvel at the world anew.

Types and Programming Languages


Benjamin C. Pierce - 2002
    The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

A Mind for Numbers: How to Excel at Math and Science (Even If You Flunked Algebra)


Barbara Oakley - 2014
    Engineering professor Barbara Oakley knows firsthand how it feels to struggle with math. She flunked her way through high school math and science courses, before enlisting in the army immediately after graduation. When she saw how her lack of mathematical and technical savvy severely limited her options—both to rise in the military and to explore other careers—she returned to school with a newfound determination to re-tool her brain to master the very subjects that had given her so much trouble throughout her entire life. In A Mind for Numbers, Dr. Oakley lets us in on the secrets to effectively learning math and science—secrets that even dedicated and successful students wish they’d known earlier. Contrary to popular belief, math requires creative, as well as analytical, thinking. Most people think that there’s only one way to do a problem, when in actuality, there are often a number of different solutions—you just need the creativity to see them. For example, there are more than three hundred different known proofs of the Pythagorean Theorem. In short, studying a problem in a laser-focused way until you reach a solution is not an effective way to learn math. Rather, it involves taking the time to step away from a problem and allow the more relaxed and creative part of the brain to take over. A Mind for Numbers shows us that we all have what it takes to excel in math, and learning it is not as painful as some might think!