Book picks similar to
Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets by Robert I. Soare
mathematics
mmath
03-logic-and-set-theory
68-computer-science
Differential Equations
Richard Bronson - 2010
This supplement will cater to the requirements of students by covering all important topics of Laplace transformation, Matrices, Numerical Methods. Further enhanced is its usability by inclusion of chapter end questions in sync with student needs. Table of contents: 1. Basic Concepts 2. An Introduction to Modeling and Qualitative Methods 3. Classification of First-Order Differential Equations 4. Separable First-Order Differential Equations 5. Exact First-order Differential Equations 6. Linear First-Order Differential Equations 7. Applications of First-Order Differential Equations 8. Linear Differential Equations: Theory of Solutions 9. Second-Order Linear Homogeneous Differential Equations with Constant Coefficients 10. nth-Order Linear Homogeneous Differential Equations with Constant Coefficients 11. The Method of Undetermined Coefficients 12. Variation of Parameters 13. Initial-Value Problems for Linear Differential Equations 14. Applications of Second-Order Linear Differential Equations 15. Matrices 16. eAt 17. Reduction of Linear Differential Equations to a System of First-Order Equations 18. Existence and Uniqueness of Solutions 19. Graphical and Numerical Methods for Solving First-Order Differential Equations 20. Further Numerical Methods for Solving First-Order Differential Equations 21. Numerical Methods for Solving Second-Order Differential Equations Via Systems 22. The Laplace Transform 23. Inverse Laplace Transforms 24. Convolutions and the Unit Step Function 25. Solutions of Linear Differential Equations with Constant Coefficients by Laplace Transforms 26. Solutions of Linear?Systems by Laplace Transforms 27. Solutions of Linear Differential Equations with Constant Coefficients by Matrix Methods 28. Power Series Solutions of Linear Differential Equations with Variable Coefficients 29. Special Functions 30. Series Solutions N
Alan Turing: Unlocking the Enigma
David Boyle - 2014
Turing’s openness about his homosexuality at a time when it was an imprisonable offense ultimately led to his untimely lo death at the age of only forty-one. In Alan Turing: Unlocking the Enigma, David Boyle reveals the mysteries behind the man and his remarkable career. Aged just 22, Turing was elected a fellow at King's College, Cambridge on the strength of a dissertation in which he proved the central limit theorem. By the age of 33, he had been awarded the OBE by King George VI for his wartime services: Turing was instrumental in cracking the Nazi Enigma machines at the top secret code breaking establishment at Bletchley Park during the Second World War.But his achievements were to be tragically overshadowed by the paranoia of the post-War years. Hounded for his supposedly subversive views and for his sexuality, Turing was prosecuted in 1952, and forced to accept the humiliation of hormone treatment to avoid a prison sentence. Just two years later, at the age of 41 he was dead. The verdict: cyanide poisoning.Was Turing’s death accidental as his mother always claimed? Or did persistent persecution drive him to take him own life?Alan Turing: Unlocking the Enigma seeks to find the man behind the science, illuminating the life of a person who is still a shadowy presence behind his brilliant achievements.
The Power of Vedic Maths
Atul Gupta - 2013
The absence of a book, explaining the techniques in a simple language, has been felt acutely for a long time. This book has been written using a step-by-step approach, and attempts to fill the existing void. It includes several solved problems in addition to 1000 practice problems with answers. It also includes a special chapter which shows the application of the techniques to problems set in competitive exams like CAT, CET etc.People from all walks of life including school and college students, teachers, parents and also those from non-mathematical areas of study will discover the joys of solving mathematical problems using the wonderful set of techniques called Vedic Maths.
F*ck Being Fat: Solve your weight problem once and for all with math and willpower
Alan Roberts - 2020
In our world today we hear a lot about self-love; a lot about embracing who you are now. But if you really love yourself and your body, you wouldn't act like you have a spare. It is never too late to love yourself enough to be healthy. WARNING IF YOU ARE SENSITIVE, DO NOT BUY THIS BOOK. It's not for you. This book is for people with thick skin who believe good health is more important than polite presentation. So if you care about getting healthy, staying fit, and doing it in a sustainable way - then consider this book your drill instructor (harsh language and all). ABOUT THE AUTHOR Alan Roberts is the founder of Every Damn Day Fitness and Co-Founder of the Damn Collective with his wife Crystal. Together, they have helped thousands of people increase the quality of their lives by coaching them to healthier habits, wisdom which they accrued through trial and error in their own lives. Originally from Pittsburgh, PA, Alan now resides in sunny, south west Florida.
The Thinker's Guide to How to Read A Paragraph: The Art of Close Reading
Richard Paul - 2006
The Art of Logic in an Illogical World
Eugenia Cheng - 2018
Cheng is a mathematician, so she knows how to make an airtight argument. But even for her, logic sometimes falls prey to emotion, which is why she still fears flying and eats more cookies than she should. If a mathematician can't be logical, what are we to do? In this book, Cheng reveals the inner workings and limitations of logic, and explains why alogic--for example, emotion--is vital to how we think and communicate. Cheng shows us how to use logic and alogic together to navigate a world awash in bigotry, mansplaining, and manipulative memes. Insightful, useful, and funny, this essential book is for anyone who wants to think more clearly.
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."
The Theory That Would Not Die: How Bayes' Rule Cracked the Enigma Code, Hunted Down Russian Submarines, and Emerged Triumphant from Two Centuries of Controversy
Sharon Bertsch McGrayne - 2011
To its adherents, it is an elegant statement about learning from experience. To its opponents, it is subjectivity run amok.In the first-ever account of Bayes' rule for general readers, Sharon Bertsch McGrayne explores this controversial theorem and the human obsessions surrounding it. She traces its discovery by an amateur mathematician in the 1740s through its development into roughly its modern form by French scientist Pierre Simon Laplace. She reveals why respected statisticians rendered it professionally taboo for 150 years—at the same time that practitioners relied on it to solve crises involving great uncertainty and scanty information (Alan Turing's role in breaking Germany's Enigma code during World War II), and explains how the advent of off-the-shelf computer technology in the 1980s proved to be a game-changer. Today, Bayes' rule is used everywhere from DNA de-coding to Homeland Security.Drawing on primary source material and interviews with statisticians and other scientists, The Theory That Would Not Die is the riveting account of how a seemingly simple theorem ignited one of the greatest controversies of all time.
Introductory Astronomy and Astrophysics
Michael Zeilik - 1987
It has an algebra and trigonometry prerequisite, but calculus is preferred.
Understanding Analysis
Stephen Abbott - 2000
The aim of a course in real analysis should be to challenge and improve mathematical intuition rather than to verify it. The philosophy of this book is to focus attention on questions which give analysis its inherent fascination.
Advanced Apex Programming for Salesforce.com and Force.com
Dan Appleman - 2012
Intended for developers who are already familiar with the Apex language, and experienced Java and C# developers who are moving to Apex, this book starts where the Force.com documentation leaves off. Instead of trying to cover all of the features of the platform, Advanced Apex programming focuses entirely on the Apex language and core design patterns. You’ll learn how to truly think in Apex – to embrace limits and bulk patterns. You’ll see how to develop architectures for efficient and reliable trigger handling, and for asynchronous operations. You’ll discover that best practices differ radically depending on whether you are building software for a specific organization or for a managed package. And you’ll find approaches for incorporating testing and diagnostic code that can dramatically improve the reliability and deployment of Apex software, and reduce your lifecycle and support costs. Based on his experience both as a consultant and as architect of a major AppExchange package, Dan Appleman focuses on the real-world problems and issues that are faced by Apex developers every day, along with the obscure problems and surprises that can sneak up on you if you are unprepared.
Dataclysm: Who We Are (When We Think No One's Looking)
Christian Rudder - 2014
In Dataclysm, Christian Rudder uses it to show us who we truly are. For centuries, we’ve relied on polling or small-scale lab experiments to study human behavior. Today, a new approach is possible. As we live more of our lives online, researchers can finally observe us directly, in vast numbers, and without filters. Data scientists have become the new demographers. In this daring and original book, Rudder explains how Facebook "likes" can predict, with surprising accuracy, a person’s sexual orientation and even intelligence; how attractive women receive exponentially more interview requests; and why you must have haters to be hot. He charts the rise and fall of America’s most reviled word through Google Search and examines the new dynamics of collaborative rage on Twitter. He shows how people express themselves, both privately and publicly. What is the least Asian thing you can say? Do people bathe more in Vermont or New Jersey? What do black women think about Simon & Garfunkel? (Hint: they don’t think about Simon & Garfunkel.) Rudder also traces human migration over time, showing how groups of people move from certain small towns to the same big cities across the globe. And he grapples with the challenge of maintaining privacy in a world where these explorations are possible. Visually arresting and full of wit and insight, Dataclysm is a new way of seeing ourselves—a brilliant alchemy, in which math is made human and numbers become the narrative of our time.
Disruptive Possibilities: How Big Data Changes Everything
Jeffrey Needham - 2013
As author Jeffrey Needham points out in this eye-opening book, big data can provide unprecedented insight into user habits, giving enterprises a huge market advantage. It will also inspire organizations to change the way they function."Disruptive Possibilities: How Big Data Changes Everything" takes you on a journey of discovery into the emerging world of big data, from its relatively simple technology to the ways it differs from cloud computing. But the big story of big data is the disruption of enterprise status quo, especially vendor-driven technology silos and budget-driven departmental silos. In the highly collaborative environment needed to make big data work, silos simply don't fit.Internet-scale computing offers incredible opportunity and a tremendous challenge--and it will soon become standard operating procedure in the enterprise. This book shows you what to expect.
A History of π
Petr Beckmann - 1970
Petr Beckmann holds up this mirror, giving the background of the times when pi made progress -- and also when it did not, because science was being stifled by militarism or religious fanaticism.