Propositional & predicate logic, valid arguments, methods of proof.<br/>Elementary set theory. Elementary graph theory. Relations & functions.<br/>Induction & recursive definitions. Counting methods (pigeonhole, inclusion/exclusion). Introductory probability. Binary operations, groups, fields. Applications of finite fields. Elementary number theory. -- Course Website
Instructor: Dr Barbara Maenhaut ([email protected]) (Sem 1); Dr Sangjib Kim ([email protected]) (Sem 2).