Laskennan mallit

Main themes and learning objectives »
This course requires prerequisites »
582206
8
Algorithms and machine learning
Intermediate studies
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.

Exam

23.10.2014 09.00 A111 ja B123
19.12.2014 16.00 A111 ja CK112
Year Semester Date Period Language In charge
2014 autumn 03.09-10.12. 1-2 Finnish Tomi Pasanen

Lectures

Time Room Lecturer Date
Wed 12-14 A111 Tomi Pasanen 03.09.2014-15.10.2014
Wed 12-14 A111 Tomi Pasanen 29.10.2014-10.12.2014

Exercise groups

Group: 1
Time Room Instructor Date Observe
Mon 12-14 B119 Titti Malmivirta 01.09.2014—17.10.2014
Wed 16-18 B119 Titti Malmivirta 01.09.2014—17.10.2014
Wed 16-18 B119 Titti Malmivirta 27.10.2014—12.12.2014
Mon 12-14 B119 Titti Malmivirta 27.10.2014—12.12.2014
Group: 2
Time Room Instructor Date Observe
Fri 12-14 B222 Sandra Luhtaniemi 01.09.2014—17.10.2014
Tue 10-12 C220 Sandra Luhtaniemi 01.09.2014—17.10.2014
Fri 12-14 B222 Sandra Luhtaniemi 27.10.2014—12.12.2014
Tue 10-12 B119 Sandra Luhtaniemi 27.10.2014—12.12.2014
Group: 3
Time Room Instructor Date Observe
Wed 10-12 B222 Sandra Luhtaniemi 01.09.2014—17.10.2014
Thu 10-12 B119 Sandra Luhtaniemi 01.09.2014—17.10.2014
Wed 10-12 B222 Sandra Luhtaniemi 27.10.2014—12.12.2014
Thu 10-12 C220 Sandra Luhtaniemi 27.10.2014—12.12.2014
Group: 4
Time Room Instructor Date Observe
Wed 14-16 CK111 Tomi Pasanen 01.09.2014—17.10.2014
Wed 14-16 C222 Tomi Pasanen 27.10.2014—12.12.2014

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.

Pajaohjaus MA 1.9. klo 12-14 on peruutettu lukuvuoden avajaisten takia.

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

General

Ylimääräinen koekertaus 11.12. klo 16-18 salissa D123!

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!

Luennot

Periodi I

  • Kappale 1 (motivation)
  • Kappale 2
    • 24.9: luentokalvot 1-42 (Jyrkin kalvot 130-178 ja 201-216; ei Lauseen 2.12 todistusta, pages in the course book 101-116 and 125-129; proof of Theorem 2.9 skipped)
    • 1.10: ei luentoa eikä klo 14-16 laskuharjoitusryhmää
    • 8.10: luentokalvot 43-71 (Jyrkin kalvot 179-200; pages in the course book 117-124)
    • 15.10: ei luentoa eikä klo 14-16 laskuharjoitusryhmää

Esimerkki 1. kurssikokeesta (an example of 1st  Course Exam)
- Ensimmäisen kurssikokeen esimerkkiratkaisuja

Periodi II

Esimerkki 2. kurssikokeesta (an example of 2nd Course Exam)

Harjoitustehtävät

Periodi I

Periodi II

Completing the course

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

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 kahdella kurssikokeella tai yhdellä uusintakokeella, missä koealueena on koko kurssimateriaali. 

Literature and material

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)).