I've read this book recently and found it a very useful overview of ML. It is a bit theoretical which is good for somebody that comfortably reads math notation. Also the notation is pretty consistent which makes connections between methods and algorithms stand out.