Skip to content

Three foundational courses that assume nothing: formal logic, programming from zero, and how a computer actually executes code.

CourseCodeWhat
Reasoning and LogicCSE11AFormal logic, proofs, induction, set theory
Introduction to ProgrammingCSE11BJava from scratch through OOP and streams
Computer OrganisationCSE11CLogic circuits, assembly, CPU, memory hierarchy

Worth knowing

  • All three courses are self-contained within the quarter — no in-quarter prerequisites — but R&L's proof techniques underpin Algorithms & Data Structures later (Q3).
  • IP and CO both demand steady weekly lab time; don't let one slide while cramming the other.
  • Resits for all three courses land in Quarter 2.