Materials for the seminar "Automatic Problem Solving"