pre-master-cs-kiel Pre-Master Courses Logical and theoretical foundation in computer science. Advanced programming(concurrency with java) (Imperative) Functional Programming (Haskell) (declerative) Logical Programming (Prolog) (declerative)