Analysis III for Computer Science (winter 2017/18)