A highly accessible, step-by-step introduction to deep learning, written in an engaging, question-and-answer style.The Little Learner introduces deep learning from the bottom up, inviting students to learn by doing. With the characteristic humor and Socratic approach of classroom favorites The Little Schemer and The Little Typer, this kindred text explains the workings of deep neural networks by constructing them incrementally from first ...

A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.The goal of this book is to show the beauty and elegance of relational programming, which captures the essence of logic programming. The book shows how to implement a relational programming language in Scheme, or in any other functional language, and demonstrates the remarkable flexibility of the ...

A new edition of a textbook that provides students with a deep, working understanding of the essential concepts of programming languages, completely revised, with significant new material.This book provides students with a deep, working understanding of the essential concepts of programming languages. Most of these essentials relate to the semantics, or meaning, of program elements, and the text uses interpreters (short programs that directly analyze an abstract re...

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks...

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way...

The King of Chicago is the story of a father-son relationship as real and hugely loving as that in Philip Roth’s Patrimony. At its heart is a young son who tries furiously to heal his father from a violent childhood inside a Chicago orphanage. The orphanage, the Marks Nathan Home, still stands today on the West Side of Chicago, marked by a tarnished, barely legible plaque. Once home to 14,000 Jewish orphans, it is now just another barely remembered relic of a great city. ...

We are increasingly represented by the data institutions collect about us: records, scores, classifications, histories, patterns, and predictions. Over time, those individual fragments can harden into a database identity-an institutional version of a person that may be accurate in pieces while still telling the wrong, or incomplete, story.Schools are a particularly important part of this transformation because they collect data about children who are still growing, changing, and be...

The Edgar Award-nominated Buck Schatz series of mysteries featuring a retired cop in Memphis continues with Running Out of Road."Daniel Friedman has done it again—only better."— Michael Sears, bestselling author of Black FridaysOnce, Detective Buck Schatz patrolled the city of Memphis, chasing down robbers and killers with a blackjack truncheon and a .357. But he's been retired for decades. Now he's frail and demented, and ...

This book focuses on markets organized as double auctions in which both buyers and sellers can submit bids and asks for standardized units of well-defined commodities and securities. It examines evidence from the laboratory and computer simulations.

Over the last 25 years, evolutionary game theory has grown with theoretical contributions from the disciplines of mathematics, economics, computer science and biology. It is now ripe for applications. In this book, Daniel Friedman---an economist trained in mathematics---and Barry Sinervo---a biologist trained in mathematics---offer the first unified account of evolutionary game theory aimed at applied researchers. They show how to use a single set of tools to build useful models for three ...

Doyle’s World is no ordinary biography about one of the world's most influential writers. It is instead a work that deciphers in particular the cryptic origins and actual scientific methods used by fiction's most famous consulting detective Sherlock Holmes—and a work that provides a detailed look into the psyche and working life of Holmes’ creator, Sir Arthur Conan Doyle.The book follows Doyle’s entire illustrious literary career, with emphasis on the Sherlock Hol...

In the spring of 1905, members of an exclusive club of crime enthusiasts known as Our Society were taken on a guided excursion through Whitechapel, one of London’s most notorious districts, by Dr. Frederick Gordon Brown, the chief police surgeon for the City of London. But this was no ordinary sightseeing tour. The focus of the outing was Jack the Ripper’s reputed murder sites, and among the guests that day was Sir Arthur Conan Doyle, creator of the world’s greatest detective, Sherlock Hol...