Undergraduate Programme and Module Handbook 2011-2012 (archived)
Module COMP1021: FORMAL ASPECTS OF COMPUTER SCIENCE
Department: Computer Science
COMP1021: FORMAL ASPECTS OF COMPUTER SCIENCE
| Type | Open | Level | 1 | Credits | 20 | Availability | Available in 2011/12 | Module Cap | None. | Location | Durham |
|---|
Prerequisites
- A Level Maths (Grade B or above) or equivalent
Corequisites
- None
Excluded Combination of Modules
- Foundations of Computer Science (COMP1041)
Aims
- To introduce students both to Mathematical Reasoning and to the formal analysis of algorithms and to encourage the use of these as an integral part of computer programming.
- As part of the module the fundamental ideas of Discrete Mathematics and Logic (on which modern Computer Science is based) are introduced.
Content
- Sets and logic notation.
- Relations.
- Algebra.
- Proof and logic.
- Functions.
- Discrete Mathematics
- Analysis of algorithms.
Learning Outcomes
Subject-specific Knowledge:
- Identify the fundamental principles of discrete mathematics and logic.
- Know the relevancy and necessity for specific branches of mathematics within Computer Science.
Subject-specific Skills:
- Apply the skills that they have learned in the course to Logical and mathematical exercises.
Key Skills:
Modes of Teaching, Learning and Assessment and how these contribute to the learning outcomes of the module
- Lecturing demonstrates what is required to be learned and the application of the theory to practical examples.
- Problem classes through practicals provide assessment (both formative and summative) to guide students in the correct development of their knowledge and skills.
- The end of year examinations assess the knowledge acquired and the ability to use this knowledge to solve problems.
Teaching Methods and Learning Hours
| Activity | Number | Frequency | Duration | Total/Hours | |
|---|---|---|---|---|---|
| Lectures | 40 | 2 per week | 1 Hour | 40 | |
| Practicals | 20 | 1 per week | 2 Hours | 40 | ■ |
| Preparation and Reading | 120 | ||||
| Total | 200 |
Summative Assessment
| Component: Examination | Component Weighting: 66% | ||
|---|---|---|---|
| Element | Length / duration | Element Weighting | Resit Opportunity |
| Examination | 2 hours | 100% | Yes |
| Component: Coursework | Component Weighting: 34% | ||
| Element | Length / duration | Element Weighting | Resit Opportunity |
| Practical work | 100% | Yes | |
Formative Assessment:
Example exercises given through the course. In addition a collection paper for the module is sat during a student's first practical class of the 2nd term. Additional revison lectures may be arranged in the modules lecture slots in the 3rd term.
■ Attendance at all activities marked with this symbol will be monitored. Students who fail to attend these activities, or to complete the summative or formative assessment specified above, will be subject to the procedures defined in the University's General Regulation V, and may be required to leave the University