Master of Engineering (Computer Science & Engineering)
Ist Semester 2012-13.
Course: Theory of Formal Languages
2. Turing Machines
3. Turing Machine extensions
4. Complexities of Turing machines.
5. Axiomatic Systems
6. Computational complexity of TMs
7. Assignment 2: Submission deaadline: 07-01-2013
8. Axiomatic systems
9. Computable sets
10. Ackermann functions 1 2
11. Lambda Calculus 1 2
12. premitive recursive functions
Research Activities:
1. Information about forth coming conference in cse dept. (dt. 14-15 March, 2013) (new)