The course introduces functional programming and provides some mathematical background for it.