University of London, Queen Mary

This course offers an intermediate-level grounding in contemporary British politics and government. Students will learn about the UK's political constitution, sovereign parliament, electoral politics, public debate, cabinet government, civil service and devolved and local administrations. Students develop a breadth and depth of knowledge, and a range of capabilities, that prepare them to pursue careers in Westminster, Whitehall and beyond.

The course consists of two parts, each of fundamental importance for any serious approach to Computer Science: logic and discrete structures. Logic plays a very important role in computer architecture (logic gates), software engineering (specification and verification), programming languages (semantics, logic programming), databases (relational algebra and SQL the standard computer language for accessing and manipulating databases), artificial intelligence (automatic theorem proving), algorithms (complexity and expressiveness), and theory of computation (general notions of computability). Computer scientists use discrete mathematics to think about their subject and to communicate their ideas independently of particular computers and programs. In the course, students consider propositional logic as well as predicate calculus. Students treat propositional logic and predicate calculus as formal systems. Students learn how to produce and annotate formal proofs. As application students briefly consider the programming language Prolog.