Books suggested.

  -Michael Huth and  Mark Ryan, //[[http://www.cs.purdue.edu/homes/xyzhang/spring17/logicbook.pdf|Logic in Computer Science: modeling and reasoning about systems]]//, Cambridge University Press. 
  -Alfred V. Aho, Monical S. Lam, Ravi Sethi, and Jeffrey D. Ullman, //[[http://www.cs.purdue.edu/homes/xyzhang/fall08/book/dragon.pdf|Compilers Principles, Techniques, & Tools.]]//
  -Sebastian Raschka, and Vahid Mirjalili //Python Machine Learning (2nd Edition)//