Odota...
Wait...
Korppi-järjestelmän toimintoja Korppi

11.23.0

Kirjaudu sisään järjestelmään!
24.11.2017 15:13

TIEA341 Funktio-ohjelmointi 1, 3 - 5 op [kotisivu]

Tietotekniikan laitos

Tiedotus:
Kurssin ilmoittautumisaika päättyi 30.10.17 klo 00:00.

Yleisiä tietoja

Kotisivu: http://functional-programming.it.jyu.fi/
Alkaa - päättyy: 26.10.17 - 15.12.17
Ilmoittautumisaika: 30.6.17 klo 0:00 - 30.10.17 klo 0:00
Ilmoittautuminen täytyy vahvistaa välillä 19.10.2017 - 26.10.2017.
Ilmoittautuminen voidaan perua 30.10.2017 klo 00:00 mennessä.
Opettaja(t): Yliopistonlehtori Ville Tirronen (ville.e.t.tirronen@jyu.fi)
Tuntiopettaja(t): Yliopistonopettaja Antti-Jussi Lakanen (antti-jussi.lakanen@jyu.fi)
Laajuus: 3 - 5 op
Kielet: opetuskielet: English, suomi; suorituskielet: English, suomi
Ilmoittautuneita: 214
Organisaatiot:Informaatioteknologian tiedekunta (ITK), Tietotekniikan laitos (TTL)
Ajankohtaista:

Luennot kestävät 1. periodin ajan, yksi demosessio jatkuu koko syyslukukauden ajan. Lisätietoja kurssin alkaessa ja aikana.

Sisältö:Perusteet funktio-ohjelmoinnista käyttäen Haskell-kieltä.
Osaamistavoitteet:Yhden opintopisteen suoritettuaan opiskelija kykenee laatimaan yksinkertaisia toimivia Haskell-ohjelmia. Toisen opintopisteen suoritettuaan opiskelija kykenee lisäksi käyttämään algebrallisia tietotyyppejä Haskell-kielisessä ohjelmassa. Kolmannen opintopisteen suoritettuaan opiskelija hallitsee lisäksi rekursion käyttämisen ohjelmointitehtävien ratkaisemisessa ja induktion käyttämisen yksinkertaisten ohjelmien ominaisuuksien todistamisessa oikeaksi. Neljännen opintopisteen suoritettuaan opiskelija lisäksi osaa käyttää tyyppiluokkia ja funktoreita Haskell-ohjelmoinnissa. Viidennen opintopisteen suoritettuaan opiskelija lisäksi osaa käyttää fold-funktionaalia yksinkertaisissa ohjelmointitehtävissä.
Esitiedot:Kurssia pyritään kehittämään täysin esitiedottomaksi, mutta nykyisellään tietokoneen ja komentorivin käyttötaidoista on etua. Myös aiempi ohjelmointikokemus on hyödyksi samoin kuin matematiikan perustaidot.
Opetusmuodot:

Kurssilla on yksi viikoittainen yhteenvetotilaisuus ja ohjaustilaisuuksia, joissa ohjatusti tehdään kurssin tehtäviä.

Suoritustavat:Kurssi suoritetaan oppimistehtävillä.
Kurssin työmäärä:

Kurssin opintopisteisiin pohjautuva kokonaistyömäärä on 135 tuntia. Toteutuva työaika riippuu kuitenkin huomattavasti kurssin suorittajasta, työmotivaatiosta ja taustasta.

Vaikka kurssi olisikin sinun esitiedoillasi työläämpi kuin jollain toisella opiskelijalla voi lohduttatua sillä, että myöhemmin suoritat puolestasi jonkun toisen kurssin paremmilla esitiedoilla.

Kirjallisuus:
Oppimateriaali

Learn You a Haskell for Great Good!: A Beginner's Guide, http://learnyouahaskell.com/ Real World Haskell, http://book.realworldhaskell.org/

Avainsanat:

ohjelmointi

funktio-ohjelmointi

haskell

Arviointi:
Arvosteluasteikko

Hyväksytty-hylätty

Arviointiperusteet

Kullekin opintopistemäärälle määritellään oppimistehtävät. Tietyn opintopistemäärän tekeminen vaatii kaikkien sille ja pienemmälle opintopistemäärälle määriteltyjen tehtävien tekemisen olennaisesti virheettömästi.

[Tiivistä opetusryhmien aika- ja paikkatiedot]

Luento [ryhmien tarkat tiedot ja ilmoittautuminen]

Lecture [ryhmätiedot ja ilmoittautuminen]; ilmoittautuneita 199, maksimi 200
ilm.aika: 30.6.2017 00:00 - 30.10.2017 00:00
 PaikkaViikkoPäiväPvmKloOhjaajaLisätietojaURITapahtuman tiedot
1MaD 25943to26.10.201710:15-12:00Lakanen, TirronenTapahtuman tiedot
2Ag Delta44to2.11.201710:15-12:00TirronenTapahtuman tiedot
3Ag Gamma45to9.11.201710:15-12:00TirronenTapahtuman tiedot
4Ag Gamma46to16.11.201710:15-12:00TirronenTapahtuman tiedot
5YlistöKem247to23.11.201710:15-12:00TirronenTapahtuman tiedot
6Ag Gamma48to30.11.201710:15-12:00TirronenTapahtuman tiedot
7Ag Gamma49to7.12.201710:15-12:00TirronenTapahtuman tiedot
8Ag Gamma50to14.12.201710:15-12:00TirronenTapahtuman tiedot
9Ag Beeta51to21.12.201710:15-12:00TirronenTapahtuman tiedot
Practise session 1 [ryhmätiedot ja ilmoittautuminen]; ilmoittautuneita 159, maksimi 160
ilm.aika: 30.6.2017 00:00 - 30.10.2017 00:00
 PaikkaViikkoPäiväPvmKloOhjaajaLisätietojaURITapahtuman tiedot
1Ag B211.1 (Sovjet), Ag B212.1 (Finland)43pe27.10.201710:15-12:00Lakanen, TirronenTapahtuman tiedot
2Ag B211.1 (Sovjet), Ag B212.1 (Finland)44pe3.11.201710:15-12:00Lakanen, TirronenTapahtuman tiedot
3Ag B112.2 (Latin), Ag B113.1 (Europe)45pe10.11.201710:15-12:00Lakanen, TirronenTapahtuman tiedot
4Ag B112.2 (Latin), Ag B113.1 (Europe)46pe17.11.201710:15-12:00TirronenTapahtuman tiedot
5Ag B112.1 (Africa), Ag B112.2 (Latin)47pe24.11.201710:15-12:00TirronenTapahtuman tiedot
6Ag B212.2 (Mountains), Ag B213.1 (Lakes)48pe1.12.201710:15-12:00TirronenTapahtuman tiedot
7Ag B211.1 (Sovjet), Ag B212.1 (Finland)49pe8.12.201710:15-12:00TirronenTapahtuman tiedot
8Ag B112.2 (Latin), Ag B113.1 (Europe)50pe15.12.201710:15-12:00TirronenTapahtuman tiedot
Practise session 2 [ryhmätiedot ja ilmoittautuminen]; ilmoittautuneita 159, maksimi 160
ilm.aika: 30.6.2017 00:00 - 30.10.2017 00:00
 PaikkaViikkoPäiväPvmKloOhjaajaLisätietojaURITapahtuman tiedot
1Ag B211.1 (Sovjet), Ag B212.1 (Finland)43pe27.10.201712:15-14:00Lakanen, TirronenTapahtuman tiedot
2Ag B211.1 (Sovjet), Ag B212.1 (Finland)44pe3.11.201712:15-14:00Lakanen, TirronenTapahtuman tiedot
3Ag B112.2 (Latin), Ag B113.1 (Europe)45pe10.11.201712:15-14:00Lakanen, TirronenTapahtuman tiedot
4Ag B112.2 (Latin), Ag B113.1 (Europe)46pe17.11.201712:15-14:00TirronenTapahtuman tiedot
5Ag B112.2 (Latin), Ag B113.1 (Europe)47pe24.11.201712:15-14:00TirronenTapahtuman tiedot
6Ag B212.2 (Mountains), Ag B213.1 (Lakes)48pe1.12.201712:15-14:00TirronenTapahtuman tiedot
7Ag B211.1 (Sovjet), Ag B212.1 (Finland)49pe8.12.201712:15-14:00TirronenTapahtuman tiedot
8Ag B112.2 (Latin), Ag B113.1 (Europe)50pe15.12.201712:15-14:00TirronenTapahtuman tiedot

Demo [ryhmien tarkat tiedot ja ilmoittautuminen]

Practise session 2B [ryhmätiedot ja ilmoittautuminen]; ilmoittautuneita 22, maksimi 160
ilm.aika: 30.6.2017 00:00 - 30.10.2017 00:00
 PaikkaViikkoPäiväPvmKloOhjaajaLisätietojaURITapahtuman tiedot
1Ag C431.1 (ITK-neukkari)44to2.11.201712:15-14:00TirronenTapahtuman tiedot
2Ag B212.1 (Finland)45to9.11.201712:15-14:00TirronenTapahtuman tiedot
3Ag B212.1 (Finland)46to16.11.201712:15-14:00Lakanen, TirronenTapahtuman tiedot
4Ag B212.1 (Finland)47to23.11.201712:15-14:00TirronenTapahtuman tiedot
5Ag C431.1 (ITK-neukkari)48to30.11.201712:15-14:00TirronenTapahtuman tiedot

Ohjaus [ryhmien tarkat tiedot ja ilmoittautuminen]

Extra practise [ryhmätiedot ja ilmoittautuminen]; ilmoittautuneita 7, maksimi 160
ilm.aika: 30.6.2017 00:00 - 30.10.2017 00:00
 PaikkaViikkoPäiväPvmKloOhjaajaLisätietojaURITapahtuman tiedot
1Ag B112.1 (Africa)43pe27.10.201714:15-16:00LakanenTapahtuman tiedot
2Ag B112.1 (Africa)44pe3.11.201714:15-16:00LakanenTapahtuman tiedot
3Ag B112.1 (Africa)45pe10.11.201714:15-16:00LakanenTapahtuman tiedot
4Ag B112.1 (Africa)46pe17.11.201714:15-16:00-Tapahtuman tiedot
5Ag B112.1 (Africa)47pe24.11.201714:15-16:00-Tapahtuman tiedot
6Ag B213.1 (Lakes)48pe1.12.201714:15-16:00-Tapahtuman tiedot
7Ag B112.1 (Africa)49pe8.12.201714:15-16:00-Tapahtuman tiedot
8Ag B112.1 (Africa)50pe15.12.201714:15-16:00-Tapahtuman tiedot