In this sub-module we will look at applications of logic in computing.  In particular, we will look at

  1. Declarative programming;
  2. 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;
  3. The use of logic to prove program correctness.