ProPa-Slides

Summer Term 2017

• Lecture 1: Organisation and Introduction
• Lecture 2: Describing syntax
• Lecture 3: Hoare calculus
• Lecture 4: Introduction to Haskell
• Lecture 5: Working with Lists in Haskell
• Lecture 6: Algebraic data types
• Lecture 7: Polymorphism
• Lecture 8: Higher-order functions
• Lecture 9: IO in Haskell
• Lecture 10: Introduction to Prolog
• Lecture 11: Prolog programming and declarative semantics
• Lecture 12: Prolog operational semantics
• Lecture 13: Prolog derivation trees and negation
• Lecture 14: Outlook