Search Modules > CS3234 > Module Overview

Learning Outcomes

TopThe course aims to cover both classical and non-classical logics focusing on their deductive and algorithmic aspects. This module introduces mathematical logic as a means for specifying, verifying and reasoning about computer programs. Its emphasis, in contrast to other similar logic courses, is on how logic can be used to represent computational problems, how these representations can be proved correct and how they can be executed on a computer. Topics covered include classical logic theories, logic programming, modal logic, and an introduction to non-standard logics. Treatment of propositional calculus, predicate calculus, and temporal logic are fully covered with emphasis on their specification, verification, deductive and algorithmic aspects.