CS 145: Designing Functional Programs (Advanced Version)

Lectures

Regular lecture attendance and note-taking are particularly important in CS 145.

The provided slides are not a substitute for attendance in any first-year CS course, but in CS 145, the slides will not be provided, and the lecture summaries made available after lecture are an even worse substitute for attendance.

Lectures will involve the development of ideas summarized very tersely in the handouts, as well as on-the-fly development of code, analyses, and proofs.

In Fall 2024, lectures are Tuesdays and Thursdays, 1 hour and 20 minutes each. Students will be in one of the following two sections:

  • LEC 001: 10:00–11:20 AM in MC 2017
  • LEC 002: 11:30–12:50 PM in MC 2017

Tutorials are Fridays, 50 minutes each. Students will be in one of the following two sections:

  • TUT 101: 10:30–11:20 AM in MC 2054
  • TUT 102: 12:30–1:20 PM in MC 4045

 

Last modified on Friday, 30 August 2024, at 14:10 hours.