Laskennan mallit
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
17.10.2013
09.00
A111 ja B123
13.12.2013
16.00
A111
| Vuosi | Lukukausi | Päivämäärä | Periodi | Kieli | Vastuuhenkilö |
|---|---|---|---|---|---|
| 2013 | syksy | 02.09-02.12. | 1-2 | Suomi | Tomi Pasanen |
Luennot
| Aika | Huone | Luennoija | Päivämäärä |
|---|---|---|---|
| Ma 10-12 | A111 | Tomi Pasanen | 02.09.2013-07.10.2013 |
| Ma 10-12 | A111 | Tomi Pasanen | 28.10.2013-02.12.2013 |
Harjoitusryhmät
| Aika | Huone | Ohjaaja | Päivämäärä | Huomioitavaa |
|---|---|---|---|---|
| Ma 12-16 | C220 | Tomi Pasanen | 02.09.2013—11.10.2013 | paja, in English too |
| Ke 12-14 | B120 | Tomi Pasanen | 28.10.2013—06.12.2013 | paja, in English too |
| Ma 14-16 | B119 | Tomi Pasanen | 28.10.2013—06.12.2013 | paja, in English too |
| Aika | Huone | Ohjaaja | Päivämäärä | Huomioitavaa |
|---|---|---|---|---|
| Ti 16-18 | CK111 | Paula Lehtola | 02.09.2013—11.10.2013 | paja |
| Ke 14-16 | CK111 | Paula Lehtola | 02.09.2013—04.10.2013 | paja |
| Ke 14-16 | CK107 | Paula Lehtola | 09.10.2013—09.10.2013 | paja |
| Ti 16-18 | CK111 | Paula Lehtola | 28.10.2013—06.12.2013 | paja |
| Ke 14-16 | B120 | Paula Lehtola | 28.10.2013—06.12.2013 | paja |
| Aika | Huone | Ohjaaja | Päivämäärä | Huomioitavaa |
|---|---|---|---|---|
| Ke 16-18 | CK111 | Titti Malmivirta | 02.09.2013—11.10.2013 | paja |
| Pe 12-14 | B119 | Titti Malmivirta | 02.09.2013—11.10.2013 | paja |
| Ke 16-18 | B119 | Titti Malmivirta | 28.10.2013—06.12.2013 | paja |
| Pe 12-14 | CK111 | Titti Malmivirta | 28.10.2013—06.12.2013 | paja |
| Aika | Huone | Ohjaaja | Päivämäärä | Huomioitavaa |
|---|---|---|---|---|
| Ti 12-14 | B120 | Kalle Viiri | 02.09.2013—11.10.2013 | paja |
| Pe 14-16 | B222 | Kalle Viiri | 02.09.2013—11.10.2013 | paja |
| Ti 12-14 | B119 | Kalle Viiri | 28.10.2013—06.12.2013 | paja |
| Pe 14-16 | CK111 | Kalle Viiri | 28.10.2013—06.12.2013 | paja |
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ä
- Tehtävien palauttamisen määräaika siirtyy maanantaille kello 16:sta! (aikaisemmin perjantaina kello 16:00)
- Note that the deadline for returning the homework is moved to Monday at 16:00 o'clock (it used to be on Friday at 16:00 o'clock)
Varaudu pajatunteihin lukemalla edeltävä luentomateriaali läpi, näin harjoituksien tekeminen on helpompaa. Ohjausta harjoituksien tekemiseen saa ainoastaan pajatunneilla ja harjoituksien vastaukset palautetaan paperilla yllä olevien ohjeiden mukaisesti. Harjoituksien vastauksia ei siis saa palauttaa sähköisesti.
Luennot
Periodi I
- Kappale 1 (motivation)
- 2.9. luentokalvot 1-26 (Jyrkin kalvot 1-55, pages in the course book 31-46 )
- 9.9. luentokalvot 27-56 (Jyrkin kalvot 56-86, pages in the course book 47-66 )
- 16.9. luentokalvot 57-79 (Jyrkin kalvot 86-108, pages in the course book 66-76 )
- 23.9. luentokalvot 80-92 (Jyrkin kalvot 109-129, pages in the course book 77-82 )
- Kappale 2
- 30.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)
- 7.10. luentokalvot 43-71 (Jyrkin kalvot 179-200; pages in the course book 117-124)
Esimerkki 1. kurssikokeesta (an example of 1st Course Exam)
Tarkistuslista merkityistä tehtävistä ja ensimmäisestä välikokeesta(a list to check your marked homeworks and points from the first course exam)
Periodi II
- Kappale 3
- 28.10. luentokalvot 1-28 (Jyrkin kalvot 217-247; pages in the course book 139-154)
- luentokalvot 29-34
- luentokalvot 35-42 (Jyrkin kalvot 248-253;pages in the course book 154-161)
- Kappale 4
- 4.11. luentokalvot (Jyrkin kalvot 254-272;pages in the course book 167-184)
- Kappale 5
- 11.11. luentokalvot (Jyrkin kalvot 254-272;pages in the course book 191-196)
- Kappale 7
- 18.11. luentokalvot (Jyrkin kalvot 273-302;pages in the course book 251-287)
- Kappale Q
- 25.1. luento....
Esimerkki 2. kurssikokeesta (an example of 2nd Course Exam)
Harjoitustehtävät
Periodi I
- Harjoitustehtävät 1 (2.-6.9.) (Homework 1 in English); vastauksia 1 ja 2
- Harjoitustehtävät 2 (9.-13.9.) (kansilehti / cover page) (Homework 2 in English); vastauksia, korjaus
- Harjoitustehtävät 3 (16.-20.9.) (kansilehti / cover page) (Homework 3 in English); vastauksia
- Harjoitustehtävät 4 (23.-27.9.) (kansilehti / cover page) (Homework 4 in English); vastauksia
- Harjoitustehtävät 5 (30.9-4.10.) (kansilehti / cover page) (Homework 5 in English); vastauksia
- Harjoitustehtävät 6 (7.-11.10.) (kansilehti / cover page) (Homework 6 in English); vastauksia
Periodi II
- Harjoitustehtävät 7 (28.10.-4.11.) (kansilehti / cover page) (Homework 7 in English); vastauksia
- Harjoitustehtävät 8 (4.-11.11.) (kansilehti / cover page) (Homework 8 in English); vastauksia
- Harjoitustehtävät 9 (11.-18.11.) (kansilehti / cover page) (Homework 9 in English); vastauksia
- Harjoitustehtävät 10 (18.-25.11.) (kansilehti / cover page) (Homework 10 in English); vastauksia
- Harjoitustehtävät 11 (25.11.-2.12.) (kansilehti / cover page) (Homework 10 in English); vastauksia
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)).