Discrete Structure and Automata Theory for Learners