CPSC 121 101 2020W

Instructor(s)
Online Adaptations

Lectures will be recorded. This section of the course and the late afternoon or evening labs and tutorials will work well for students in east Asian countries, where they will be in the morning.

Extended Description

CPSC 121 explores formal modeling systems that help us to understand and to explore the capabilities of computers and, more generally, of any problem solving process. Our exploration of these systems will be guided by the desire to answer the following four practical questions:

  1. How can we convince ourselves that an algorithm does what it's supposed to do?
  2. How do we determine whether or not one algorithm is better than another one?
  3. How does the computer (e.g. Dr. Racket) decide if the characters of your program represent a name, a number, or something else? How does it figure out if you have mismatched " " or ( )?
  4. As of 2019, processors have six to seven billion transistors. How can we build a computer that is able to execute a user-defined program?
Course Info
Section
101
Term
Term 1
Session
2020W
Dates
Days
Tue Thu
Time (start)
5:00 PM
Time (end)
6:30 PM
Date (start)
Date (end)