To introduce the notation and concepts of formal logic. To describe and emphasise the role of formal logic in Computer Science and Information Systems. To promote the importance of formal notations as the necessary means of ensuring clarity, precision and absence of ambiguity. To provide a solid foundation for modules that make use of formal logic such as artificial intelligence, formal methods, knowledge representation, multi-agent systems, ontology languages, and advanced web technologies.

(LO1) To translate natural language descriptions and reasoning processes to and from logical equivalents in the propositional and predicate logic.

(LO2) To evaluate first-order predicate logic formulae in relational stuctures and understand the relationship to relational databases.

(LO3) To state state and apply a proof system (either tableaux or sequent) for propositional and predicate logic.

(S1) Numeracy – general mathematical awareness and its application in practical contexts

(S2) Problem-solving – analysing facts and situations and applying creative thinking to develop appropriate solutions.

1. Introduction: the unusual effectiveness of logic in computer science (1 lecture) 2. Propositional logic (5 lectures): (a) Reminder: syntax and semantics of propositional logic, (b) SAT, logical consequence, logical equivalence, and normal forms, (c) a proof system for propositional logic.  3. Introduction to First-order Predicate Logic (11 lectures): (a) syntax of first-order predicate logic, (b) semantics of first-order predicate logic, (c) evaluating first-order predicate logic and relational databases, (d) a proof system for first-order predicate logic, (e) undecidability of first-order predicate logic. 4. Outlook: the unusual effectiveness of logic in computer science (1 lecture)

Teaching Method 1 - Lecture
Description: Lecture
Attendance Recorded: Yes

Teaching Method 2 - Tutorial
Description: Tutorial
Attendance Recorded: Not yet decided