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.//