Mathematics for Informatics (UE 801B)
This is a course on the theoretical fundations of computer science. We will investigate the notion of computability and then discuss also theoretical complexity.
- Computability and Logic, G. Boolos, J. Burgess and R. Jeffrey. Cambdridge Press.
- Computers and Intractability, M. Garey and D. Johnson. Freeman Press.
- Introduction to Combinators and Lambda-Calculus, J. Hindley and J. Seldin. Cambridge University Press