MIT6.945课程，SICP课程的继任者。

最新推荐文章于 2023-07-26 17:41:09 发布
最新推荐文章于 2023-07-26 17:41:09 发布
阅读量403 收藏
点赞数
分类专栏： SICP 文章标签： fp sicp mit

之前曾有新闻说SICP6.001课程被最新得6.00、6.01、6.02所替代，6.001正式“退休”。

而在刚收到的MITOCW上的订阅邮件，MIT更新了OCW网页上的课程，其中新课程有一门6.945 Adventures in Advanced Symbolic Programming，级别是Graduate，由Gerald Sussman（SICP的作者之一）教授，其中阅读列表中包含了SICP。

也许，这门课就是SICP的继承者。

课程网页：

http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-945Spring-2009/CourseHome/index.htm



Logo of MIT/GNU Scheme, the programming language used in this course, showing successively smaller versions of a shield containing a smaller shield, etc.

6.945 Adventures in Advanced Symbolic Programming

Course Description
This course covers concepts and techniques for the design and implementation of large software systems that can be adapted to uses not anticipated by the designer. Applications include compilers, computer-algebra systems, deductive systems, and some artificial intelligence applications. Topics include combinators, generic operations, pattern matching, pattern-directed invocation, rule systems, backtracking, dependencies, indeterminacy, memoization, constraint propagation, and incremental refinement. Substantial weekly programming assignments are an integral part of the subject.

 

iteye_10039
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
sicp-mit-4
yilu_beiyu的博客
01-24 273
#lang sicp ;;https://www.bilibili.com/video/BV1Xx41117tr ;;https://github.com/DeathKing/Learning-SICP/tree/master/SrtCN ;;第四节 ;;;现在到了数学抽象中最关键的一步：让我们忘记这些符号所表示的对象 ;;;......（数学家）不应在这里停步，有许多操作可以应用与这些符号， ;;;而根本不必考虑它们到底代表着什么东西。 ;;;---hermann wey1，思维的数学方式 ;...
sicp-mit-7
yilu_beiyu的博客
01-29 437
#lang sicp ;;https://www.bilibili.com/video/BV1Xx41117tr ;;https://github.com/DeathKing/Learning-SICP/tree/master/SrtCN ;;第七节 ;;;求导过程，可以总结为： ;;;将模式，根据规则，生成骨架 ;;;模式用来匹配源表达式 ;;;骨架用于实例化为新的表达式 ;;;pattern -----------rule--------> skeleton ;;; | ...
sicp-mit-11 流
yilu_beiyu的博客
02-07 398
#lang sicp ;;https://www.bilibili.com/video/BV1Xx41117tr ;;https://github.com/DeathKing/Learning-SICP/tree/master/SrtCN ;;第十一节 ;;;我们不仅要关注值，也要关注时序 ;;;we have to think about not only about values, but about time ;;计算一棵树种奇数的平方和 (define (sum-odd-square...
MIT 6.001：SICP 2nd （word版和chm版）共享下载
穿过午夜
12-05 324
MIT 6.001：SICP 2nd （Structure and Interpretation of Computer Programs -Second edition）   Harold Abelson and Gerald Jay Sussman   这本书有多经典，这里就不再累述。空闲之余翻翻，收获不小。   为了便于学习——主要是做读书笔记，本人花了一点时间整理了一个word版本。 ...
86版 MIT SICP 计算过程 视频笔记（一）
qq_43071318的博客
05-25 1124
本以为自己已经基本看懂了课程中所讲述的元循环求值器了，但种种事实证明，还欠火候，那再回过头来看看关于基础代换模型以及相关的一些知识吧。 一、基础加法过程 首先，直接先来看一个基础加法过程的实现： (define (+ a b) (if (= a 0) b (+ (-1+ a) (1+ b)))) 那对上面这个过程，应用代换模型，我们会得到： (+ 3 4) (if (= 3 0) 4 (+ (-1+ 3) (1+ 4))) (+ (-1+ 3) (1+ 4)) (+ (-1+
MIT-SICP:传奇的 MIT 6.001 Purple Book 中的问题和项目
06-19
传奇的 MIT 6.001 Purple Book 中的问题和项目。 第 1 章- 表达式、命名和环境、评估组合、复合过程、替换模型、应用顺序评估、正常顺序评估、条件表达式和谓词、数值分析、平方根、立方根、黑盒抽象、递归、迭代...
sicp 2ed高清 & mit课程资料打包
10-24
sicp 2ed高清pdf，以及相对应的mit课程资料及习题答案打包，中文版的视频在这里http://i.youku.com/i/UNTcxODk3ODQw/videos?spm=a2hzp.8244740.0.0
Python库 | sicp-0.0.1b102.dev6.tar.gz
05-22
资源分类：Python库 所属语言：Python 资源全名：sicp-0.0.1b102.dev6.tar.gz 资源来源：官方 安装方法：https://lanzao.blog.csdn.net/article/details/101784059
伯克利计算机思维训练课程SICP高清版
03-21
《伯克利计算机思维训练课程SICP高清版》是一门深入浅出的计算机科学入门课程，旨在为初学者提供坚实的计算机思维基础和软件工程理念。该课程源于世界顶尖学府加州大学伯克利分校，以其高质量的教学内容和实用价值...
MIT【本科生课程】6.001.计算机程序的构造和解释
01-23
这是关于MIT计算机本科生课程6.001的详细文档！
86版 MIT SICP lecture 流（一）视频笔记
qq_43071318的博客
05-21 276
一、IBM科学计算包中60%的程序本质上内部都会执行的几个流程 视频中，老师提到自己的研究生曾分析过IBM公司的科学计算包的程序代码，其中高达60%的部分其实本质上都在执行以下四个流程：enumerate（枚举）、filter（筛选）、 map （映射）、accumulate（累积）。 课程中老师举了两个过去的课中曾出现过的程序，将树中的奇数叶子结点求平方后求和以及获取斐波那契数列中的奇数项，但按原来的习惯写出的两个程序，虽然我们能分析出代码块中包含上述的四个过程，但这四个过程其实是相互混合，彼此不分离地体
【笔记】初读《SICP》：递归和迭代
Apol1o_的博客
04-09 557
1. 前言 递归【recursion】和迭代【iteration】是计算过程生成的两种“形状” 深入的理解对于我们理解程序的计算至关重要 （能够通过观察想象计算所产生的结果） 注：这篇文章是参考《SICP》后而写的，里面可能会出现一些lisp代码，不过后面附加了等价的c语言实现 2. 线性递归 首先，我们考虑计算一个数nnn的阶乘:n!=n∗(n−1)∗(n−2)∗...∗2∗1n! = n*(n...
sicp-mit-3
yilu_beiyu的博客
01-23 111
#lang sicp ;;https://www.bilibili.com/video/BV1Xx41117tr ;;https://github.com/DeathKing/Learning-SICP/tree/master/SrtCN ;;第三节 ;;心智的活动，除了尽力产生各种简单的认识之外，主要表现在如下三个方面： ;;1）将若干简单认识组合为一个复合认识，由此产生出各种复杂的认识。 ;;2）将两个认识放在一起对照，不管它们如何简单或者复杂，在这样做时并不将它们合而为一。 ;; 由此得到...
MIT 6.001 Structure And Interpretation Of Computer Programs(SICP)学习笔记（二）
weixin_57564674的博客
07-26 882
在本讲座中，我们将把上一讲中介绍的Scheme 的基本部分放在一起，以便开始捕获程序内的计算过程。为此，我们将引入一种计算模型，称为替代模型（substitution model）。我们将展示该模型如何帮助我们将设计过程中所做的选择与使用该过程时将发生的实际评估过程联系起来。因此，我们将首先查看替换模型的示例，以确保您了解其机制，然后我们将使用它来检查创建过程的两种不同方法。
sicp in python
yz764127031的博客
05-08 2075
gitbook英文书：https://www.gitbook.com/book/wizardforcel/sicp-in-python/details中文翻译版：https://github.com/wizardforcel/sicp-py-zh豆瓣地址：https://book.douban.com/subject/1148282/SICP是MIT大一的教材，是著名的编程入门书，原书是用Schem
SICP1.3 MIT（PLT） Scheme实现（Lisp）
Pxjw.Home
12-25 867
题目要求给出的函数需要完成以下三件事： 写一个函数，接受三个数作为参数判断三个数中较大的两个数计算较大两个数的平方和(两个数的平方之和) 我们从后往前，一步步完成这三个任务。 CSDN没有Lisp。用Python的标记了 #lang racket ;;SICP 1.3 ;;try 1 (define (square x)(* x x)) (define (sum x y)(+
<译> MIT 为何停掉 SICP？
weixin_33894640的博客
05-05 1685
原文：http://www.posteriorscience.net/?p=206 以下是不太严格的译文。 在纽约举行的一次 Lisp 集会上，Gerry Sussman 被问到 MIT 为何停掉著名的 6.001 课程。这门课所用的教材是 Sussman 与 Abelson 所写的《Structure and Interpretatio...
udacity公开课：CS101计算机科学入门-001
炕piu特·腻 学习ING
03-24 656
01 1、找数据：爬虫 2、建索引：根据词来匹配 3、页面排序：google pagerank 05 学python 安装python 廖雪峰官网 写一个程序：输出7周有多少分钟？ print 7*7*24*60 写一个coutdown(3)方法， 输出3，2，1，Blastoff！ def countdown(n): while n&amp;gt;0: print n n=n-1 pr...
sicp 北京大学课程
最新发布
07-27
《SICP 北京大学课程》是由北京大学开设的一门教授计算机科学原理和编程方法的课程。SICP是指《计算机程序的构造和解释》一书，是MIT的一门经典计算机科学课程，以其深度的思考和逻辑性的讲解而闻名。 这门课程旨在培养学生的计算机科学思维和编程能力。教学内容包括计算机程序设计的基本原理、递归、数据抽象、高阶函数、面向对象编程等。通过这门课程，学生将学会如何运用函数式编程的思想和方法解决问题，掌握程序设计的核心概念和技巧。 与传统的计算机课程相比，SICP 强调的是对问题的深入思考和解决方法的抽象化。通过编写构造良好的程序，学生将学会分析和评估算法的效率、探索和理解计算机科学的本质。这种思维方式将为学生的学习和职业发展奠定坚实的基础。 通过参加这门课程，学生还将接触到广泛的计算机科学应用领域，如人工智能、机器学习、数据科学等。这将为学生扩展视野，培养创新思维和解决复杂问题的能力，为其未来的职业发展带来更多机会。 综上所述，《SICP 北京大学课程》是一门具有挑战性和深度的计算机科学课程。它以其独特的教学方法和内容，培养学生计算机科学思维和编程能力，并为其未来的学习和职业发展打下坚实的基础。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值