Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 8 » Mini-Protokoll MBProg SS23
Mini-Protokoll MBProg SS23
I was very nervous, so I probably don't remember everything.
Lambda calculus
- definition of untyped lambda calculus
- divergence (Omega) and fixpoint combinator Y
- list different evaluation semantics (lazy/eager, big/small step) in PCF
- choose your favourite and write down definition
- connection between big step and small step
Partial Orders
- definition of Kleene's fixpoint theorem
- explain what that means!
Categories
- definition of a category
- definition of soundness
Monads
- write down your favourite definition of a monad
- example: powerset
- definition of strong monad