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.

    The nature of football continually changes, which means its analysis must also keep pace. This book is for students, thinkers, and theorists of the game.'Ted Hopkins - Carlton premiership player, author, and co-founder of Champion Data. Australian Rules football has been described as the most data-rich sport on Earth. Every time and everywhere an AFL side takes to the field, it is shadowed by an army of statisticians and number crunchers. The information they gather has become the sport's new language and currency. ABC journalist James Coventry, author of the acclaimed Time and Space, has joined forces with a group of razor-sharp analysts to decipher the data, and to use it to question some of football's long-held truisms. Do umpires really favour the home side? Has goal kicking accuracy deteriorated? Is Geelong the true master of the draft? Are blonds unfairly favoured in Brownlow medal voting? And are Victorians the most passionate fans? Through a blend of entertaining storytelling and expert analysis, this book will answer more questions about footy than you ever thought to ask. Praise for Time and Space:'Brilliant, masterful' - The Guardian'Arguably one of the most important books yet written on Australian Rules football.' - Inside History'Should find its way into the hands of every coach.' - AFL Record

    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.

    Integration is treated before differentiation -- this is a departure from most modern texts, but it is historically correct, and it is the best way to establish the true connection between the integral and the derivative. Proofs of all the important theorems are given, generally preceded by geometric or intuitive discussion. This Second Edition introduces the mean-value theorems and their applications earlier in the text, incorporates a treatment of linear algebra, and contains many new and easier exercises. As in the first edition, an interesting historical introduction precedes each important new concept.

    Beginning millions of years ago with ancient “ant odometers” and moving through time to our modern-day quest for new dimensions, it covers 250 milestones in mathematical history. Among the numerous delights readers will learn about as they dip into this inviting anthology: cicada-generated prime numbers, magic squares from centuries ago, the discovery of pi and calculus, and the butterfly effect. Each topic gets a lavishly illustrated spread with stunning color art, along with formulas and concepts, fascinating facts about scientists’ lives, and real-world applications of the theorems.

    It covers areas such as fundamentals, logic, counting, relations and digraphs, trees, topics in graph theory, languages and finite-state machines, and groups and coding.

    The book's careful account is a contemporary balance between theory, application, and historical development, providing it's readers with an insight into how mathematics progresses and is in turn influenced by the natural world.

    It uses examples and exercise sets, with clear explanations of problem-solving techniqes and material on the further theory of functions.

    With problems and solutions. Includes 99 illustrations.

    The text begins with a discussion of the real number system as a complete ordered field. (Dedekind's construction is now treated in an appendix to Chapter I.) The topological background needed for the development of convergence, continuity, differentiation and integration is provided in Chapter 2. There is a new section on the gamma function, and many new and interesting exercises are included. This text is part of the Walter Rudin Student Series in Advanced Mathematics.

    In this unconventional introduction, physicist Leonard Susskind and hacker-scientist George Hrabovsky offer a first course in physics and associated math for the ardent amateur. Unlike most popular physics books—which give readers a taste of what physicists know but shy away from equations or math—Susskind and Hrabovsky actually teach the skills you need to do physics, beginning with classical mechanics, yourself. Based on Susskind's enormously popular Stanford University-based (and YouTube-featured) continuing-education course, the authors cover the minimum—the theoretical minimum of the title—that readers need to master to study more advanced topics.An alternative to the conventional go-to-college method, The Theoretical Minimum provides a tool kit for amateur scientists to learn physics at their own pace.

    Linear algebra is tightly integrated into the text.

    Capturing the tone of students exchanging ideas among themselves, this unique guide also explains how calculus is taught, how to get the best teachers, what to study, and what is likely to be on exams—all the tricks of the trade that will make learning the material of first-semester calculus a piece of cake. Funny, irreverent, and flexible, How to Ace Calculus shows why learning calculus can be not only a mind-expanding experience but also fantastic fun.

    It also explains the "why" of trigonometry, using real-world examples that illustrate the value of trigonometry in a variety of careers. Mary Jane Sterling (Peoria, IL) has taught mathematics at Bradley University in Peoria for more than 20 years. She is also the author of the highly successful Algebra For Dummies (0-7645-5325-9).

    His Contemporary Abstract Algebra, 6/e, includes challenging topics in abstract algebra as well as numerous figures, tables, photographs, charts, biographies, computer exercises, and suggested readings that give the subject a current feel and makes the content interesting and relevant for students.