Odota...
Wait...
Functions in Korppi Korppi

14.6.1

Log in!
Jan/18/2019 02:32

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]

Luento 1 [group details and registration]; registered 37, maximum 200
reg.time: 12.6.2009 00:00 - 20.12.2009 23:59
 LocationWeekDayDateAtSupervisorFurther informationURITapahtuman tiedot
1Ag C23344Mo26.10.200910:15-12:00TirronenTapahtuman tiedot
2Ag C23345Mo2.11.200910:15-12:00TirronenTapahtuman tiedot
3Ag D12146Mo9.11.200910:15-12:00TirronenTapahtuman tiedot
4Ag C23347Mo16.11.200910:15-12:00TirronenTapahtuman tiedot
5Ag C23348Mo23.11.200910:15-12:00TirronenTapahtuman tiedot
6Ag C23349Mo30.11.200910:15-12:00TirronenTapahtuman tiedot
7Ag C23350Mo7.12.200910:15-12:00TirronenTapahtuman tiedot
8Ag B111.1 (Asia)51Th17.12.200910:15-12:15TirronenTapahtuman tiedot

Demo [group details and registration]

Demo 1 [group details and registration]; registered 21, maximum 40
reg.time: 12.6.2009 00:00 - 20.12.2009 23:59
 LocationWeekDayDateAtSupervisorFurther informationURITapahtuman tiedot
1Ag C23444Fr30.10.200908:15-10:00TirronenTapahtuman tiedot
2Ag C23445Fr6.11.200908:15-10:00TirronenTapahtuman tiedot
3Ag C23446Fr13.11.200908:15-10:00TirronenTapahtuman tiedot
4Ag C23447Fr20.11.200908:15-10:00TirronenTapahtuman tiedot
5Ag C23448Fr27.11.200908:15-10:00TirronenTapahtuman tiedot
6Ag C23449Fr4.12.200908:15-10:00TirronenTapahtuman tiedot
7Ag C23450Fr11.12.200908:15-10:00TirronenTapahtuman tiedot
8Ag C23451Fr18.12.200908:15-10:00TirronenTapahtuman tiedot

Ohjaus [group details and registration]

Ryhmä 1 [group details and registration]; registered 17, maximum 24
reg.time: 12.6.2009 00:00 - 20.12.2009 23:59
 LocationWeekDayDateAtSupervisorFurther informationURITapahtuman tiedot
1Ag B112.2 (Latin), mikroluokka44Wed28.10.200912:15-14:00TirronenTapahtuman tiedot
2Ag B111.1 (Asia)45Wed4.11.200912:15-14:00TirronenTapahtuman tiedot
3Ag B112.1 (Africa), mikroluokka46Wed11.11.200912:15-14:00TirronenTapahtuman tiedot
4Ag B111.1 (Asia)47Wed18.11.200912:15-14:00TirronenTapahtuman tiedot
5Ag B111.1 (Asia)48Wed25.11.200912:15-14:00TirronenTapahtuman tiedot
6Ag B111.1 (Asia)49Wed2.12.200912:15-14:00TirronenTapahtuman tiedot
7Ag B111.1 (Asia)50Wed9.12.200912:15-14:00TirronenTapahtuman tiedot
8Ag B111.1 (Asia)51Wed16.12.200912:15-14:00TirronenTapahtuman tiedot
Ryhmä 2 [group details and registration]; registered 1, maximum 24
reg.time: 12.6.2009 00:00 - 20.12.2009 23:59
 LocationWeekDayDateAtSupervisorFurther informationURITapahtuman tiedot
1Ag B113.1 (Europe), mikroluokka44Wed28.10.200912:15-14:00TirronenTapahtuman tiedot
2Ag B112.1 (Africa), mikroluokka45Wed4.11.200912:15-14:00TirronenTapahtuman tiedot
3Ag B112.1 (Africa), mikroluokka46Wed11.11.200912:15-14:00TirronenTapahtuman tiedot
4Ag B112.1 (Africa), mikroluokka47Wed18.11.200912:15-14:00TirronenTapahtuman tiedot
5Ag B112.1 (Africa), mikroluokka48Wed25.11.200912:15-14:00TirronenTapahtuman tiedot
6Ag B112.1 (Africa), mikroluokka49Wed2.12.200912:15-14:00TirronenTapahtuman tiedot
7Ag B112.1 (Africa), mikroluokka50Wed9.12.200912:15-14:00TirronenTapahtuman tiedot
8Ag B112.1 (Africa), mikroluokka51Wed16.12.200912:15-14:00TirronenTapahtuman tiedot

Proficiency test [group details and registration]

Tasokoe [group details and registration]; maximum 200
reg.time: 12.6.2009 00:00 - 20.12.2009 23:59
 LocationWeekDayDateAtSupervisorFurther informationURITapahtuman tiedot
1Ag B111.1 (Asia)3Wed20.1.201014:00-16:00IsomöttönenTapahtuman tiedot
2Ag B112.1 (Africa), mikroluokka3Th21.1.201012:00-14:00IsomöttönenTapahtuman tiedot