Logic - CO518
To introduce students to logic and formal reasoning through propositional and predicate logic.
To introduce students to the declarative programming language, Prolog.
Computing Topics - CO163
The aim of this course is to introduce new students to some state of the art ideas in Computing. It provides an opportunity for self directed learning in small groups.
Each topic will be introduced by a short lecture. Students are then encouraged to use their own initiative in finding reference material to expand their knowledge in one of the areas introduced by the lectures. Each group's findings are presented in a web article.
MSc Computing Science (Specialist) Individual Project - CO542
MSc Computing Science Individual Project - CO541