In this sub-module we will look at applications of logic in computing. In particular, we will look at
- Declarative programming;
- Some meta-logical results that show the limitations of computing for solving certain problems, and how this is one of the motivations behind Artificial Intelligence;
- The use of logic to prove program correctness.