Computer Theory

Code: PINF6035
Course: Master's degree in computer science
Credits: 4
Hourly load: 60

Bibliography: * J. E. Holpcroft, R. Motwani, J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, 2nd Edition, Addison Wesley, 2000.
* H. B. Curry, Foundations of Mathematical Logic, 2nd Edition, Dover Pubns, 1977.