The Little Schemer

Author: Daniel P. Friedman
Publisher: MIT Press
ISBN: 9780262560993
Size: 30.80 MB
Format: PDF, Docs
View: 6179
Download
"drawings by Duane Bibby" foreword by Gerald J. Sussman "I learned more about LISP from this book than I have from any of the other LISP books I've read over the years. . . . While other books will tell you the mechanics of LISP, they can leave you largely uninformed on the style of problem-solving for which LISP is optimized. The Little LISPer teaches you how to think in the LISP language. . . an inexpensive, enjoyable introduction." -- Gregg Williams, Byte The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both "The Little Schemer" (formerly known as "The Little LISPer" ) and its new companion volume, "The Seasoned Schemer," apart from other books on LISP. The authors' enthusiasm for their subject is compelling as they present abstract concepts in a humorous and easy-to-grasp fashion. Together, these books will open new doors of thought to anyone who wants to find out what computing is really about. "The Little Schemer" introduces computing as an extension of arithmetic and algebra -- things that everyone studies in grade school and high school. It introduces programs as recursive functions and briefly discusses the limits of what computers can do. The authors use the programming language Scheme, and interesting foods to illustrate these abstract ideas. "The Seasoned Schemer" informs the reader about additional dimensions of computing: functions as values, change of state, and exceptional cases. "The Little LISPer" has been a popular introduction to LISP for many years. It had appeared in French and Japanese. "The Little Schemer" and "The SeasonedSchemer" are worthy successors and will prove equally popular as textbooks for Scheme courses as well as companion texts for any complete introductory course in Computer Science. Download DrScheme - a graphical environment for developing Scheme programs

The Seasoned Schemer

Author: Daniel P. Friedman
Publisher: MIT Press
ISBN: 9780262561006
Size: 28.47 MB
Format: PDF, ePub, Mobi
View: 5832
Download
"drawings by Duane Bibby" foreword and afterword by Guy L. Steele Jr. "I learned more about LISP from this book than I have from any of the other LISP books I've read over the years. . . . While other books will tell you the mechanics of LISP, they can leave you largely uninformed on the style of problem-solving for which LISP is optimized. The Little LISPer teaches you how to think in the LISP language. . . an inexpensive, enjoyable introduction." -- Gregg Williams, Byte The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both "The Little Schemer" (formerly known as "The Little LISPer" ) and its new companion volume, "The Seasoned Schemer," apart from other books on LISP. The authors' enthusiasm for their subject is compelling as they present abstract concepts in a humorous and easy-to-grasp fashion. Together, these books will open new doors of thought to anyone who wants to find out what computing is really about. "The Little Schemer" introduces computing as an extension of arithmetic and algebra -- things that everyone studies in grade school and high school. It introduces programs as recursive functions and briefly discusses the limits of what computers can do. The authors use the programming language Scheme, and interesting foods to illustrate these abstract ideas. "The Seasoned Schemer" informs the reader about additional dimensions of computing: functions as values, change of state, and exceptional cases. "The Little LISPer" has been a popular introduction to LISP for many years. It had appeared in French and Japanese. "The Little Schemer" and"The Seasoned Schemer" are worthy successors and will prove equally popular as textbooks for Scheme courses as well as companion texts for any complete introductory course in Computer Science. Download DrScheme - a graphical environment for developing Scheme programs

The Reasoned Schemer

Author: Daniel P. Friedman
Publisher: MIT Press
ISBN: 0262562146
Size: 46.29 MB
Format: PDF, Docs
View: 985
Download
The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming is a natural extension of functional programming, and they demonstrate this by extending the functional language Scheme with logical constructs -- thereby combining the benefits of both styles. The extension encapsulates most of the ideas in the logic programming language Prolog. The pedagogical method of The Reasoned Schemer is a series of questions and answers, which proceed with the characteristic humor that marked The Little Schemer and The Seasoned Schemer. Familiarity with a functional language or with the first eight chapters of The Little Schemer is assumed. Adding logic capabilities required the introduction of new forms. The authors' goal is to show to what extent writing logic programs is the same as writing functional programs using these forms. In this way, the reader of The Reasoned Schemer will come to understand how simple logic programming is and how easy it is to define functions that behave like relations.

A Little Java A Few Patterns

Author: Matthias Felleisen
Publisher: MIT Press
ISBN: 9780262561150
Size: 21.16 MB
Format: PDF, Docs
View: 6802
Download
foreword by Ralph E. Johnson and drawings by Duane Bibby 'This is a book of 'why' not 'how.' If you are interested in the nature of computation and curious about the very idea behind object orientation, this book is for you. This book will engage your brain (if not your tummy). Through its sparkling interactive style, you will learn about three essential OO concepts: interfaces, visitors, and factories. A refreshing change from the 'yet another Java book' phenomenon. Every serious Java programmer should own a copy.' -- Gary McGraw, Ph.D., Research Scientist at Reliable Software Technologies and coauthor of Java Security Java is a new object-oriented programming language that was developed by Sun Microsystems for programming the Internet and intelligent appliances. In a very short time it has become one of the most widely used programming languages for education as well as commercial applications. Design patterns, which have moved object-oriented programming to a new level, provide programmers with a language to communicate with others about their designs. As a result, programs become more readable, more reusable, and more easily extensible. In this book, Matthias Felleisen and Daniel Friedman use a small subset of Java to introduce pattern-directed program design. With their usual clarity and flair, they gently guide readers through the fundamentals of object-oriented programming and pattern-based design. Readers new to programming, as well as those with some background, will enjoy their learning experience as they work their way through Felleisen and Friedman's dialogue. src='/graphics/yellowball.gif' href='/books/FELTP/Java-fm.html'Foreword and Preface

The Little Lisper

Author: Daniel P. Friedman
Publisher:
ISBN:
Size: 41.80 MB
Format: PDF, ePub, Mobi
View: 5712
Download
There are surprises in store for the diligent reader of this masterful introduction to recursion as a fundamental tool for expressing and solving problems. With wit and wisdom, The Little LISPer unfolds some of the most beautiful concepts in mathematics, computer science, and logic. The authors' goal is to show that recursive thinking is first of all fun, that it is powerful, and that the programming language Lisp allows one to express ideas recursively and naturally. There are hard problems along the way, but their solution brings mastery of recursive, functional, and meta-linguistic abstractions, developing skills in the underlying creative programming in Lisp. The Little LISPer is self-contained: an interpreter for the language is developed using the tools of the book itself .

The Little Prover

Author: Daniel P. Friedman
Publisher: MIT Press
ISBN: 0262527952
Size: 59.93 MB
Format: PDF, Kindle
View: 6837
Download
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 Typer

Author: Daniel P. Friedman
Publisher: MIT Press
ISBN: 0262536439
Size: 71.35 MB
Format: PDF, Mobi
View: 6996
Download
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 very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming—pairs, lists, functions, and recursion—can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.

Clowning Around

Author: Wanda E. Brunstetter
Publisher: Barbour Publishing
ISBN: 1628367644
Size: 73.92 MB
Format: PDF, ePub, Docs
View: 5424
Download
Joe Richey has spent most of his life clowning around. He's become the "good guy" who jokes about everything and laughs through life. Lois Johnson broke up with her rich boyfriend who wasn't a Christian. She's committed to serving the Lord through her new job. When Slow-Joe the Clown falls into her lap, Lois wonders if he might be the man God has in mind for her. Is Joe what Lois is looking for in a man? Or will his jesting be bad for their relationship? Can Joe connect with his real feelings, or will he spend the rest of his life clowning around?

Heartless

Author: Kat Martin
Publisher: St. Martin's Paperbacks
ISBN: 1466858079
Size: 58.34 MB
Format: PDF, Docs
View: 1349
Download
HEARTLESS is a spellbinding classic Kat Martin romance—now available as an e-book for the very first time! To escape her life of poverty as a tenant farmer's daughter, Ariel Summers made a bargain with the devil—she would become the Earl of Greville's mistress in exchange for the schooling and refinements of a lady. But she couldn't foresee the earl's timely death, or her own disturbing attraction to his bastard son and heir, Justin Ross. Justin never meant to demand payment from the tempting young woman his father had so callously planned to ruin. But her innocent allure provoked his ruthless nature and he vowed he would have her in his bed. Seduction was his plan, but Justin never suspected Ariel's innocent passion would awaken emotions he had long thought dead. Now mistrust and betrayal threaten the fragile happiness the two of them have found, and Justin must convince Ariel he isn't the heartless man she believes him to be.

The Tale Of The Body Thief

Author: Anne Rice
Publisher: Ballantine Books
ISBN: 0307575918
Size: 55.54 MB
Format: PDF, ePub, Docs
View: 7607
Download
In a gripping feat of storytelling, Anne Rice continues the extraordinary Vampire Chronicles that began with the now-classic Interview with the Vampire. For centuries, Lestat—vampire-hero, enchanter, seducer of mortals—has been a courted prince in the dark and flourishing universe of the living dead. Now he is alone. And in his overwhelming need to destroy his doubts and his loneliness, Lestat embarks on the most dangerous enterprise he has undertaken in all the years of his haunted existence. Look for a special preview of Anne Rice’s Prince Lestat in the back of the book. The Vampire Chronicles continue in Prince Lestat and the Realms of Atlantis, available for pre-order now. Praise for The Tale of the Body Thief “Tinged with mystery, full of drama . . . The story is involving, the twists surprising.”—People “Rice is our modern messenger of the occult, whose nicely updated dark-side passion plays twist and turn in true Gothic form.”—San Francisco Chronicle “Fast-paced . . . . mesmerizing . . . silkenly sensuous . . . No one writing today matches her deftness with the erotic.”—The Atlanta Journal-Constitution “Hypnotic . . . masterful.”—Cosmopolitan From the Trade Paperback edition.