## Course: Mathematical Structures in Programming (2015)

**Lecturer**

Zhenjiang Hu, Professor

**Outline**

This course discusses the mathematical
structures in programs and explains how mathematical reasoning plays
an important role in designing efficient algorithms and constructing
correct programs.

**Slides**

The slides used in the class will be added after the class.

- Course Introduction
- Introduction to Functional Programming (1)
- Introduction to Functional Programming (2)
- Introduction to Functional Programming (3)
- Introduction to Functional Programming (4)
- Bird Meertens Formalism (1)
- Bird Meertens Formalism (2)
- Bird Meertens Formalism (3)
- Applications
- Homework