Yet another double shift on Phones
Finally got off work at 3.00. I did a double shift from 8.30 am till 3.00 pm and now I have a class to go to from 5.30 pm till 7.00 pm. *sigh*
Well... at least the course is interesting. It's "Introduction to Theory of Computation" It's a good break from sytax. This course is all about analyzing computer science in a more theoretical way. It's pretty interesting to see how computer science, logic, psychology and philosphy all come together.
For those of you who are genuinely interseted, these are the books we use.
Well... at least the course is interesting. It's "Introduction to Theory of Computation" It's a good break from sytax. This course is all about analyzing computer science in a more theoretical way. It's pretty interesting to see how computer science, logic, psychology and philosphy all come together.
For those of you who are genuinely interseted, these are the books we use.
Textbook
- John E. Hopcroft, Rajeev Motwani and Jeffrey D. Ullman. Introduction to Automata Theory, Languages and Computation, Second Edition. Addison-Wesley, 2001. Solutions to selected exercises and errata can be found on the textbook's web site.
Other References
- Ding-Zhu Du and Ker-I Ko. Problem Solving in Automata, Languages, and Complexity. Wiley, 2001.
- John C. Martin. Introduction to Languages and the Theory of Computation. McGraw-Hill, 2003.
- Michael Sipser. Introduction to the Theory of Computation. PWS Publishing Company, 1997.
- Daniel Solow. How to Read and Do Proofs: An Introduction to Mathematical Thought Processes. Wiley, 2002.
- Andrew Wohlgemuth. Introduction to Proof in Abstract Mathematics. Saunders College Publishing, 1990.