Mathematical Foundation Of Computer Science Discrete Theory, Relations and Functions
Discrete Numeric Functions and Generating Functions
Recurrence Relations with Constant Coefficients
Algebraic Structure
Propositional Logic
Lattice Theory
Introduction to Languages and Finite Automata
Equivalence of NFA and DFA
Regular Expressions
Regular and Non-regular Languages
Non-Regular Grammars
Introduction to Turning Machine
Appendix- Boolean Algebra.