15. A-Logic Programming, Part 1 - 3
2023年9月23日 1352观看
计算机程序的构造和解释
大学课程 / 计算机
《计算机程序的构造和解释》（SICP）视频公开课。[配套教材：https://mitpress.mit.edu/sicp/full-text/book/book.html]
共30集 3.9万人观看
1A-Metacircular Evaluator, Part 1 - 128:13- 2A-Metacircular Evaluator, Part 1 - 228:22
- 3A-Metacircular Evaluator, Part 1 - 328:12
4A-Streams, Part 1 - 122:19- 5A-Streams, Part 1 - 222:22
- 6A-Streams, Part 1 - 322:19
7B-Streams, Part 2 - 121:00- 8B-Streams, Part 2 - 221:07
- 9B-Streams, Part 2 - 320:55
10B-Metacircular Evaluator, Part 2 - 120:03- 11B-Metacircular Evaluator, Part 2 - 220:09
- 12B-Metacircular Evaluator, Part 2 - 320:03
13A-Logic Programming, Part 1 - 113:56- 14A-Logic Programming, Part 1 - 214:01
- 15A-Logic Programming, Part 1 - 313:53
16A-Compilation - 115:11- 17A-Compilation - 215:23
- 18A-Compilation - 315:11
19B-Storage Allocation and Garbage Collection - 119:36- 20B-Storage Allocation and Garbage Collection - 219:47
- 21B-Storage Allocation and Garbage Collection - 319:35
22B-Logic Programming, Part 2 - 122:54- 23B-Logic Programming, Part 2 - 222:52
- 24B-Logic Programming, Part 2 - 322:56
25A-Register Machines - 123:59- 26A-Register Machines - 224:03
- 27A-Register Machines - 323:56
28B-Explicit-control Evaluator - 123:36- 29B-Explicit-control Evaluator - 223:38
- 30B-Explicit-control Evaluator - 323:36
相关视频
00:23不抱怨，调整好自己，我们的市场足够大！7月前642观看
00:15家里的围裙别再买啦！20秒教你自制漂亮的围裙，后悔现在才知道11月前1433观看
11:54三个男人绑了女人，可女方的家人打死不愿交赎金，这可怎么办？2月前1516观看
01:00糖尿病人吃红薯，是升糖还是降糖？ #硬核健康科普行动 #医疗创作者培优计划 #糖尿病 #红薯1年前568观看
16:46《楚国八百年》纪录片(歧途) - 22022年10月28日1540观看
00:56牙疼不用怕，只要一个鸡蛋就搞定，方法特简单，看完转告家人！1年前601观看
17:53透视内幕：美国51区的秘密.mkv - 22022年11月2日1060观看
00:25等你来学：英语情景对话，variety多样性、种类8月前1280观看
12:31天地大儒王船山（缺第1集）【更新中】(章旷之死) - 32022年11月5日800观看
07:30亚里士多德2023年8月8日790观看
00:35贝壳董事长彭永东：房地产市场从“非理性增长”转向常态化增长1天前1354观看
01:01《恶人传》：黑帮头目联手警探，硬核对决引爆生死较量1年前1497观看
00:45颜宁：没有阳光也要灿烂，你需要自己找成就感1年前943观看
21:49我制造了一把透明武士刀，快帮我看看这能干嘛用2月前1060观看
06:31一个100W的白炽灯，串联二极管后给它供电，功率会变成多少？1年前1303观看
02:56掌握好这三点 还您一个优秀的孩子1年前1197观看