original German edition by
Uwe Sch oning
translated revised and expanded by
Randall Pruim
Gems of
Theoretical Computer Science
Computer Science Monograph English
August
Springer Verlag
Berlin Heidelb erg New York
London Paris Tokyo
Hong Kong Barcelona Budap est
Preface to Original German Edition
In the summer semester of at Universit at Ulm I tried out a new typ e
of course which I called Theory lab as part of the computer science ma jor
program As in an exp erimental lab oratory with written preparatory ma
terials including exercises as well as materials for the actual meeting in
which an isolated research result is represented with its complete pro of and
all of its facets and false leads the students were supp osed to prove p or
tions of the results themselves or at least to attempt their own solutions The
goal was that the students understand and sense how theoretical research is
done To this end I assembled a numb er of outstanding results highlights