Наткнулся на выложенную на днях книгу Mathematics for Computer Science, которая используется, по всей видимости, для одноименного курса в MIT. Возможно пригодится кому-то.