|Module Name||Mathematics II|
|ECTS Weighting||5 ECTS|
|Semester taught||Semester 2|
|Module Coordinator/s||Dr. Meriel Huggard|
Module Learning Outcomes
On successful completion of this module, students will be able to:
LO1. Use the language, notation and methods of symbolic logic, set theory and number theory.
LO2. Produce coherent, convincing mathematical proofs using formal symbol manipulation and logical reasoning.
LO3. Distinguish valid from invalid arguments.
LO4. Demonstrate the use of set theory in applications to computer science.
LO5. State and prove theorems in number theory.
LO6. Relate and apply concepts from number theory to practical application in computer science.
Mathematics is of interest to computer scientists due to the fact that it is both practical and theoretical in nature. Not only does it have a myriad of applications (e.g. in machine learning and cryptography), it is also of intrinsic interest to theoretical computer scientists. This module aims to reflect these properties by providing students with an introduction to the discrete mathematics which lies at the foundation of all reasoning about computer systems.
The module aims to develop student skills in propositional and predicate logic, set theory and number theory. Students are actively encouraged to exercise these skills in applications that arise in computer science and discrete mathematics. In particular, students should develop some key skills in formal mathematical proof construction.
The module also aims to encourage and foster the development of independent, reflective learning skills. During the module it is expected that students will adapt their learning style to become more independent, self-motivated learners.
Teaching and learning Methods
The module will employ a variety of teaching and learning methods including formal lectures, large group problem solving classes and small group tutorials.
|Assessment Component||Brief Description||Learning Outcomes Addressed||% of total||Week set||Week Due|
|Examination||2 hour time limited in-person examination||LO1, LO2, LO3,|
LO4, LO5, LO6
|Mid-semester test||Mid- semester test||LO1, LO2, LO3,||20%||6||6|
|Assignments||Quizzes and assignments (roughly every two weeks), participation|| LO1, LO2, LO3, LO4,|
Note that it may be necessary to reduce the number of assessed assignments (if insufficient demonstrators are available). The weights of these assignments will be redistributed over the other assignments in the semester.
In-person Examination – Time Limited (2 hours, 100%)
Contact Hours and Indicative Student Workload
|Contact Hours (scheduled hours per student over full module), broken down by:||44 hours|
|Tutorial or seminar||11 hours|
|Independent study (outside scheduled contact hours), broken down by:||72 hours|
|Preparation for classes and review of material (including preparation for examination, if applicable||36 hours|
|Completion of assessments (including examination, if applicable)||36 hours|
|Total Hours||116 hours|
Required Reading List
- Discrete Mathematics and its Applications, Kenneth Rosen (McGraw Hill)
Prerequisite modules: None.
Other/alternative non-module prerequisites: none