Book picks similar to
The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Manna
tech-concurrency
tech-formal
maths
computer-science
From Mathematics to Generic Programming
Alexander A. Stepanov - 2014
If you're a reasonably proficient programmer who can think logically, you have all the background you'll need. Stepanov and Rose introduce the relevant abstract algebra and number theory with exceptional clarity. They carefully explain the problems mathematicians first needed to solve, and then show how these mathematical solutions translate to generic programming and the creation of more effective and elegant code. To demonstrate the crucial role these mathematical principles play in many modern applications, the authors show how to use these results and generalized algorithms to implement a real-world public-key cryptosystem. As you read this book, you'll master the thought processes necessary for effective programming and learn how to generalize narrowly conceived algorithms to widen their usefulness without losing efficiency. You'll also gain deep insight into the value of mathematics to programming--insight that will prove invaluable no matter what programming languages and paradigms you use. You will learn aboutHow to generalize a four thousand-year-old algorithm, demonstrating indispensable lessons about clarity and efficiencyAncient paradoxes, beautiful theorems, and the productive tension between continuous and discreteA simple algorithm for finding greatest common divisor (GCD) and modern abstractions that build on itPowerful mathematical approaches to abstractionHow abstract algebra provides the idea at the heart of generic programmingAxioms, proofs, theories, and models: using mathematical techniques to organize knowledge about your algorithms and data structuresSurprising subtleties of simple programming tasks and what you can learn from themHow practical implementations can exploit theoretical knowledge
A Mathematician's Apology
G.H. Hardy - 1940
H. Hardy was one of this century's finest mathematical thinkers, renowned among his contemporaries as a 'real mathematician ... the purest of the pure'. He was also, as C. P. Snow recounts in his Foreword, 'unorthodox, eccentric, radical, ready to talk about anything'. This 'apology', written in 1940 as his mathematical powers were declining, offers a brilliant and engaging account of mathematics as very much more than a science; when it was first published, Graham Greene hailed it alongside Henry James's notebooks as 'the best account of what it was like to be a creative artist'. C. P. Snow's Foreword gives sympathetic and witty insights into Hardy's life, with its rich store of anecdotes concerning his collaboration with the brilliant Indian mathematician Ramanujan, his aphorisms and idiosyncrasies, and his passion for cricket. This is a unique account of the fascination of mathematics and of one of its most compelling exponents in modern times.
Fundamentals of Mathematical Statistics
S.C. Gupta
Fundamentals Of Mathematical Statistics is written by SC Gupta and VK Kapoor and published by SULTAN CHAND & SONS, Delhi.
Limitless Mind: Learn, Lead, and Live Without Barriers
Jo Boaler - 2019
This notion follows us into adulthood, where we tend to simply accept these established beliefs about our skillsets (i.e. that we don’t have “a math brain” or that we aren’t “the creative type”). These damaging—and as new science has revealed, false—assumptions have influenced all of us at some time, affecting our confidence and willingness to try new things and limiting our choices, and, ultimately, our futures.Stanford University professor, bestselling author, and acclaimed educator Jo Boaler has spent decades studying the impact of beliefs and bias on education. In
Limitless Mind
, she explodes these myths and reveals the six keys to unlocking our boundless learning potential. Her research proves that those who achieve at the highest levels do not do so because of a genetic inclination toward any one skill but because of the keys that she reveals in the book. Our brains are not “fixed,” but entirely capable of change, growth, adaptability, and rewiring. Want to be fluent in mathematics? Learn a foreign language? Play the guitar? Write a book? The truth is not only that anyone at any age can learn anything, but the act of learning itself fundamentally changes who we are, and as Boaler argues so elegantly in the pages of this book, what we go on to achieve.
Algorithmic Puzzles
Anany V. Levitin - 2011
This logic extends far beyond the realm of computer science and into the wide and entertaining world of puzzles. In Algorithmic Puzzles, Anany and Maria Levitin use many classic brainteasers as well as newer examples from job interviews with major corporations to show readers how to apply analytical thinking to solve puzzles requiring well-defined procedures.The book's unique collection of puzzles is supplemented with carefully developed tutorials on algorithm design strategies and analysis techniques intended to walk the reader step-by-step through the various approaches to algorithmic problem solving. Mastery of these strategies--exhaustive search, backtracking, and divide-and-conquer, among others--will aid the reader in solving not only the puzzles contained in this book, but also others encountered in interviews, puzzle collections, and throughout everyday life. Each of the 150 puzzles contains hints and solutions, along with commentary onthe puzzle's origins and solution methods. The only book of its kind, Algorithmic Puzzles houses puzzles for all skill levels. Readers with only middle school mathematics will develop their algorithmic problem-solving skills through puzzles at the elementary level, while seasoned puzzle solvers will enjoy the challenge of thinking throughmore difficult puzzles.
The Universe in Zero Words: The Story of Mathematics as Told Through Equations
Dana Mackenzie - 2012
Dana Mackenzie starts from the opposite premise: He celebrates equations. No history of art would be complete without pictures. Why, then, should a history of mathematics -- the universal language of science -- keep the masterpieces of the subject hidden behind a veil?"The Universe in Zero Words" tells the history of twenty-four great and beautiful equations that have shaped mathematics, science, and society -- from the elementary (1+1 = 2) to the sophisticated (the Black-Scholes formula for financial derivatives), and from the famous (E = mc^2) to the arcane (Hamilton's quaternion equations). Mackenzie, who has been called a "popular-science ace" by Booklist magazine, lucidly explains what each equation means, who discovered it (and how), and how it has affected our lives.(From the jacket copy.)Note: The Princeton University Press version (black cover) is for sale in the English-speaking world outside Australia. The Newsouth Press version (blue cover) is for sale in Australia. The two versions are identical except for the covers.
Archimedes' Revenge: The Joys and Perils of Mathematics
Paul Hoffman - 1988
An extremely clever account.--The New Yorker.
The Thrilling Adventures of Lovelace and Babbage
Sydney Padua - 2015
. . in which Sydney Padua transforms one of the most compelling scientific collaborations into a hilarious series of adventures. Meet Victorian London’s most dynamic duo: Charles Babbage, the unrealized inventor of the computer, and his accomplice, Ada, Countess of Lovelace, the peculiar protoprogrammer and daughter of Lord Byron. When Lovelace translated a description of Babbage’s plans for an enormous mechanical calculating machine in 1842, she added annotations three times longer than the original work. Her footnotes contained the first appearance of the general computing theory, a hundred years before an actual computer was built. Sadly, Lovelace died of cancer a decade after publishing the paper, and Babbage never built any of his machines. But do not despair! The Thrilling Adventures of Lovelace and Babbage presents a rollicking alternate reality in which Lovelace and Babbage do build the Difference Engine and then use it to build runaway economic models, battle the scourge of spelling errors, explore the wilder realms of mathematics, and, of course, fight crime—for the sake of both London and science. Complete with extensive footnotes that rival those penned by Lovelace herself, historical curiosities, and never-before-seen diagrams of Babbage’s mechanical, steam-powered computer, The Thrilling Adventures of Lovelace and Babbage is wonderfully whimsical, utterly unusual, and, above all, entirely irresistible.(With black-and-white illustrations throughout.)
The Calculus Story: A Mathematical Adventure
David Acheson - 2017
It is the mathematical method for the analysis of things that change, and since in the natural world we are surrounded by change, the development of calculus was a huge breakthrough in the history of mathematics. But it is also something of a mathematical adventure, largely because of the way infinity enters at virtually every twist and turn...In The Calculus Story David Acheson presents a wide-ranging picture of calculus and its applications, from ancient Greece right up to the present day. Drawing on their original writings, he introduces the people who helped to build our understanding of calculus. With a step by step treatment, he demonstrates how to start doing calculus, from the very beginning.
More Programming Pearls: Confessions of a Coder
Jon L. Bentley - 1988
These techniques deal with real programs and they are realistically illustrated, using the C and Awk languages. Bentley also provides the reader with some tricks of the programmer's trade, like a collection of rules of thumb and hints for finding simple solutions to hard problems.These essays also originally appeared in the author's column in Communication of the ACM, and have been substantially revised, incorporating new sections, problems, and reader comments.
Rock, Paper, Scissors: Game Theory in Everyday Life
Len Fisher - 2000
Len Fisher turns his attention to the science of cooperation in his lively and thought-provoking book. Fisher shows how the modern science of game theory has helped biologists to understand the evolution of cooperation in nature, and investigates how we might apply those lessons to our own society. In a series of experiments that take him from the polite confines of an English dinner party to crowded supermarkets, congested Indian roads, and the wilds of outback Australia, not to mention baseball strategies and the intricacies of quantum mechanics, Fisher sheds light on the problem of global cooperation. The outcomes are sometimes hilarious, sometimes alarming, but always revealing. A witty romp through a serious science, Rock, Paper, Scissors will both teach and delight anyone interested in what it what it takes to get people to work together.
The Little Book of Mathematical Principles, Theories, & Things
Robert Solomon - 2008
Rare Book
Introducing Fractals: A Graphic Guide
Nigel Lesmoir-Gordon - 1996
It's about the broken, wrinkled, wiggly world - the uneven shapes of nature, unlike the idealized forms of Euclidean geometry. We see fractals everywhere; indeed we are fractal! Fractal Geometry is an extension of classical geometry. Using computers, it can make precise models of physical structures - from ferns to galaxies. Fractal geometry is a new language. Once you speak it, you can describe the shape of cloud as precisely as an architect can describe a house.
The Mathematical Experience
Philip J. Davis - 1980
This is the classic introduction for the educated lay reader to the richly diverse world of mathematics: its history, philosophy, principles, and personalities.
The Nothing That Is: A Natural History of Zero
Robert M. Kaplan - 1999
As we enter the year 2000, zero is once again making its presence felt. Nothing itself, it makes possible a myriad of calculations. Indeed, without zero mathematicsas we know it would not exist. And without mathematics our understanding of the universe would be vastly impoverished. But where did this nothing, this hollow circle, come from? Who created it? And what, exactly, does it mean? Robert Kaplan's The Nothing That Is: A Natural History of Zero begins as a mystery story, taking us back to Sumerian times, and then to Greece and India, piecing together the way the idea of a symbol for nothing evolved. Kaplan shows us just how handicapped our ancestors were in trying to figurelarge sums without the aid of the zero. (Try multiplying CLXIV by XXIV). Remarkably, even the Greeks, mathematically brilliant as they were, didn't have a zero--or did they? We follow the trail to the East where, a millennium or two ago, Indian mathematicians took another crucial step. By treatingzero for the first time like any other number, instead of a unique symbol, they allowed huge new leaps forward in computation, and also in our understanding of how mathematics itself works. In the Middle Ages, this mathematical knowledge swept across western Europe via Arab traders. At first it was called dangerous Saracen magic and considered the Devil's work, but it wasn't long before merchants and bankers saw how handy this magic was, and used it to develop tools likedouble-entry bookkeeping. Zero quickly became an essential part of increasingly sophisticated equations, and with the invention of calculus, one could say it was a linchpin of the scientific revolution. And now even deeper layers of this thing that is nothing are coming to light: our computers speakonly in zeros and ones, and modern mathematics shows that zero alone can be made to generate everything.Robert Kaplan serves up all this history with immense zest and humor; his writing is full of anecdotes and asides, and quotations from Shakespeare to Wallace Stevens extend the book's context far beyond the scope of scientific specialists. For Kaplan, the history of zero is a lens for looking notonly into the evolution of mathematics but into very nature of human thought. He points out how the history of mathematics is a process of recursive abstraction: how once a symbol is created to represent an idea, that symbol itself gives rise to new operations that in turn lead to new ideas. Thebeauty of mathematics is that even though we invent it, we seem to be discovering something that already exists.The joy of that discovery shines from Kaplan's pages, as he ranges from Archimedes to Einstein, making fascinating connections between mathematical insights from every age and culture. A tour de force of science history, The Nothing That Is takes us through the hollow circle that leads to infinity.