It starts with the basics and goes onto explain the advanced algorithms used in design automation. I also began to understand the connections that they feel. There's also a little about boolean logic - not the kids' stuff, but a variety of representations, plenty to get the reader's mind set into mathematical orientat