Prerequisites

• Motivation: You must be interested in software as mathematical artifacts
• Discrete Mathematics: Sets, Cartesians, Algebra, ...
• Basic Knowledge of Logic: propositional and predicate logic
• A Smattering of Functional Programming:
  one of f.ex.: Coq, Curry, Erlang, F#, Haskell, LISP, [Standard] ML, Ruby, Scala, Scheme, ...