Computing
CS3304: Mathematical and Logical Aspects of Computing (5 ECTS)
This module introduces the fundamental concepts of propositional and predicate logic. Topics covered include the precise mathematical formulation of logical statements; the analysis of such statements to establish equivalence and consistency; and an introduction to mathematical techniques to check the validity of arguments in propositional and predicate logic.
Taught in Semester(s) 1. Examined in Semester(s) 1.
Workload: 100 hours (24 Lecture hours, 12 Tutorial hours, 64 Self study hours).
Module Learning Outcomes.
On successful completion of this module the learner should be able to:
- Represent mathematical statements in propositional and predicate logic;
- Establish if given compound propositions are equivalent;
- Derive the disjunctive and conjunctive normal forms of a proposition;
- Apply semantic and syntactic techniques to check logical consequence;
- Parse and analyse statements formulated in predicate logic;
- Demonstrate knowledge of mathematical and logical reasoning.
Indicative Content
This module introduces the key concepts of mathematical and computational logic. The learner will gain an insight into the applications, uses and limitations of propositional logic, and the use of mathematical techniques for analysing logical statements to establish validity. Motiviated by a knowledge of the limitations of propositional logic, the concepts of predicate calculus are introduced, along with methods for studying the validity of statements made in that frame-work.
Module Resources
- Mordechai Ben-Ari, Mathematical Logic for Computer Science.
- John Kelly, The Essence of Logic.
Back