Theorie der Programmierung (SoSe2014)

Theorie der Programmierung (SoSe2014)

Changelog

  • ÜB. 1
    • Rev. 5909: First version.
  • ÜB. 2
    • Rev. 5956: First version.
    • Rev. 6200: Übung 2.2, fixed a typo in δ-reduction of flip.
    • Rev. 6231: Übung 13.1, made explicit here that we refer to the “untyped λ-calculus”.
    • Rev. 6251: Übung 9, The “Generation Lemma” is to be found as “Inversion Lemma” in the lectures.
    • Rev. 6262: Übung 12, The “Monotony Lemma” is to be found as “Weakening Lemma” in the lectures.
    • Rev. 6319: Minor clarifications in Übung 11 and 12.
    • Rev. 6354: Übung 10, a bogus reference to a Σ was removed. Also, we made explicit the convention used for type-constants.
  • ÜB. 3
    • Rev. 6445: First version.
    • Rev. 6471: Added a remark on the notation regarding convertibility of terms.
    • Rev. 6493: Typo fixed in the definition of function mirror (Exercise 6).
    • Rev. 6504:
      • Exercise 4.3: added one more property.
      • Exercise 6: removed unused mapBinTree definition.
      • Exercise 6.1: removed an extra mirror from the property.
    • Rev. 6588: Hand-in date moved.
    • Rev. 6603: Made requirement to prove properties of det in Exercise 11.2. explicit.
    • Rev. 6637:
      • Exercise 10: fixed the numbering of the subitems.
      • Exercise 10.3 c) and d) (current numbering): shows the correct property to be proven!
  • ÜB. 4
    * Rev. 6703: //First version.//
  • ÜB. 5
    * Rev. 6731: //First version.//