Undergraduate Programme and Module Handbook 2009-2010 (archived)
Module COMP2171: PROGRAMMING AND REASONING
Department: Computer Science
COMP2171: PROGRAMMING AND REASONING
Type | Open | Level | 2 | Credits | 20 | Availability | Available in 2009/10 | Module Cap | None. | Location | Durham |
---|
Prerequisites
- Formal Aspects of Computer Science (COMP1021) AND EITHER Programming and Data Structures (COMP1082) OR Introduction to Programming (COMP1011).
Corequisites
- None.
Excluded Combination of Modules
- Systems Thinking (COMP2111).
Aims
- To introduce the student to new ideas in programming languages and programming language design.
- To further students' programming skills.
Content
- Advanced programming concepts and techniques in Java.
- Systems Programming.
- Formal Methods.
- Specification.
- Verification.
- Declarative Programming.
- Logic Programming.
- Mulit-paradigm programming
- Symbolic programming.
Learning Outcomes
Subject-specific Knowledge:
- To have an advanced understanding of programming.
- To have an understanding of formal aspects of programming and their role in software engineering.
Subject-specific Skills:
- Students will have demonstrated programming skills through the use of advanced porgramming language constructs.
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.
- Tutorials provide active engagement and feedback to the learning process.
- 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 | |
Tutorials | 2 | 1 hour | 2 | ■ | |
Practicals | 20 | 1 per week | 2 hours | 40 | ■ |
Preparation and Reading | 118 | ||||
Total | 200 |
Summative Assessment
Component: Coursework | Component Weighting: 34% | ||
---|---|---|---|
Element | Length / duration | Element Weighting | Resit Opportunity |
Practical work | 100% | Yes | |
Component: Examination | Component Weighting: 66% | ||
Element | Length / duration | Element Weighting | Resit Opportunity |
Examination | 2 hours | 100% | Yes |
Formative Assessment:
Example exercises given through the course. 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