自然科学
工程技术
人文历史
医学卫生
国内公开课
15 Logic Programming, Part 1
课程列表
01 Overview and Introduction to Lisp
02 Procedures and Processes; Substitution Model
03 Higher-order Procedures
04 Compound Data
05 Henderson Escher Example
06 Symbolic Differentiation; Quotation
07 Pattern Matching and Rule-based Substitution
08 Generic Operators
09 Assignment, State, and Side-effects
10 Computational Objects
11 Streams, Part 1
12 Streams, Part 2
13 Metacircular Evaluator, Part 1
14 Metacircular Evaluator, Part 2
15 Logic Programming, Part 1
16 Logic Programming, Part 2
17 Register Machines
18 Explicit-control Evaluator
19 Compilation
20 Storage Allocation and Garbage Collection
课程介绍
学校:
麻省理工学院
节目类别:
计算机
时长:
内容简介:
关于公开课
|
联系我们
版权所有:武汉缘来文化传播有限责任公司 鄂ICP备10202862号
Copyright@2010 wuhanyuanlai Inc. All Rights Reserved