CM10196: Discrete Mathematics for Computation

This course introduces some fundamental concepts of mathematics: propositional logic, sets, functions, relations, rational and real numbers.

CM20167: Programming III

This course is about Functional Programming. We study the programming language Lisp, and the theory of functional programming via the lambda-calculus.