@MISC{Wilkins_delivery, author = {Dr David Wilkins}, title = {Delivery}, year = {} }

Share

OpenURL

Abstract

The module runs throughout Michaelmas Term of the Senior Freshman academic year. In each week, there are three lectures: one lecture per week usually takes the form of a tutorial on problems relevant to the course. Aims This module provides students with an introduction to Discrete Mathematics. Students are exposed to diverse course material presented in the formal style and language that is commonplace in contemporary mathematics, with the aim that they should develop the skills required to engage effectively with such material. Learning Outcomes When students have successfully completed this module they should be able to: construct simple proofs that utilize the Principle of Mathematical Induction; recognise basic properties exhibited by mathematical objects such as sets, functions between sets, graphs and monoids, and construct short proofs to establish that such objects satisfy the relevant properties; describe formal languages generated by simple context-free grammars, and construct specifications of context-free grammars and finite state machines to generate simple formal languages; calculate Fourier series of periodic functions; engage effectively in private study of texts written in the formal definition-lemma-theorem-proof style employed in contemporary mathematics; recognize and employ basic mathematical proof techniques.