Laskennan mallit

582206
8
Algoritmit ja koneoppiminen
Aineopinnot
Laskentaongelmien matemaattinen määrittely. Automaatit, formaalit kielet ja kieliopit. Algoritmikäsitteen formalisointi. Ratkeavuus. Esitiedot: Tietorakenteet-kurssin suoritus (tai esitietokoe). Huom: Kurssin harjoitukset alkavat jo ensimmäisellä luentoviikolla. Kurssikirja: Sipser M.: Introduction to the Theory of Computation (2nd ed.), Thomson Course Technology, 2006.

Koe

22.10.2015 09.00 A111
18.12.2015 16.00 B123
Vuosi Lukukausi Päivämäärä Periodi Kieli Vastuuhenkilö
2015 syksy 02.09-09.12. 1-2 Suomi Tomi Pasanen

Luennot

Aika Huone Luennoija Päivämäärä
Ke 12-14 A111 Tomi Pasanen 02.09.2015-14.10.2015
Ma 14-16 A111 Tomi Pasanen 14.09.2015-14.10.2015
Ma 14-16 A111 Tomi Pasanen 26.10.2015-09.12.2015
Ke 12-14 A111 Tomi Pasanen 26.10.2015-09.12.2015

Harjoitusryhmät

Group: 1
Aika Huone Ohjaaja Päivämäärä Huomioitavaa
Ma 10-12 C222 Noora Imberg 07.09.2015—16.10.2015
Ma 16-18 D122 Noora Imberg 07.09.2015—16.10.2015
Ma 16-18 D122 Noora Imberg 26.10.2015—11.12.2015
Ma 10-12 C222 Noora Imberg 26.10.2015—11.12.2015
Group: 2
Aika Huone Ohjaaja Päivämäärä Huomioitavaa
Ke 10-12 D122 Titti Malmivirta 31.08.2015—16.10.2015
Ti 10-12 C220 Titti Malmivirta 31.08.2015—16.10.2015
Ke 10-12 C222 Titti Malmivirta 26.10.2015—11.12.2015
Ti 10-12 C220 Titti Malmivirta 26.10.2015—11.12.2015
Group: 3
Aika Huone Ohjaaja Päivämäärä Huomioitavaa
Ke 14-16 C222 Tomi Pasanen 31.08.2015—16.10.2015
Ke 14-16 C222 Tomi Pasanen 26.10.2015—11.12.2015
Group: 4
Aika Huone Ohjaaja Päivämäärä Huomioitavaa
Ti 12-14 A307 Martin Radev 07.09.2015—16.10.2015 in English
Ti 10-12 A307 Martin Radev 26.10.2015—11.12.2015 in English

Kaikki ilmoittautuvat ryhmään 99. Harjoitukset alkavat jo ensimmäisellä luentoviikolla. Harjoitusryhmät pidetään pajassa, jossa tehtävät ratkotaan yhdessä muiden opiskelijoiden sekä ohjaajien kanssa. Ohjaajien läsnäoloajat ilmoitetaan piakkoin.

Non finnish students, contact the lecturer Tomi Pasanen before hand.

Yleistä

Ilmoitusasioita 

  • Kurssisysely Moodlessa. Vastaamalla saat yhden ylimääräisen pisteen kurssisuoritustasi arvioitaessa!

Varaudu harjoitusryhmien tunteihin eli ohjaustunteihin lukemalla edeltävä luentomateriaali läpi, näin harjoituksien tekeminen on helpompaa. Ohjausta harjoituksien tekemiseen saa siis ainoastaan ohjaustunneilla. Huom! Käy niillä ohjaustunneilla joilla haluat, voit siis käydä vaikka kaikilla!

  • Kappale 1 (motivation, motivation2)
    • ​​Pages in the course book 31-46 (Jyrkin kalvot 1-55) (ohjelmasta automaattiin, automaatin ja laskennan formaali määritelmä, säännöllisen kielen määritelmä, säännölliset operaatiot) 
    • Pages in the course book 47-66 (Jyrkin kalvot 56-86) (epädeterministisyys, säännölliset operaatiot)
    • Pages in the course book 66-76 (Jyrkin kalvot 86-108) (säännölliset ilmaukset)
    • Pages in the course book 77-82 (Jyrkin kalvot 109-129) (toistuvuusominaisuus) 
  • Kappale 2
    • Pages in the course book 101-116 and 125-129; proof of Theorem 2.9 skipped (Jyrkin kalvot 130-178 ja 201-216; ei Lauseen 2.12 todistusta)
    • Pages in the course book 117-124 (Jyrkin kalvot 179-200)
  • Kappale 3
    • Pages in the course book 139-154 (Jyrkin kalvot 217-247) 
    • luentokalvot 29-34
    • Pages in the course book 154-161 (Jyrkin kalvot 248-253)
  • Kappale 4
    • Pages in the course book 167-184 (Jyrkin kalvot 254-272)
  • Kappale 5
    • Pages in the course book 191-196 (Jyrkin kalvot 254-272)
  • Kappale 7
    • Pages in the course book 251-287 (Jyrkin kalvot 273-302)

Harjoitustehtävät

Kurssin suorittaminen

Kurssi koostuu ohjatusta opiskelusta, itsenäisestä opiskelusta ja luennoista. 

Kurssilla annetaan viikottain harjoitustehtäviä. Tehtävien tekeminen ei ole pakollista, mutta se on välttämätöntä kurssin sisällön oppimiseksi. On hyvin vaikea päästä kokeista läpi, jos ei ole tehnyt harjoitustehtäviä. Ohjausta tehtävien tekemiseen saa kurssisivulla mainittuina aikoina mainituissa paikoissa.

Kurssi suoritetaan neljällä välikokeella tai yhdellä uusintakokeella. Uusintakokeessa koealueena on koko kurssimateriaali. 

Välikokeet järjestetään 

  • 1. välikoe ma 21.9. luentoaikana 14-16, sali A111
  • 2. välikoe ma 12.10 luentoaikana 14-16, sali A111
  • 3. välikoe ma 16.11 luentoaikana 14-16, sali A111
  • 4. välikoe ma 7.12 luentoaikana 14-16, sali A111

Kunkin välikokeen jälkeen opiskelija saa kopion omasta kokeestaan itselleen ja hän on velvollinen tarkistamaan vastauksensa saman viikon laskuharjoitusryhmässä maanantaina, tiistaina tai keskiviikkona. Kussakin laskuharjoitusryhmässä vetäjät avustavat arvioinnissa mahdollisissa ongelmakohdissa. 

Arvioidut tentit palautetaan laskuharjoitustuntien vetäjille arvioinnin jälkeen. 

 

Kirjallisuus ja materiaali

Opiskelijoilla oletetaan olevan käytössään kurssikirja Sipser M, Introduction to the Theory of Computation (2nd ed.), Thomson Course Technology, 2006. Apuna opiskelussa voi käyttää Jyrki Kivisen erinomaista materiaali vuodelta 2011 (PDF / PS (4 kalvoa/arkki)), mikä ei kuitenkaan kata kaikkia käsiteltäviä aiheita.