TIEA341 Functional Programming 1, 3 - 5 ECTS [home page]
Department of Mathematical Information Technology
Announcement:
The language used was temporarily changed. Personal information page allows you to save your language settings.You cannot register for the course because the course has expired.
The registration deadline for this course passed 20.12.09 at 23:59.
General information
| Home page: | http://users.jyu.fi/~aleator/FO/ |
|---|---|
| Begins - ends: | 26.10.09 - 30.7.10 |
| Registration period: | 12.6.09 at 0:00
- 20.12.09 at 23:59
The registration may be cancelled before 26.10.2009 at 00:00. |
| Instructor(s): | Joel Lehtonen (joel.lehtonen@iki.fi) Ville Tirronen (ville.e.t.tirronen@jyu.fi) |
| Adjunct instructor(s): | Ville Isomöttönen (ville.isomottonen@jyu.fi) Jonne Itkonen (jonne.itkonen@jyu.fi) Joel Lehtonen (joel.lehtonen@iki.fi) |
| Credits: | 3 - 5 ECTS cr. |
| Languages: | language(s) of instruction: English, suomi; completion language(s): English, suomi |
| Registered: | 40 |
| Organisations: | Department of Mathematical Information Technology (MIT) |
| Contents: | Basics of functional programming. Lazy and eager evaluation. Map and fold. Persistent data structures. Side-effect regulation. |
| Prerequisites: | Programming 2, Algorithms 2, Discrete structures (or equivalent). |
| Selection procedure: | Students who have completed TIE0328 (Functional Programming) lectured in 2003 are not admitted in this course. |
| Modes of study: | Lectures in Finnish or independent study. Also optional exercises in Finnish or English. |
| Completion mode: | Exam or graded take-home exercises. |
| Literature: | 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. |
[Limit information on study groups]
Luento [group details and registration]
| Location | Week | Day | Date | At | Supervisor | Further information | URI | Tapahtuman tiedot | |
|---|---|---|---|---|---|---|---|---|---|
| 1 | Ag C233 | 44 | Mo | 26.10.2009 | 10:15-12:00 | Tirronen | Tapahtuman tiedot | ||
| 2 | Ag C233 | 45 | Mo | 2.11.2009 | 10:15-12:00 | Tirronen | Tapahtuman tiedot | ||
| 3 | Ag D121 | 46 | Mo | 9.11.2009 | 10:15-12:00 | Tirronen | Tapahtuman tiedot | ||
| 4 | Ag C233 | 47 | Mo | 16.11.2009 | 10:15-12:00 | Tirronen | Tapahtuman tiedot | ||
| 5 | Ag C233 | 48 | Mo | 23.11.2009 | 10:15-12:00 | Tirronen | Tapahtuman tiedot | ||
| 6 | Ag C233 | 49 | Mo | 30.11.2009 | 10:15-12:00 | Tirronen | Tapahtuman tiedot | ||
| 7 | Ag C233 | 50 | Mo | 7.12.2009 | 10:15-12:00 | Tirronen | Tapahtuman tiedot | ||
| 8 | Ag B111.1 (Asia) | 51 | Th | 17.12.2009 | 10:15-12:15 | Tirronen | Tapahtuman tiedot |
Demo [group details and registration]
| Location | Week | Day | Date | At | Supervisor | Further information | URI | Tapahtuman tiedot | |
|---|---|---|---|---|---|---|---|---|---|
| 1 | Ag C234 | 44 | Fr | 30.10.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot | ||
| 2 | Ag C234 | 45 | Fr | 6.11.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot | ||
| 3 | Ag C234 | 46 | Fr | 13.11.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot | ||
| 4 | Ag C234 | 47 | Fr | 20.11.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot | ||
| 5 | Ag C234 | 48 | Fr | 27.11.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot | ||
| 6 | Ag C234 | 49 | Fr | 4.12.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot | ||
| 7 | Ag C234 | 50 | Fr | 11.12.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot | ||
| 8 | Ag C234 | 51 | Fr | 18.12.2009 | 08:15-10:00 | Tirronen | Tapahtuman tiedot |
Ohjaus [group details and registration]
| Location | Week | Day | Date | At | Supervisor | Further information | URI | Tapahtuman tiedot | |
|---|---|---|---|---|---|---|---|---|---|
| 1 | Ag B112.2 (Latin), mikroluokka | 44 | Wed | 28.10.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
| 2 | Ag B111.1 (Asia) | 45 | Wed | 4.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
| 3 | Ag B112.1 (Africa), mikroluokka | 46 | Wed | 11.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
| 4 | Ag B111.1 (Asia) | 47 | Wed | 18.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
| 5 | Ag B111.1 (Asia) | 48 | Wed | 25.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
| 6 | Ag B111.1 (Asia) | 49 | Wed | 2.12.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
| 7 | Ag B111.1 (Asia) | 50 | Wed | 9.12.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
| 8 | Ag B111.1 (Asia) | 51 | Wed | 16.12.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot |
| Location | Week | Day | Date | At | Supervisor | Further information | URI | Tapahtuman tiedot | |
|---|---|---|---|---|---|---|---|---|---|
| 1 | Ag B113.1 (Europe), mikroluokka | 44 | Wed | 28.10.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
| 2 | Ag B112.1 (Africa), mikroluokka | 45 | Wed | 4.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
| 3 | Ag B112.1 (Africa), mikroluokka | 46 | Wed | 11.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
| 4 | Ag B112.1 (Africa), mikroluokka | 47 | Wed | 18.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
| 5 | Ag B112.1 (Africa), mikroluokka | 48 | Wed | 25.11.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
| 6 | Ag B112.1 (Africa), mikroluokka | 49 | Wed | 2.12.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
| 7 | Ag B112.1 (Africa), mikroluokka | 50 | Wed | 9.12.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot | ||
| 8 | Ag B112.1 (Africa), mikroluokka | 51 | Wed | 16.12.2009 | 12:15-14:00 | Tirronen | Tapahtuman tiedot |
Proficiency test [group details and registration]
| Location | Week | Day | Date | At | Supervisor | Further information | URI | Tapahtuman tiedot | |
|---|---|---|---|---|---|---|---|---|---|
| 1 | Ag B111.1 (Asia) | 3 | Wed | 20.1.2010 | 14:00-16:00 | Isomöttönen | Tapahtuman tiedot | ||
| 2 | Ag B112.1 (Africa), mikroluokka | 3 | Th | 21.1.2010 | 12:00-14:00 | Isomöttönen | Tapahtuman tiedot |