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