Analysis III for Computer Science (winter 2016/17)