Laskennan mallit
Exam
Year | Semester | Date | Period | Language | In charge |
---|---|---|---|---|---|
2015 | autumn | 02.09-09.12. | 1-2 | Finnish | Tomi Pasanen |
Lectures
Time | Room | Lecturer | Date |
---|---|---|---|
Wed 12-14 | A111 | Tomi Pasanen | 02.09.2015-14.10.2015 |
Mon 14-16 | A111 | Tomi Pasanen | 14.09.2015-14.10.2015 |
Mon 14-16 | A111 | Tomi Pasanen | 26.10.2015-09.12.2015 |
Wed 12-14 | A111 | Tomi Pasanen | 26.10.2015-09.12.2015 |
Exercise groups
Time | Room | Instructor | Date | Observe |
---|---|---|---|---|
Mon 10-12 | C222 | Noora Imberg | 07.09.2015—16.10.2015 | |
Mon 16-18 | D122 | Noora Imberg | 07.09.2015—16.10.2015 | |
Mon 16-18 | D122 | Noora Imberg | 26.10.2015—11.12.2015 | |
Mon 10-12 | C222 | Noora Imberg | 26.10.2015—11.12.2015 |
Time | Room | Instructor | Date | Observe |
---|---|---|---|---|
Tue 10-12 | C220 | Titti Malmivirta | 31.08.2015—16.10.2015 | |
Wed 10-12 | D122 | Titti Malmivirta | 31.08.2015—16.10.2015 | |
Tue 10-12 | C220 | Titti Malmivirta | 26.10.2015—11.12.2015 | |
Wed 10-12 | C222 | Titti Malmivirta | 26.10.2015—11.12.2015 |
Time | Room | Instructor | Date | Observe |
---|---|---|---|---|
Wed 14-16 | C222 | Tomi Pasanen | 31.08.2015—16.10.2015 | |
Wed 14-16 | C222 | Tomi Pasanen | 26.10.2015—11.12.2015 |
Time | Room | Instructor | Date | Observe |
---|---|---|---|---|
Tue 12-14 | A307 | Martin Radev | 07.09.2015—16.10.2015 | in English |
Tue 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.
General
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
- Harjoitustehtävät 1 (HUOM, tehtävien 20 ja 21 alakohtia a, b, ja c ei pidä yhdistää vaan kukin alakohta voidaan rakentaa yhdistämällä automaatteja); vastauksia (tehtävät joihin ei ole esimerkkiratkaisua on merkitty tähdellä)
- Harjoitustehtävät 2; vastauksia (tehtävät joihin ei ole esimerkkiratkaisua on merkitty tähdellä)
- Harjoitustehtävät 3; vastauksia (tehtävät joihin ei ole esimerkkiratkaisua on merkitty tähdellä)
- Harjoitustehtävät 4; vastauksia (tehtävät joihin ei ole esimerkkiratkaisua on merkitty tähdellä)
- Harjoitustehtävät 5; vastauksia (tehtävät joihin ei ole esimerkkiratkaisua on merkitty tähdellä)
- Harjoitustehtävät 6; vastauksia (tehtävät joihin ei ole esimerkkiratkaisua on merkitty tähdellä)
- Harjoitustehtävät 7; vastauksia (tehtävät joihin ei ole esimerkkiratkaisua on merkitty tähdellä)
- Harjoitustehtävät 7extra
- Harjoitustehtävät 8; vastauksia (tehtävät joihin ei ole esimerkkiratkaisua on merkitty tähdellä)
- Harjoitustewhtävät 9; vastauksia (tehtävät joihin ei ole esimerkkiratkaisua on merkitty tähdellä)
- Harjoitustehtävät 10; vastauksia (tehtävät joihin ei ole esimerkkiratkaisua on merkitty tähdellä)
- Harjoitustehtävät 11; vastauksia (tehtävät joihin ei ole esimerkkiratkaisua on merkitty tähdellä)
Completing the course
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.
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)), mikä ei kuitenkaan kata kaikkia käsiteltäviä aiheita.