Etusivu

Helsingin yliopiston metamaaginen opiskelijaryhmä Lambda. Lambdan tarkoituksena on kerätä yhteen opiskelijoita jotka ovat kiinnostuneet teoreettisesta tietojenkäsittelytieteestä, matematiikasta, kognitiotieteesta, kielitieteestä ja -teknologiasta sekä filosofiasta ja näiden välisistä "harmaista alueista".

English introduction

Yhteydenpito

Virallinen kotisivu ja esittely
IRC-kanava: #lambda @ IRCnet
Postituslista: lambda-ry @ helsinki.fi
Hallituslista: lambda-hallitus @ helsinki.fi

Hallinto

Kalenteri

Toiminta

Kurssit

Nimi	Ajankohta
Haskell Workshop UUTTA!	2012 kesä, p5
Johdatus funktionaaliseen ohjelmointiin UUTTA!	2012 kevät, p4
Networks, Crowds, and Markets	2011 kevät, periodi 4
[Agda-kurssi]	2011 kevät
Clojure-kurssi	2011 kevät, periodi 3
Formal Type Theory	2009 syksy
Haskell-harjoituskurssi	2009 kesä
Käytännön lojbania matkailijoille	2009 kevät
Johdatus funktionaaliseen ohjelmointiin	2009 kevät
Johdatus lambda-kalkyyliin	2008 syksy