Computer Science 313 — Introduction and Mathematics Review
The first lecture introduces the subject and learning goals of this course. Details about course administration are also included in the first lecture. It continues with a review of mathematical proofs and a proof technique that will be used throughout this course — mathematical induction. The review of this material is continued in the first tutorial.