Logic in Computer Science

Module code: ECS7018P

Credits: 15.0
Semester: SEM1

Contact: Prof Pasquale Malacaria

The module introduces students to Mathematical Logic concepts and their use in Computer Science.

The topics covered include:
- Propositional Logic and Introduction to Critical Thinking
- Solving SAT instances. DPLL algorithm, validity, satisfiability, SAT solvers
- Temporal Logics. For example: Linear Temporal Logic, Computation Tree Logic, model checkers (e.g. SPIN)
- Predicate Logic. First-order logic, syntax and semantics, satisfiability, SMT solvers
- Program Logics. For example, Hoare logic.

The module will include exercises and hands-on practicals e.g. using SAT solvers and model checkers.

Connected course(s): UDF DATA
Assessment: 100.0% Examination
Level: 7