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.

Introduction to Linear Algebra


Gilbert Strang - 1993
    Topics covered include matrix multiplication, row reduction, matrix inverse, orthogonality and computation. The self-teaching book is loaded with examples and graphics and provides a wide array of probing problems, accompanying solutions, and a glossary. Chapter 1: Introduction to Vectors; Chapter 2: Solving Linear Equations; Chapter 3: Vector Spaces and Subspaces; Chapter 4: Orthogonality; Chapter 5: Determinants; Chapter 6: Eigenvalues and Eigenvectors; Chapter 7: Linear Transformations; Chapter 8: Applications; Chapter 9: Numerical Linear Algebra; Chapter 10: Complex Vectors and Matrices; Solutions to Selected Exercises; Final Exam. Matrix Factorizations. Conceptual Questions for Review. Glossary: A Dictionary for Linear Algebra Index Teaching Codes Linear Algebra in a Nutshell.

Hands-On Machine Learning with Scikit-Learn and TensorFlow


Aurélien Géron - 2017
    Now that machine learning is thriving, even programmers who know close to nothing about this technology can use simple, efficient tools to implement programs capable of learning from data. This practical book shows you how.By using concrete examples, minimal theory, and two production-ready Python frameworks—Scikit-Learn and TensorFlow—author Aurélien Géron helps you gain an intuitive understanding of the concepts and tools for building intelligent systems. You’ll learn how to use a range of techniques, starting with simple Linear Regression and progressing to Deep Neural Networks. If you have some programming experience and you’re ready to code a machine learning project, this guide is for you.This hands-on book shows you how to use:Scikit-Learn, an accessible framework that implements many algorithms efficiently and serves as a great machine learning entry pointTensorFlow, a more complex library for distributed numerical computation, ideal for training and running very large neural networksPractical code examples that you can apply without learning excessive machine learning theory or algorithm details

Elementary Statistics: Picturing the World


Ron Larson - 2002
    Offering an approach with a visual/graphical emphasis, this text offers a number of examples on the premise that students learn best by doing. This book features an emphasis on interpretation of results and critical thinking over calculations.

Baseball When the Grass Was Real: Baseball from the Twenties to the Forties, Told by the Men Who Played It


Donald Honig - 1975
    They shared their memories with him and the result is a book packed with nostalgia, statistics, action, revelations—an extraordinary oral history of baseball in the halcyon days beween the two world wars. Babe Ruth, Lefty Grove, Ted Williams, Bob Feller, Dizzy Dean, Jackie Robinson, Lou Gehrig, and many others are brought to life through the recollections of Wes Ferrell, Charlie Gehringer, Elbie Fletcher, Bucky Waters, Billy Herman, Cool Papa Bell, Spud Chandler, Pete Reiser, and a host of others. Those were the days when the grass was real, salaries were modest, Bob Feller was America's most famous seventeen-year-old, and idealism was in full swing. "Baseball builds your pride," said pitcher Wes Ferrell, who played it in order "to be a better guy."

Advanced Engineering Mathematics


Dennis G. Zill - 1992
    A Key Strength Of This Text Is Zill'S Emphasis On Differential Equations As Mathematical Models, Discussing The Constructs And Pitfalls Of Each. The Third Edition Is Comprehensive, Yet Flexible, To Meet The Unique Needs Of Various Course Offerings Ranging From Ordinary Differential Equations To Vector Calculus. Numerous New Projects Contributed By Esteemed Mathematicians Have Been Added. Key Features O The Entire Text Has Been Modernized To Prepare Engineers And Scientists With The Mathematical Skills Required To Meet Current Technological Challenges. O The New Larger Trim Size And 2-Color Design Make The Text A Pleasure To Read And Learn From. O Numerous NEW Engineering And Science Projects Contributed By Top Mathematicians Have Been Added, And Are Tied To Key Mathematical Topics In The Text. O Divided Into Five Major Parts, The Text'S Flexibility Allows Instructors To Customize The Text To Fit Their Needs. The First Eight Chapters Are Ideal For A Complete Short Course In Ordinary Differential Equations. O The Gram-Schmidt Orthogonalization Process Has Been Added In Chapter 7 And Is Used In Subsequent Chapters. O All Figures Now Have Explanatory Captions. Supplements O Complete Instructor'S Solutions: Includes All Solutions To The Exercises Found In The Text. Powerpoint Lecture Slides And Additional Instructor'S Resources Are Available Online. O Student Solutions To Accompany Advanced Engineering Mathematics, Third Edition: This Student Supplement Contains The Answers To Every Third Problem In The Textbook, Allowing Students To Assess Their Progress And Review Key Ideas And Concepts Discussed Throughout The Text. ISBN: 0-7637-4095-0

Calculus


Dale E. Varberg - 1999
    Covering various the materials needed by students in engineering, science, and mathematics, this calculus text makes effective use of computing technology, graphics, and applications. It presents at least two technology projects in each chapter.

Operations Research: An Introduction


Hamdy A. Taha - 1976
    The applications and computations in operations research are emphasized. Significantly revised, this text streamlines the coverage of the theory, applications, and computations of operations research. Numerical examples are effectively used to explain complex mathematical concepts. A separate chapter of fully analyzed applications aptly demonstrates the diverse use of OR. The popular commercial and tutorial software AMPL, Excel, Excel Solver, and Tora are used throughout the book to solve practical problems and to test theoretical concepts. New materials include Markov chains, TSP heuristics, new LP models, and a totally new simplex-based approach to LP sensitivity 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.

The Elements of Statistical Learning: Data Mining, Inference, and Prediction


Trevor Hastie - 2001
    With it has come vast amounts of data in a variety of fields such as medicine, biology, finance, and marketing. The challenge of understanding these data has led to the development of new tools in the field of statistics, and spawned new areas such as data mining, machine learning, and bioinformatics. Many of these tools have common underpinnings but are often expressed with different terminology. This book describes the important ideas in these areas in a common conceptual framework. While the approach is statistical, the emphasis is on concepts rather than mathematics. Many examples are given, with a liberal use of color graphics. It should be a valuable resource for statisticians and anyone interested in data mining in science or industry. The book's coverage is broad, from supervised learning (prediction) to unsupervised learning. The many topics include neural networks, support vector machines, classification trees and boosting—the first comprehensive treatment of this topic in any book. Trevor Hastie, Robert Tibshirani, and Jerome Friedman are professors of statistics at Stanford University. They are prominent researchers in this area: Hastie and Tibshirani developed generalized additive models and wrote a popular book of that title. Hastie wrote much of the statistical modeling software in S-PLUS and invented principal curves and surfaces. Tibshirani proposed the Lasso and is co-author of the very successful An Introduction to the Bootstrap. Friedman is the co-inventor of many data-mining tools including CART, MARS, and projection pursuit.

The Fractal Geometry of Nature


Benoît B. Mandelbrot - 1977
    The complexity of nature's shapes differs in kind, not merely degree, from that of the shapes of ordinary geometry, the geometry of fractal shapes.Now that the field has expanded greatly with many active researchers, Mandelbrot presents the definitive overview of the origins of his ideas and their new applications. The Fractal Geometry of Nature is based on his highly acclaimed earlier work, but has much broader and deeper coverage and more extensive illustrations.

Probability Theory: The Logic of Science


E.T. Jaynes - 1999
    It discusses new results, along with applications of probability theory to a variety of problems. The book contains many exercises and is suitable for use as a textbook on graduate-level courses involving data analysis. Aimed at readers already familiar with applied mathematics at an advanced undergraduate level or higher, it is of interest to scientists concerned with inference from incomplete information.

Bystander: A History of Street Photography


Colin Westerbeck - 1994
    It grew out of a 15-year collaboration between an esteemed curator and a distinguished photographer. The work of such celebrated masters as Arget, Stieglitz, Cartier-bresson, Brassai, Walker Evans, Robert Frank and Garry Winogrand is presented here, along with extraordinary photos by complete unknowns. Colin Westerbeck's text illuminates each image and he has also contributed a new illustrated afterword for this paperback edition, which examines contemporary street photography.

Concrete Mathematics: A Foundation for Computer Science


Ronald L. Graham - 1988
    "More concretely," the authors explain, "it is the controlled manipulation of mathematical formulas, using a collection of techniques for solving problems."

Company of Heroes: My Life as an Actor in the John Ford Stock Company


Harry Carey Jr. - 1994
    Offers an intimate look at the work of Hollywood director John Ford through the observant eyes of actor Harry Carey, Jr.