Introduction To Mathematical Computer Science