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. |
[Laajenna opetusryhmien aika- ja paikkatiedot]
Luento [ryhmien tarkat tiedot ja ilmoittautuminen]
Paikka | Viikko | Päivä | Pvm | Klo | Ohjaaja | Lisätietoja | URI | |
---|---|---|---|---|---|---|---|---|
1 - 8 | Ag C233, Ag C233, Ag D121, Ag C233, Ag C233, Ag C233, Ag C233, Ag B111.1 (Asia) | 44 - 51 | ma, to | 26.10.2009 - 17.12.2009 | useita | Tirronen |
Demo [ryhmien tarkat tiedot ja ilmoittautuminen]
Paikka | Viikko | Päivä | Pvm | Klo | Ohjaaja | Lisätietoja | URI | |
---|---|---|---|---|---|---|---|---|
1 - 8 | Ag C234, Ag C234, Ag C234, Ag C234, Ag C234, Ag C234, Ag C234, Ag C234 | 44 - 51 | pe | 30.10.2009 - 18.12.2009 | useita | Tirronen |
Ohjaus [ryhmien tarkat tiedot ja ilmoittautuminen]
Paikka | Viikko | Päivä | Pvm | Klo | Ohjaaja | Lisätietoja | URI | |
---|---|---|---|---|---|---|---|---|
1 - 8 | Ag B112.2 (Latin), mikroluokka, Ag B111.1 (Asia), Ag B112.1 (Africa), mikroluokka, Ag B111.1 (Asia), Ag B111.1 (Asia), Ag B111.1 (Asia), Ag B111.1 (Asia), Ag B111.1 (Asia) | 44 - 51 | ke | 28.10.2009 - 16.12.2009 | useita | Tirronen |
Paikka | Viikko | Päivä | Pvm | Klo | Ohjaaja | Lisätietoja | URI | |
---|---|---|---|---|---|---|---|---|
1 - 8 | Ag B113.1 (Europe), mikroluokka, Ag B112.1 (Africa), mikroluokka, Ag B112.1 (Africa), mikroluokka, Ag B112.1 (Africa), mikroluokka, Ag B112.1 (Africa), mikroluokka, Ag B112.1 (Africa), mikroluokka, Ag B112.1 (Africa), mikroluokka, Ag B112.1 (Africa), mikroluokka | 44 - 51 | ke | 28.10.2009 - 16.12.2009 | useita | Tirronen |
Tasokoe [ryhmien tarkat tiedot ja ilmoittautuminen]
Paikka | Viikko | Päivä | Pvm | Klo | Ohjaaja | Lisätietoja | URI | |
---|---|---|---|---|---|---|---|---|
1 - 2 | Ag B111.1 (Asia), Ag B112.1 (Africa), mikroluokka | 3 | ke, to | 20.1.2010 - 21.1.2010 | useita | Isomöttönen |