Course Content:
Basic proof techniques, Set, relation and Function; Advanced Counting and combinatorics; Advance topics in Graph theory and Number theory (Covered by Dr. Vinod Reddy);
Review of Regular languages, Context free languages and grammars, turing machines; Undecidability theory, Time and Space bounded computation; Advanced topics and computability theory; Intractability; Advanced topics of complexity theory.
Textbooks:
Lecture Notes
Lecture 1- Introduction and Basics, Regular Expressions, DFAs
Lecture 5-DFA Minimization, Non-regular languages
Lecture 6- Context-free Languages