Learn You a Haskell for Great Good!
Miran Lipovača - 2011
Learn You a Haskell for Great Good! introduces programmers familiar with imperative languages (such as C++, Java, or Python) to the unique aspects of functional programming. Packed with jokes, pop culture references, and the author's own hilarious artwork, Learn You a Haskell for Great Good! eases the learning curve of this complex language, and is a perfect starting point for any programmer looking to expand his or her horizons. The well-known web tutorial on which this book is based is widely regarded as the best way for beginners to learn Haskell, and receives over 30,000 unique visitors monthly.
Basic Category Theory for Computer Scientists
Benjamin C. Pierce - 1991
Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts.
Statistics: A Very Short Introduction
David J. Hand - 2008
From randomized clinical trials in medical research, to statistical models of risk in banking and hedge fund industries, to the statistical tools used to probe vast astronomical databases, the field of statistics has become centrally important to how we understand our world. But the discipline underlying all these is not the dull statistics of the popular imagination. Long gone are the days of manual arithmetic manipulation. Nowadays statistics is a dynamic discipline, revolutionized by the computer, which uses advanced software tools to probe numerical data, seeking structures, patterns, and relationships. This Very Short Introduction sets the study of statistics in context, describing its history and giving examples of its impact, summarizes methods of gathering and evaluating data, and explains the role played by the science of chance, of probability, in statistical methods. The book also explores deep philosophical issues of induction--how we use statistics to discern the true nature of reality from the limited observations we necessarily must make.About the Series: Combining authority with wit, accessibility, and style, Very Short Introductions offer an introduction to some of life's most interesting topics. Written by experts for the newcomer, they demonstrate the finest contemporary thinking about the central problems and issues in hundreds of key topics, from philosophy to Freud, quantum theory to Islam.
Elements of the Theory of Computation
Harry R. Lewis - 1981
The authors are well-known for their clear presentation that makes the material accessible to a a broad audience and requires no special previous mathematical experience. KEY TOPICS: In this new edition, the authors incorporate a somewhat more informal, friendly writing style to present both classical and contemporary theories of computation. Algorithms, complexity analysis, and algorithmic ideas are introduced informally in Chapter 1, and are pursued throughout the book. Each section is followed by problems.
The Arts of the Sailor: Knotting, Splicing and Ropework
Hervey Garrett Smith - 1953
While not nearly as much in demand today as they were in the days of the Yankee clippers, these skills nevertheless remain important and necessary to today's yachtsmen and owners of smaller pleasure boats.In this excellent handbook on basic shipboard skills, marine expert Hervey Garrett Smith offers boating and yachting enthusiasts a complete course in rigging, working, and maintaining a ship. More than 100 illustrations help the reader grasp the fundamentals and fine points of handling a ship while the author describes in detail a sailor's tools, basic knots, and useful hitches as well as the arts of splicing, handsewing, and canvas work.Other topics equally important to safe, economical, and efficient boat maintenance and management include belaying, coiling, and stowing; towing procedures; how to make a chafing gear; and much more. Easy-to-follow instructions for fashioning decorative knots, ornamental coverings, and nettings, and even how to make a proper bucket round out this engaging and informative guide.Packed with useful "hands-on" information conveyed in a chatty, humorous style, The Arts of the Sailor is the perfect book to keep aboard ship for study and for ready reference when the need arises. It also makes delightful reading for armchair sailors and the legions of landlubbers with an interest in the sea.
Linear Algebra Done Right
Sheldon Axler - 1995
The novel approach taken here banishes determinants to the end of the book and focuses on the central goal of linear algebra: understanding the structure of linear operators on vector spaces. The author has taken unusual care to motivate concepts and to simplify proofs. For example, the book presents - without having defined determinants - a clean proof that every linear operator on a finite-dimensional complex vector space (or an odd-dimensional real vector space) has an eigenvalue. A variety of interesting exercises in each chapter helps students understand and manipulate the objects of linear algebra. This second edition includes a new section on orthogonal projections and minimization problems. The sections on self-adjoint operators, normal operators, and the spectral theorem have been rewritten. New examples and new exercises have been added, several proofs have been simplified, and hundreds of minor improvements have been made throughout the text.
Theory of Games and Economic Behavior
John von Neumann - 1944
What began more than sixty years ago as a modest proposal that a mathematician and an economist write a short paper together blossomed, in 1944, when Princeton University Press published Theory of Games and Economic Behavior. In it, John von Neumann and Oskar Morgenstern conceived a groundbreaking mathematical theory of economic and social organization, based on a theory of games of strategy. Not only would this revolutionize economics, but the entirely new field of scientific inquiry it yielded--game theory--has since been widely used to analyze a host of real-world phenomena from arms races to optimal policy choices of presidential candidates, from vaccination policy to major league baseball salary negotiations. And it is today established throughout both the social sciences and a wide range of other sciences.This sixtieth anniversary edition includes not only the original text but also an introduction by Harold Kuhn, an afterword by Ariel Rubinstein, and reviews and articles on the book that appeared at the time of its original publication in the New York Times, tthe American Economic Review, and a variety of other publications. Together, these writings provide readers a matchless opportunity to more fully appreciate a work whose influence will yet resound for generations to come.
Student Solutions Manual for Contemporary Abstract Algebra
Joseph A. Gallian - 2009
Contains complete worked solutions to all regular exercises and computer exercises in the text; additional test questions and their solutions; an online laboratory manual for the computer algebra system GAP, with exercises tied to the book and an instructor answer key; and links on the author's website to true/false questions, flash cards, essays, software downloads, and other abstract algebra-related materials.
The Haskell Road to Logic, Maths and Programming
Kees Doets - 2004
Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvellous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others.
Statistical Consequences of Fat Tails: Real World Preasymptotics, Epistemology, and Applications
Nassim Nicholas Taleb - 2020
Switching from thin tailed to fat tailed distributions requires more than "changing the color of the dress." Traditional asymptotics deal mainly with either n=1 or n=∞, and the real world is in between, under the "laws of the medium numbers"-which vary widely across specific distributions. Both the law of large numbers and the generalized central limit mechanisms operate in highly idiosyncratic ways outside the standard Gaussian or Levy-Stable basins of convergence. A few examples: - The sample mean is rarely in line with the population mean, with effect on "na�ve empiricism," but can be sometimes be estimated via parametric methods. - The "empirical distribution" is rarely empirical. - Parameter uncertainty has compounding effects on statistical metrics. - Dimension reduction (principal components) fails. - Inequality estimators (Gini or quantile contributions) are not additive and produce wrong results. - Many "biases" found in psychology become entirely rational under more sophisticated probability distributions. - Most of the failures of financial economics, econometrics, and behavioral economics can be attributed to using the wrong distributions. This book, the first volume of the Technical Incerto, weaves a narrative around published journal articles.
How Many Licks?: Or, How to Estimate Damn Near Anything
Aaron Santos - 2009
And the beauty of it is that it's all approximate!Using Enrico Fermi's theory of approximation, Santos brings the world of numbers into perspective. For puzzle junkies and trivia fanatics, these 70 word puzzles will show the reader how to take a bit of information, add what they already know, and extrapolate an answer.Santos has done the impossible: make math and the multiple possibilities of numbers fun and informative. Can you really cry a river? Is it possible to dig your way out of jail with just a teaspoon and before your life sentence is up?Taking an academic subject and using it as the prism to view everyday off-the-wall questions as math problems to be solved is a natural step for the lovers of sudoku, cryptograms, word puzzles, and other thought-provoking games.
King of Infinite Space: Donald Coxeter, the Man Who Saved Geometry
Siobhan Roberts - 2006
Yet geometry is so much more than shapes and numbers; indeed, it governs much of our lives—from architecture and microchips to car design, animated movies, the molecules of food, even our own body chemistry. And as Siobhan Roberts elegantly conveys in The King of Infinite Space, there can be no better guide to the majesty of geometry than Donald Coxeter, perhaps the greatest geometer of the twentieth century.Many of the greatest names in intellectual history—Pythagoras, Plato, Archimedes, Euclid— were geometers, and their creativity and achievements illuminate those of Coxeter, revealing geometry to be a living, ever-evolving endeavor, an intellectual adventure that has always been a building block of civilization. Coxeter's special contributions—his famed Coxeter groups and Coxeter diagrams—have been called by other mathematicians "tools as essential as numbers themselves," but his greatest achievement was to almost single-handedly preserve the tradition of classical geometry when it was under attack in a mathematical era that valued all things austere and rational.Coxeter also inspired many outside the field of mathematics. Artist M. C. Escher credited Coxeter with triggering his legendary Circle Limit patterns, while futurist/inventor Buckminster Fuller acknowledged that his famed geodesic dome owed much to Coxeter's vision. The King of Infinite Space is an elegant portal into the fascinating, arcane world of geometry.
Geometry, Relativity and the Fourth Dimension
Rudolf Rucker - 1977
A remarkable pictorial discussion of the curved space-time we call home, it achieves even greater impact through the use of 141 excellent illustrations. This is the first sustained visual account of many important topics in relativity theory that up till now have only been treated separately.Finding a perfect analogy in the situation of the geometrical characters in Flatland, Professor Rucker continues the adventures of the two-dimensional world visited by a three-dimensional being to explain our three-dimensional world in terms of the fourth dimension. Following this adventure into the fourth dimension, the author discusses non-Euclidean geometry, curved space, time as a higher dimension, special relativity, time travel, and the shape of space-time. The mathematics is sound throughout, but the casual reader may skip those few sections that seem too purely mathematical and still follow the line of argument. Readable and interesting in itself, the annotated bibliography is a valuable guide to further study.Professor Rucker teaches mathematics at the State University of New York in Geneseo. Students and laymen will find his discussion to be unusually stimulating. Experienced mathematicians and physicists will find a great deal of original material here and many unexpected novelties. Annotated bibliography. 44 problems.
The Manga Guide to Statistics
Shin Takahashi - 2008
With its unique combination of Japanese-style comics called manga and serious educational content, the EduManga format is already a hit in Japan.In The Manga Guide to Statistics, our heroine Rui is determined to learn about statistics to impress the dreamy Mr. Igarashi and begs her father for a tutor. Soon she's spending her Saturdays with geeky, bespectacled Mr. Yamamoto, who patiently teaches her all about the fundamentals of statistics: topics like data categorization, averages, graphing, and standard deviation.After all her studying, Rui is confident in her knowledge of statistics, including complex concepts like probability, coefficients of correlation, hypothesis tests, and tests of independence. But is it enough to impress her dream guy? Or maybe there's someone better, right in front of her?Reluctant statistics students of all ages will enjoy learning along with Rui in this charming, easy-to-read guide, which uses real-world examples like teen magazine quizzes, bowling games, test scores, and ramen noodle prices. Examples, exercises, and answer keys help you follow along and check your work. An appendix showing how to perform statistics calculations in Microsoft Excel makes it easy to put Rui's lessons into practice.This EduManga book is a translation from a bestselling series in Japan, co-published with Ohmsha, Ltd. of Tokyo, Japan.