Luento 8 – 9.2.2016
Kirjallisuus ja verkkomateriaali
Ennakkotehtävänä luettu
- Antti-Juhani Kaijanaho, Laziness can be a virtue, 2008. PDF
Katso myös edellisen luennon ennakkotehtäväkirjallisuus.
Luennolla esitelty fsim-simulaattori
Simulaattoria saa käyttää esimerkiksi demojen tekemisessä, kunhan osaa selostaa kysyttäessä, mitä missäkin askeleessa tapahtuu ja miksi se askel on valittu.
Myönnän lisäpisteitä demoihin fsimin bugien löytämisestä tai korjaamisesta, ks. sähköpostiviesti 1 ja sähköpostiviesti 2.
Muu kirjallisuus
- H. P. Barendregt: The Lambda Calculus: Its Syntax and Semantics. Revised Edition. Amsterdam: Elsevier, 1984.
Luentotiivistelmä
Käsiteltiin lambda-kielen beta-sievennys, Church–Rosser-lause, normaalimuodon käsite, Church-koodaukset numeroille ja booleaneille, Y-kombinaattori sekä laskujärjestykset (normaalijärjestys, applikatiivinen järjestys, heikot järjestykset ja lyhyesti myös graafinsievennys). Edettiin pitkälti luentomonisteen mukaisesti.
Esittelin lisäksi fsim-simulaattorin jolla lambda-laskentoa voi kokeilla.
These are the current permissions for this document; please modify if needed. You can always modify these permissions from the manage page.