Algorithms, Correctness and Efficiency

Course Code:

CST-242

Course Name:

Algorithms, Correctness and Efficiency

ECTS:

5

Course Description

This course addresses how to program such algorithms, as well as how to test them, reason about their correctness and analyse their efficiency.