{"title":"Daniel P Friedman","description":"\u003cp\u003eDelve into the innovative world of Daniel P. Friedman, a pioneer in computer science education. Explore his influential works on programming languages and the art of problem-solving, perfect for aspiring and seasoned coders alike.\u003c\/p\u003e","products":[{"product_id":"little-schemer-book-daniel-p-friedman-9780262560993","title":"The Little Schemer","description":"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 a menu of interesting foods to illustrate these abstract ideas. The Seasoned Schemer introduces the reader to 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 has 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.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49564847276305,"sku":"GOR002855455","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":49729684734225,"sku":"NGR9780262560993","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":49992907948305,"sku":"CIN0262560992G","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":50449966334225,"sku":"GOR002986511","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51075163357457,"sku":"CIN0262560992VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":53347158589713,"sku":"GOR008743328","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0262560992.jpg?v=1751422606"},{"product_id":"reasoned-schemer-book-daniel-p-friedman-9780262535519","title":"The Reasoned Schemer","description":"Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer think functionally.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.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49726086447377,"sku":"NGR9780262535519","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50139240988945,"sku":"CIN0262535513G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50495153176849,"sku":"GOR013246857","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51694037074193,"sku":"CIN0262535513VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0262535513.jpg?v=1751195471"},{"product_id":"little-typer-book-daniel-p-friedman-9780262536431","title":"The Little Typer","description":"\u003cb\u003eAn introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.\u003c\/b\u003e \u003cp\u003eA 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. \u003ci\u003eThe Little Typer\u003c\/i\u003e 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 \u003ci\u003eThe Little Schemer\u003c\/i\u003e.\u003c\/p\u003e \u003cp\u003eThe first five chapters of \u003ci\u003eThe Little Typer\u003c\/i\u003e 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. \u003ci\u003eThe Little Typer\u003c\/i\u003e 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.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49727106908433,"sku":"NGR9780262536431","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50037857747217,"sku":"CIN0262536439G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50761662628113,"sku":"CIN0262536439VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51143717585169,"sku":"GOR010306885","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":53268394410257,"sku":"GOR014847271","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0262536439.jpg?v=1751164888"},{"product_id":"seasoned-schemer-book-daniel-p-friedman-9780262561006","title":"The Seasoned Schemer","description":"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 a menu of interesting foods to illustrate these abstract ideas. The Seasoned Schemer introduces the reader to 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 has 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.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49729358790929,"sku":"NGR9780262561006","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50094524596497,"sku":"CIN026256100XG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51067742421265,"sku":"GOR006283862","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":51543964877073,"sku":"GOR014322354","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51602600689937,"sku":"CIN026256100XVG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/026256100X.jpg?v=1751259019"},{"product_id":"essentials-of-programming-languages-book-daniel-p-friedman-9780262062794","title":"Essentials of Programming Languages","description":"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 representation of the program text) to express the semantics of many essential language elements in a way that is both clear and executable. The approach is both analytical and hands-on. The book provides views of programming languages using widely varying levels of abstraction, maintaining a clear connection between the high-level and low-level views. Exercises are a vital part of the text and are scattered throughout; the text explains the key concepts, and the exercises explore alternative designs and other issues. The complete Scheme code for all the interpreters and analyzers in the book can be found online through The MIT Press web site. For this new edition, each chapter has been revised and many new exercises have been added. Significant additions have been made to the text, including completely new chapters on modules and continuation-passing style. Essentials of Programming Languages can be used for both graduate and undergraduate courses, and for continuing education courses for programmers.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49730012250385,"sku":"NGR9780262062794","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50486444654865,"sku":"CIN0262062798G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50956000461073,"sku":"CIN0262062798VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0262062798.jpg?v=1750695310"},{"product_id":"little-prover-book-daniel-p-friedman-9780262527958","title":"The Little Prover","description":"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 to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49731675685137,"sku":"NGR9780262527958","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":50486445408529,"sku":"CIN0262527952G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50761662136593,"sku":"CIN0262527952VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":52365316096273,"sku":"GOR009901806","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":53228840648977,"sku":"GOR014816768","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0262527952.jpg?v=1750940515"},{"product_id":"little-learner-book-daniel-p-friedman-9780262546379","title":"The Little Learner","description":"\u003cb\u003eA highly accessible, step-by-step introduction to deep learning, written in an engaging, question-and-answer style.\u003c\/b\u003e\u003cbr\u003e \u003cbr\u003e \u003ci\u003eThe Little Learner\u003c\/i\u003e introduces deep learning from the bottom up, inviting students to learn by doing. With the characteristic humor and Socratic approach of classroom favorites \u003ci\u003eThe Little Schemer\u003c\/i\u003e and \u003ci\u003eThe Little Typer,\u003c\/i\u003e this kindred text explains the workings of deep neural networks by constructing them incrementally from first principles using little programs that build on one another. Starting from scratch, the reader is led through a complete implementation of a substantial application- a recognizer for noisy Morse code signals. Example-driven and highly accessible, \u003ci\u003eThe Little Learner\u003c\/i\u003e covers all of the concepts necessary to develop an intuitive understanding of the workings of deep neural networks, including tensors, extended operators, gradient descent algorithms, artificial neurons, dense networks, convolutional networks, residual networks, and automatic differentiation.\u003cbr\u003e \u003cbr\u003e \u003cul\u003e \u003cli\u003eConversational style, illustrations, and question-and-answer format make deep learning accessible and fun\u003c\/li\u003e \u003cli\u003eIncremental approach constructs advanced concepts from first principles\u003c\/li\u003e \u003cli\u003ePresents key ideas of machine learning using a small, manageable subset of the Scheme language\u003c\/li\u003e \u003cli\u003eSuitable for anyone with knowledge of high school math and some programming experience\u003c\/li\u003e \u003c\/ul\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49744524050705,"sku":"NGR9780262546379","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49790077796625,"sku":"GOR013785545","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":51383744626961,"sku":"CIN026254637XG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51861009760529,"sku":"CIN026254637XVG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/026254637X.jpg?v=1750877522"},{"product_id":"little-lisper-book-daniel-p-friedman-9780262560382","title":"The Little LISPer","description":"\u003cp\u003eSteve Galluccio's newest stage triumph, \u003ci\u003eIn Piazza San Domenico\u003c\/i\u003e, is a comedy of errors that takes place in a bustling neighbourhood of 1952 Naples. \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003eThis two-act play recounts the story of how one broken engagement ripples throughout friends and family, affecting all of their respective love lives in different ways. The young and beautifully earthy Carmelina faints in the arms of the town philanderer, Tonino, setting off a wave of malicious gossip that seems to infect everyone in town with second thoughts about their current partners--and inexplicable desires for new ones--as often as not consummated on that shadowed spot of carpet behind the statue of San Francesco in the church on the town square. Finally, as if the very gods are angry with these salacious goings-on, an earthquake hits the town, sending the characters into the piazza and keeping them there for the night with a series of ominous aftershocks. As the sun rises, misunderstandings are resolved, the truth is revealed, and hardened hearts yield to the eternally verdant desires for life. \u003cp\u003e\u003c\/p\u003eIn a world and a time hovering between the traditional values and the emancipated new thinking, Italian theatrical archetypes with their roots in Roman comedies and the \u003ci\u003eCommedia dell'arte\u003c\/i\u003e evolve into the recognizable stereotypes of mid-twentieth-century society that were to become hallmarks of the whimsical Sophia Loren\/Marcello Mastroianni films of the early 1960s. \u003cp\u003e\u003c\/p\u003eOf this play, Galluccio has said: Humour is a powerful tool that can get us through anything . the human spirit and its sense of survival is bigger than whatever society can throw at us.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49791795855633,"sku":"CIN0262560380G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0262560380.jpg?v=1750695414"},{"product_id":"essentials-of-programming-languages-book-daniel-p-friedman-9780262062176","title":"Essentials of Programming Languages","description":"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 representation of the program text) to express the semantics of many essential language elements in a way that is both clear and executable. The approach is both analytical and hands-on. The book provides views of programming languages using widely varying levels of abstraction, maintaining a clear connection between the high-level and low-level views. Exercises are a vital part of the text and are scattered throughout; the text explains the key concepts, and the exercises explore alternative designs and other issues. The complete Scheme code for all the interpreters and analyzers in the book can be found online through The MIT Press web site. For this new edition, each chapter has been revised and many new exercises have been added. Significant additions have been made to the text, including completely new chapters on modules and continuation-passing style. Essentials of Programming Languages can be used for both graduate and undergraduate courses, and for continuing education courses for programmers.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49975871144209,"sku":"CIN0262062178G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51424234668305,"sku":"CIN0262062178VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":53247803130129,"sku":"CIN0262062178A","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0262062178.jpg?v=1751324131"},{"product_id":"reasoned-schemer-book-daniel-p-friedman-9780262562140","title":"The Reasoned Schemer","description":"Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer think functionally.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.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49992913420561,"sku":"CIN0262562146G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50167703142673,"sku":"GOR006263725","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50271163842833,"sku":"CIN0262562146VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":51612478767377,"sku":"GOR011754544","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0262562146.jpg?v=1762337756"},{"product_id":"essentials-of-programming-languages-book-daniel-p-friedman-9780262061452","title":"Essentials of Programming Languages","description":"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 representation of the program text) to express the semantics of many essential language elements in a way that is both clear and executable. The approach is both analytical and hands-on. The book provides views of programming languages using widely varying levels of abstraction, maintaining a clear connection between the high-level and low-level views. Exercises are a vital part of the text and are scattered throughout; the text explains the key concepts, and the exercises explore alternative designs and other issues. The complete Scheme code for all the interpreters and analyzers in the book can be found online through The MIT Press web site. For this new edition, each chapter has been revised and many new exercises have been added. Significant additions have been made to the text, including completely new chapters on modules and continuation-passing style. Essentials of Programming Languages can be used for both graduate and undergraduate courses, and for continuing education courses for programmers.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50347486970129,"sku":"CIN0262061457G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":52816362078481,"sku":"CIN0262061457VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0262061457.jpg?v=1751005390"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-daniel-p-friedman.oembed","provider":"World of Books ","version":"1.0","type":"link"}