#### Test 2, Quizzes 3-5, Homework Assignments 4-7

SICP: Harold Abelson, Gerald J. Sussman, Julie Sussman, *Structure
and Interpretation of Computer Programs*

FCS: Alfred V. Aho, Jeffrey D. Ullman, *Foundations of Computer Science, C
Edition*

Links to both textbooks, both available online, are provided inside the
syllabus

Homework Assignment 4 due in class on 08/01/13 (may submit also on 08/08/13)

Textbook problems:
4.3-4.4, 4.6

Additional problems: Trace resolution and unification using the query
gcd(36,21,x) (follow the approach of example 10, page 114 of the textbook).

#### Quiz 3, 08/01/13, covers 4.1-4.3 &
lecture 4

Quiz 3 theory practice problems: (textbook: 4.1-4.4, 4.6),
(FCS: 12.11.2-12.11.3, 14.3.1-14.3.2, 14.4.2-14.4.3, 14.7.1, 14.7.4, 14.9.2)

Quiz 3 lab topics: list comprehension in Haskell, the Scheme interpreter of
SICP

**Homework Assignment 5 due in class on 08/08/13**

Textbook problems: 4.10-4.11, 4.17, 4.19

** **

**Quiz 4, 08/08/13, covers 4.4-4.6 & lecture 5**

Quiz 4 theory practice problems: (textbook: 4.7, 4.14, 4.20, 4.23, 4.26,
4.29-4.30, 4.33)

Quiz 4 lab topics: selected basic algorithms in Prolog

Homework Assignment 6 due in class on 08/15/13

Textbook problems: 6.5-6.6, 6.12 a, 6.14

** **

**Quiz 5, 08/15/13, covers 6.1-6.4 & lecture 6**

Quiz 5 theory practice problems: (FCS: 10.3.3, 10.4.2, 10.4.5 (see problem
10.4.4 for the definition of the dead state), 10.5.3, 10.8.1, 10.8.3-10.8.4,
11.3.3, 11.4.3, 11.5.1, 11.6.1, 11.7.3-11.7.4)

Quiz 5 lab topics: Mark’s Intro to PA 2 (lab points count as a portion of PA 2)

Homework Assignment 7 due in class on 08/22/13

Textbook problems: 6.13, 6.19 a, 6.20 c, 6.21

Test 2, 08/22/13, covers 4.1-4.6, 6.1-6.8 & lectures 4-7

Practice problems related to 6.5-6.8: (textbook: 6.22, 6.29, 6.31, 6.33, 6.40,
6.42, 6.43)