[English Version] []

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.

Lecturers

Additonal Exercises

Bibliography

  • 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