……以及数学和编程语言中的推理。”如果有人对此感兴趣，可以看看下面几本书：* 《用 Logo 探索语言》：https://www.amazon.com/gp/product/0262570653 * 《用 Logo 进行视觉建模：结构化观察方法》：https://www.amazon.com/gp/product/0262530694 * 《海龟几何：作为探索数学媒介的计算机》：https://www.amazon.com/Turtle-Geometry-Mathematics-Artificia...……
…and reasoning in mathematics and programming languages." If anyone is interested in this, there are the following books: * Exploring Language with Logo: https://www.amazon.com/gp/product/0262570653 * Visual Modeling with Logo: A Structured Approach to Seeing: https://www.amazon.com/gp/product/0262530694 * Turtle Geometry: The Computer as a Medium for Exploring Mathematics: https://www.amazon.com/Turtle-Geometry-Mathematics-Artificia...…
……合著者之一正是赫赫有名的哈罗德·阿贝尔森，他也是那本（声名狼藉/大名鼎鼎的）SICP 的合著者。如果你想找一本没上一本推荐那么硬核的书，可以看看詹姆斯·克莱森写的《用 Logo 进行视觉建模：结构化观察方法》。
…One of the co-author is no less than Harold Abelson, who is also a co-author of the (in)famous SICP. If you are looking for a book a little less hardcore than the previous recommendation, check out Visual Modeling With Logo: A Structured Approach to Seeing by James Clayson.
……《用 Go 写解释器》和《用 Go 写编译器》（两本出自同一作者）* 《用 Lisp 介绍区块链：用 Racket 语言实现与扩展区块链》* 《用 Logo 探索语言》* 《用 Logo 进行视觉建模》* 《海龟几何：作为探索媒介的计算机》* 《计算即思考：入门教程》（用 Prolog 解决小项目中的各种问题）* 《Elixir 函数式 Web 开发》……
…Interpreter in Go and Writing a Compiler in Go (both by the same author) * Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language * Exploring Language with Logo * Visual Modeling with Logo * Turtle Geometry: The Computer as a Medium for Exploring * Thinking as Computation: A First Course (uses Prolog to solve various problems in small projects) * Functional Web Development with Elixir,…
没问题！也谢谢你的这篇帖子！也许我现在就该去下单把哈维那套 Logo 系列丛书给买了。我还订了另一本叫《用 Logo 进行视觉建模：结构化观察方法》的书，看着也非常有意思。我是被它的简介吸引的：***** > 本书配有大量惊艳的插图，提供了一段激动人心的探索之旅……
No problem! And thank you for this post! Maybe I should go ahead and hit purchase on Harvey's Logo book series now. There's also another book called Visual Modeling with Logo: A Structured Approach to Seeing that I've ordered that looks very interesting as well. I was drawn in by the description: ***** > Filled with striking illustrations, this book offers an exciting exploration…
……以及数学和编程语言中的推理。”如果有人对此感兴趣，可以看看下面几本书：* 《用 Logo 探索语言》：https://www.amazon.com/gp/product/0262570653 * 《用 Logo 进行视觉建模：结构化观察方法》：https://www.amazon.com/gp/product/0262530694 * 《海龟几何：作为探索数学媒介的计算机》：https://www.amazon.com/Turtle-Geometry-Mathematics-Artificia...……
…and reasoning in mathematics and programming languages." If anyone is interested in this, there are the following books: * Exploring Language with Logo: https://www.amazon.com/gp/product/0262570653 * Visual Modeling with Logo: A Structured Approach to Seeing: https://www.amazon.com/gp/product/0262530694 * Turtle Geometry: The Computer as a Medium for Exploring Mathematics: https://www.amazon.com/Turtle-Geometry-Mathematics-Artificia...…
……合著者之一正是赫赫有名的哈罗德·阿贝尔森，他也是那本（声名狼藉/大名鼎鼎的）SICP 的合著者。如果你想找一本没上一本推荐那么硬核的书，可以看看詹姆斯·克莱森写的《用 Logo 进行视觉建模：结构化观察方法》。
…One of the co-author is no less than Harold Abelson, who is also a co-author of the (in)famous SICP. If you are looking for a book a little less hardcore than the previous recommendation, check out Visual Modeling With Logo: A Structured Approach to Seeing by James Clayson.
……《用 Go 写解释器》和《用 Go 写编译器》（两本出自同一作者）* 《用 Lisp 介绍区块链：用 Racket 语言实现与扩展区块链》* 《用 Logo 探索语言》* 《用 Logo 进行视觉建模》* 《海龟几何：作为探索媒介的计算机》* 《计算即思考：入门教程》（用 Prolog 解决小项目中的各种问题）* 《Elixir 函数式 Web 开发》……
…Interpreter in Go and Writing a Compiler in Go (both by the same author) * Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language * Exploring Language with Logo * Visual Modeling with Logo * Turtle Geometry: The Computer as a Medium for Exploring * Thinking as Computation: A First Course (uses Prolog to solve various problems in small projects) * Functional Web Development with Elixir,…
没问题！也谢谢你的这篇帖子！也许我现在就该去下单把哈维那套 Logo 系列丛书给买了。我还订了另一本叫《用 Logo 进行视觉建模：结构化观察方法》的书，看着也非常有意思。我是被它的简介吸引的：***** > 本书配有大量惊艳的插图，提供了一段激动人心的探索之旅……
No problem! And thank you for this post! Maybe I should go ahead and hit purchase on Harvey's Logo book series now. There's also another book called Visual Modeling with Logo: A Structured Approach to Seeing that I've ordered that looks very interesting as well. I was drawn in by the description: ***** > Filled with striking illustrations, this book offers an exciting exploration…