toc-in-7-weeks

Theory of Computing: A 3rd semester course, taught in Tribhuwan University, Nepal

Work in Progress

Chapter 1 (Sets, relations, and languages)

• Set
• Relation and Function
• Special Types of Binary Relations
• Finite and Infinite Sets
• Three Fundamental Proof Techniques (half)
• Closures and Algorithms
• Alphabets and Languages
• Finite Representation of Languages

Book Followed

Elements of The Theory of Computation 2^nd Edition. by Harry R. Lewis and Christos H, Papadimitriou

Indian Reprint

---

ISBN-81-203-2233-9

ISBN-978-81-203-2233-2