Foundations of Computing (COMP30010)

This course focuses on connecting the core of computing theory to theeveryday practice of computing professionals. In particular, it aimsto help students learn about, practice, and apply sound fundamentalsof the core theories of computing, including computing theory andcomplexity theory. A student will come to understand how thesetheories relate to, and are used in, everyday practice. Thisknowledge is gained by reading and writing mathematical proofs andwriting programs that concretize these theories and their use.Students learn concepts, tools, and techniques individually through aseries of written and graded assignments and via mid-term and finalexaminations. There are two lab sessions every week with full-timedemonstrator support. There are also supplementary tutorials forstudents who are unfamiliar with, or simply want a refresher on, theunderlying concepts of the field (primarily set theory, functions andrelations, logic, and basic proof techniques).