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
23.10.2014
09.00
A111 ja B123
19.12.2014
16.00
A111 ja CK112
| Vuosi | Lukukausi | Päivämäärä | Periodi | Kieli | Vastuuhenkilö |
|---|---|---|---|---|---|
| 2014 | syksy | 03.09-10.12. | 1-2 | Suomi | Tomi Pasanen |
Luennot
| Aika | Huone | Luennoija | Päivämäärä |
|---|---|---|---|
| Ke 12-14 | A111 | Tomi Pasanen | 03.09.2014-15.10.2014 |
| Ke 12-14 | A111 | Tomi Pasanen | 29.10.2014-10.12.2014 |
Harjoitusryhmät
| Aika | Huone | Ohjaaja | Päivämäärä | Huomioitavaa |
|---|---|---|---|---|
| Ma 12-14 | B119 | Titti Malmivirta | 01.09.2014—17.10.2014 | |
| Ke 16-18 | B119 | Titti Malmivirta | 01.09.2014—17.10.2014 | |
| Ke 16-18 | B119 | Titti Malmivirta | 27.10.2014—12.12.2014 | |
| Ma 12-14 | B119 | Titti Malmivirta | 27.10.2014—12.12.2014 |
| Aika | Huone | Ohjaaja | Päivämäärä | Huomioitavaa |
|---|---|---|---|---|
| Ti 10-12 | C220 | Sandra Luhtaniemi | 01.09.2014—17.10.2014 | |
| Pe 12-14 | B222 | Sandra Luhtaniemi | 01.09.2014—17.10.2014 | |
| Pe 12-14 | B222 | Sandra Luhtaniemi | 27.10.2014—12.12.2014 | |
| Ti 10-12 | B119 | Sandra Luhtaniemi | 27.10.2014—12.12.2014 |
| Aika | Huone | Ohjaaja | Päivämäärä | Huomioitavaa |
|---|---|---|---|---|
| Ke 10-12 | B222 | Sandra Luhtaniemi | 01.09.2014—17.10.2014 | |
| To 10-12 | B119 | Sandra Luhtaniemi | 01.09.2014—17.10.2014 | |
| Ke 10-12 | B222 | Sandra Luhtaniemi | 27.10.2014—12.12.2014 | |
| To 10-12 | C220 | Sandra Luhtaniemi | 27.10.2014—12.12.2014 |
| Aika | Huone | Ohjaaja | Päivämäärä | Huomioitavaa |
|---|---|---|---|---|
| Ke 14-16 | CK111 | Tomi Pasanen | 01.09.2014—17.10.2014 | |
| Ke 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.
Yleistä
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)
- luentokalvot 1-26 (Jyrkin kalvot 1-55, pages in the course book 31-46 )
- luentokalvot 27-56 (Jyrkin kalvot 56-86, pages in the course book 47-66 )
- luentokalvot 57-79 (Jyrkin kalvot 86-108, pages in the course book 66-76 )
- 17.9: luentokalvot 80-92 (Jyrkin kalvot 109-129, pages in the course book 77-82 )
-
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
-
Kappale 3
- 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
- luentokalvot (Jyrkin kalvot 254-272;pages in the course book 167-184)
-
Kappale 5
- luentokalvot (Jyrkin kalvot 254-272;pages in the course book 191-196)
-
Kappale 7
- luentokalvot (Jyrkin kalvot 273-302;pages in the course book 251-287)
- toinen versio
-
Kappale Q
- luento kvanttilaskennasta
Esimerkki 2. kurssikokeesta (an example of 2nd Course Exam)
Harjoitustehtävät
Periodi I
- Harjoitustehtävät 1 (2.9.); vastauksia 1 ja 2
- Harjoitustehtävät 2 (8.9.); vastauksia, korjaus
- Harjoitustehtävät 3 (15.9.); vastauksia
- Harjoitustehtävät 4 (22.9.); vastauksia
- Harjoitustehtävät 5 (29.9.); vastauksia
- Harjoitustehtävät 6 (6.10.); vastauksia
Periodi II
- Harjoitustehtävät 7 (27.10); vastauksia
- Harjoitustehtävät 8 (9.11.); vastauksia
- Harjoitustehtävät 9 (19.11); vastauksia
- Harjoitustehtävät 10 (24.11.); vastauksia
- Harjoitustehtävät 11 (1.12.); vastauksia
Kurssin suorittaminen
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.
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)).