Summer 2025
Instructor: Alex Chao
Teaching Assistant: Shao-Heng Ko
Classroom: LSRC D106
Lectures: M/T/W/Th 10:30am - 12:00pm
Please see Schedule for details.
Recitation: Tu/Th 1:15pm - 2:45pm
Since this course compresses what would typically be taught during a 15 week term into 6 weeks, it will move rather quickly. We will cover multiple topics each week, and due to the HW resubmit policy, there will be several deadlines a week to keep track of. I will do my best to work with you to make sure you succeed in the course, but be prepared to lock in throughout the duration of the term.
The goal of this course is to make you familiar with mathematical and abstract thinking and equip you with the concepts and tools needed for advanced topics in computer science. You will become proficient in thinking up and writing formal mathematical proofs required for algorithm correctness and analysis; reasoning about graphs, sets, numbers, and probability; and counting techniques that are needed for algorithm analysis.
Though the material will be motivated by algorithms and pseudocode, the course will not have a programming component.
As a supplemental resource, you may feel free to reference this free online textbook. Please note if there are any discrepancies between the textbook and the lecture slides, the lecture slides will be used as the ground truth.
https://cusack.hope.edu/Notes/Notes/Books/AIDMA/AIDMA.3.5.pdf