Lab 2

Objectives

• Start programming in ACL2s in earnest.
• Create open space to practice with an instructor present
• Situate lecture within an active learning context

Lab 2 Agenda

What questions or worries do you have?

Of what we’ve discussed in lecture, about what are you the most concerned or do you have the most questions.

Answers/Explanation discussion of the preceding

Discuss the computational complexity questions (if didn’t come up previously)

Open lab work-time.

Remind students to submit their work to the handins dropbox by 10pm tonight.