TIEA341 Funktio-ohjelmointi 1, 3 - 5 op [kotisivu]
Tietotekniikan laitos
Tiedotus:
Kurssille ei voida ilmoittautua, koska se on jo vanhennettu.Kurssin ilmoittautumisaika päättyi 20.12.09 klo 23:59.
Yleisiä tietoja
Kotisivu: | http://users.jyu.fi/~aleator/FO/ |
---|---|
Alkaa - päättyy: | 26.10.09 - 30.7.10 |
Ilmoittautumisaika: | 12.6.09 klo 0:00
- 20.12.09 klo 23:59
Ilmoittautuminen voidaan perua 26.10.2009 klo 00:00 mennessä. |
Opettaja(t): | Joel Lehtonen (joel.lehtonen@iki.fi) Ville Tirronen (ville.e.t.tirronen@jyu.fi) |
Tuntiopettaja(t): | Ville Isomöttönen (ville.isomottonen@jyu.fi) Jonne Itkonen (jonne.itkonen@jyu.fi) Joel Lehtonen (joel.lehtonen@iki.fi) |
Laajuus: | 3 - 5 op |
Kielet: | opetuskielet: English, suomi; suorituskielet: English, suomi |
Ilmoittautuneita: | 40 |
Organisaatiot: | Tietotekniikan laitos (TTL) |
Sisältö: | Funktio-ohjelmoinnin perusteet. Laiska ja innokas laskenta. Map ja fold. Versioituvat tietorakenteet. Sivuvaikutusten hallinta. |
Esitiedot: | Ohjelmointi 2, Algoritmit 2, Diskreetit rakenteet (tai vastaava). |
Valintamenettely: | Funktio-ohjelmointi 1 ja Funktio-ohjelmointi 2 korvaavat yhdessä vanhan kurssin TIE0328 Funktio-ohjelmointi (luennoitu syksyllä 2003), joten tälle kurssille ei oteta tuon vanhan kurssin suorittaneita. |
Opetusmuodot: | Luennot tai itsenäinen opiskelu, lisäksi demotilaisuuksia. |
Suoritustavat: | Harjoitukset ja harjoitustyö. |
Kirjallisuus: | Hutton: Programming in Haskell. Thompson: Haskell: The Craft of Functional Programming. Hudak: The Haskell School of Expression. Bird: Introduction to Functional Programming using Haskell. Okasaki: Purely Functional Data Structures. |
[Tiivistä opetusryhmien aika- ja paikkatiedot]
Luento [ryhmien tarkat tiedot ja ilmoittautuminen]
Paikka | Viikko | Päivä | Pvm | Klo | Ohjaaja | Lisätietoja | URI | Tapahtuman tiedot | |
---|---|---|---|---|---|---|---|---|---|
1 | Ag C233 | 44 | ma | 26.10.2009 | 10:15-12:00 | Tirronen | Tapahtuman tiedot | ||
2 | Ag C233 | 45 | ma | 2.11.2009 | 10:15-12:00 | Tirronen | Tapahtuman tiedot | ||
3 | Ag D121 | 46 | ma | 9.11.2009 | 10:15-12:00 | Tirronen | Tapahtuman tiedot | ||
4 | Ag C233 | 47 | ma | 16.11.2009 | 10:15-12:00 | Tirronen | Tapahtuman tiedot | ||
5 | Ag C233 | 48 | ma | 23.11.2009 | 10:15-12:00 | Tirronen | Tapahtuman tiedot | ||
6 | Ag C233 | 49 | ma | 30.11.2009 | 10:15-12:00 | Tirronen | Tapahtuman tiedot | ||
7 | Ag C233 | 50 | ma | 7.12.2009 | 10:15-12:00 | Tirronen | Tapahtuman tiedot | ||
8 | Ag B111.1 (Asia) | 51 | to | 17.12.2009 | 10:15-12:15 | Tirronen | Tapahtuman tiedot |
Demo [ryhmien tarkat tiedot ja ilmoittautuminen]
Paikka | Viikko | Päivä | Pvm | Klo | Ohjaaja | Lisätietoja | URI | Tapahtuman tiedot | |
---|---|---|---|---|---|---|---|---|---|
1 | Ag C234 | 44 | pe | 30.10.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot | ||
2 | Ag C234 | 45 | pe | 6.11.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot | ||
3 | Ag C234 | 46 | pe | 13.11.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot | ||
4 | Ag C234 | 47 | pe | 20.11.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot | ||
5 | Ag C234 | 48 | pe | 27.11.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot | ||
6 | Ag C234 | 49 | pe | 4.12.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot | ||
7 | Ag C234 | 50 | pe | 11.12.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot | ||
8 | Ag C234 | 51 | pe | 18.12.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot |
Ohjaus [ryhmien tarkat tiedot ja ilmoittautuminen]
Paikka | Viikko | Päivä | Pvm | Klo | Ohjaaja | Lisätietoja | URI | Tapahtuman tiedot | |
---|---|---|---|---|---|---|---|---|---|
1 | Ag B112.2 (Latin), mikroluokka | 44 | ke | 28.10.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
2 | Ag B111.1 (Asia) | 45 | ke | 4.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
3 | Ag B112.1 (Africa), mikroluokka | 46 | ke | 11.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
4 | Ag B111.1 (Asia) | 47 | ke | 18.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
5 | Ag B111.1 (Asia) | 48 | ke | 25.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
6 | Ag B111.1 (Asia) | 49 | ke | 2.12.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
7 | Ag B111.1 (Asia) | 50 | ke | 9.12.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
8 | Ag B111.1 (Asia) | 51 | ke | 16.12.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot |
Paikka | Viikko | Päivä | Pvm | Klo | Ohjaaja | Lisätietoja | URI | Tapahtuman tiedot | |
---|---|---|---|---|---|---|---|---|---|
1 | Ag B113.1 (Europe), mikroluokka | 44 | ke | 28.10.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
2 | Ag B112.1 (Africa), mikroluokka | 45 | ke | 4.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
3 | Ag B112.1 (Africa), mikroluokka | 46 | ke | 11.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
4 | Ag B112.1 (Africa), mikroluokka | 47 | ke | 18.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
5 | Ag B112.1 (Africa), mikroluokka | 48 | ke | 25.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
6 | Ag B112.1 (Africa), mikroluokka | 49 | ke | 2.12.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
7 | Ag B112.1 (Africa), mikroluokka | 50 | ke | 9.12.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
8 | Ag B112.1 (Africa), mikroluokka | 51 | ke | 16.12.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot |
Tasokoe [ryhmien tarkat tiedot ja ilmoittautuminen]
Paikka | Viikko | Päivä | Pvm | Klo | Ohjaaja | Lisätietoja | URI | Tapahtuman tiedot | |
---|---|---|---|---|---|---|---|---|---|
1 | Ag B111.1 (Asia) | 3 | ke | 20.1.2010 | 14:00-16:00 | Isomöttönen | Tapahtuman tiedot | ||
2 | Ag B112.1 (Africa), mikroluokka | 3 | to | 21.1.2010 | 12:00-14:00 | Isomöttönen | Tapahtuman tiedot |