COMP30060 Program Construction I

Academic Year 2023/2024

This module is intended to introduce students to the idea of the formal correctness of algorithms. It begins with a number of lectures and tutorials which show how to prove theorems in the predicate calculus. It next shows how to specify programs as Precondition, Postcondition pairs. We show how programs can be calculated from such specifications. We also show how we can generalise from these solutions to abstract problems and their solutions.

Show/hide contentOpenClose All

Curricular information is subject to change

Learning Outcomes:

Having attended this module, studied the material and done the exercises the student should....Be able to construct proofs in predicate logic.Be able to construct specifications for a range of problems.Be able to calculate programs to meet these specifications.Be able to apply generic solutions to specific instances of problems.

Student Effort Hours: 
Student Effort Type Hours
Lectures

24
Tutorial

12
Autonomous Student Learning

80
Total

116
Approaches to Teaching and Learning:
Traditional lectures and tutorials 
Requirements, Exclusions and Recommendations

Not applicable to this module.


Module Requisites and Incompatibles
Not applicable to this module.
 
Assessment Strategy  
Description Timing Open Book Exam Component Scale Must Pass Component % of Final Grade
Examination: End of trimester exam 2 hour End of Trimester Exam No Graded No

70
Oral Examination: An oral examination where the student will be invited to use the techniques learned in the module to tackle a programming problem. Unspecified n/a Graded No

30

Carry forward of passed components
No
 
Resit In Terminal Exam
Spring Yes - 2 Hour
Please see Student Jargon Buster for more information about remediation types and timing. 
Feedback Strategy/Strategies

• Group/class feedback, post-assessment

How will my Feedback be Delivered?

Not yet recorded.

Timetabling information is displayed only for guidance purposes, relates to the current Academic Year only and is subject to change.
 
Autumn
      
Lecture Offering 1 Week(s) - 2 Thurs 11:00 - 12:50
Lecture Offering 1 Week(s) - 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 Thurs 11:00 - 12:50
Lecture Offering 1 Week(s) - 1 Thurs 12:00 - 13:50
Autumn