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

15.0.1

Log in!
Oct/21/2019 04:18

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.

[Full information on teaching 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 informationURI
1 - 8Ag C233, Ag C233, Ag D121, Ag C233, Ag C233, Ag C233, Ag C233, Ag B111.1 (Asia)44 - 51Mo, Th26.10.2009 - 17.12.2009severalTirronen

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 informationURI
1 - 8Ag C234, Ag C234, Ag C234, Ag C234, Ag C234, Ag C234, Ag C234, Ag C23444 - 51Fr30.10.2009 - 18.12.2009severalTirronen

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 informationURI
1 - 8Ag 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 - 51Wed28.10.2009 - 16.12.2009severalTirronen
Ryhmä 2 [group details and registration]; registered 1, maximum 24
reg.time: 12.6.2009 00:00 - 20.12.2009 23:59
 LocationWeekDayDateAtSupervisorFurther informationURI
1 - 8Ag 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), mikroluokka44 - 51Wed28.10.2009 - 16.12.2009severalTirronen

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 informationURI
1 - 2Ag B111.1 (Asia), Ag B112.1 (Africa), mikroluokka3Wed, Th20.1.2010 - 21.1.2010severalIsomöttönen