HASKELL
rachunek λ

Table of Contents

Lecture Notes on the Lambda Calculus, Peter Selinger, rozdziały 1-3.

1 ZADANIA

  1. Sprawdzić czy and T F =β F.
  2. Zdefiniować or.
  3. Sprawdzić czy or F F =β F
  4. Udowodnić, że funkcja succ daje poprawny wynik dla wszystkich n.
  5. Wyliczyć add 2 2.
  6. Wyznaczyć techniką punktu stałego funkcję fib
  7. Obliczyć drugi element pary λz.z(λfx.fx)(λfx.f(fx))
  8. Zdefiniować funkcje head i tail dla list.
  9. Zdefiniować funkcję obliczającą długość listy.

Author: Tomasz Obrębski

Created: 2019-04-05 pią 12:35

Validate