This work presents fundamental ideas and concepts through simple examples, and subsequently develops them in a systematic way. Important terminology is clearly defined. The work is organized according to the "learn & check" model, with practice exercises at every important juncture along with suggested solutions at the end of each chapter.