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