Intructor: John Augustine. Contact Details
Teaching Assistants:
Ettamsetty Sai Dheeraj
Pappu Kumar
Vernekar Raghavendra Nagaraj
Srikkanth
Aastha Tiwari
Adarsh Dinesh Gupta
Arjun Bajpai
Devmalya Roy
Muhammed Tharikh
Poorbi Mukesh Dalal
Rishabh Manoj Kawediya
Rutuj Kuldeep Khare
P Girinath
Slot: “D”.
Location: CS 15 (in person).
Please see my note on academic honesty. You are required to read it carefully and abide by it both in letter and spirit.
We will use Moodle for all our class activities like link to lecture notes, assignments, announcements, record of marks etc. So please check Moodle regularly.
You can find the course syllabus here.
Attendance is mandatory. We will follow the standard institute-wide practice of a minimum 85 percent attendance.
Punctuality is important. Late arrivals in CS 15 are very disruptive to the flow of the class, so we expect all students to be in class at the start of class meetings.
Short Assignments (best 10 out of 12 or 13): 10*2=20
Surprise Quizzes (best 5 out of 6): 5*2 = 10
Two quizzes: 2*15=30
Final: 40
Automata and Computability, Dexter C. Kozen, Springer Publishers, 2007.
Introduction to Automata Theory, Languages and Computation, Hopcroft, Motwani, and Ullman, Pearson Publishers, Third Edition, 2006.
Introduction to the Theory of Computation, Sipper, Cengage, 3rd Edition, 2013.