Explore UCD

UCD Home >

COMP30060

Academic Year 2024/2025

Program Construction I (COMP30060)

Subject:
Computer Science
College:
Science
School:
Computer Science
Level:
3 (Degree)
Credits:
5
Module Coordinator:
Mr Henry McLoughlin
Trimester:
Autumn
Mode of Delivery:
On Campus
Internship Module:
No
How will I be graded?
Letter grades

Curricular information is subject to change.

This module is intended to introduce students to the idea of the formal correctness of algorithms. We show how 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.

About this Module

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 Component Scale Must Pass Component % of Final Grade In Module Component Repeat Offered
Practical Skills Assessment: Oral exam for each student Week 10, Week 11 Graded No
30
 No
Exam (In-person): End of term exam End of trimester
Duration:
2 hr(s)
 Graded No
70
 No

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.

Print this page
Fill in the following details:
Enter the body of your query here.

From time to time UCD would like to send you further information that we feel, based on your enquiry, would be of interest to you.