Learning goals
- Write and evaluate formal logical statements.
- Use proofs and discrete structures to justify correctness.
- Connect Boolean reasoning to computing systems.
January–April 2026 · completed
CPSC 121
Models of Computation
Developed the mathematical and logical foundations used to reason about programs and computational systems.
media-source/journey/courses/cpsc-121/hero.* Topics
LogicProofsSets and relationsBoolean algebraFinite-state reasoning
Tools and methods
Proof techniquesDiscrete mathematics
What I learned
Use this section to add course-specific reflections, major assignments, and the ideas that changed how you approach technical work.
Evidence to add
Add selected assignments, diagrams, screenshots, or short explanations that demonstrate the strongest learning from this course.