Mathematical Foundation of Computer Science - I (2016)