MAT-74006 Concurrency Theory, 7 cr
Toteutuskerta MAT-74006 2017-01
Opetus
| Periodi | 1 - 2 |
| Opetusmuodot | Monimuoto-opetus |
| Vastuuhenkilö | Henri Hansen, Antti Valmari |
Arvosteluasteikko
Numerical evaluation scale (0-5)
Suoritusvaatimukset
If the number of students is small, the course is passed by solving many enough weekly exercise problems. Otherwise there will be an examination.
Kohderyhmät
DI- ja arkkitehtiopiskelijat , Information Technology , International Students , Jatkotutkinto-opiskelijat , Science and Engineering, MSc (Tech) , Teknis-luonnontieteellinen , Tietotekniikka
| MAT-74006 Concurrency Theory/O/03 | Tue 29.08.2017 | 12:00 - 14:00 |
| MAT-74006 Concurrency Theory/O/02 | Wed 30.08.2017 | 15:00 - 17:00 |
| MAT-74006 Concurrency Theory/O/01 | Thu 31.08.2017 | 08:00 - 10:00 |
| MAT-74006 Concurrency Theory/O/03 | Tue 05.09.2017 | 12:00 - 14:00 |
| MAT-74006 Concurrency Theory/O/02 | Wed 06.09.2017 | 15:00 - 17:00 |
| MAT-74006 Concurrency Theory/O/01 | Thu 07.09.2017 | 08:00 - 10:00 |
| MAT-74006 Concurrency Theory/O/03 | Tue 12.09.2017 | 12:00 - 14:00 |
| MAT-74006 Concurrency Theory/O/02 | Wed 13.09.2017 | 15:00 - 17:00 |
| MAT-74006 Concurrency Theory/O/01 | Thu 14.09.2017 | 08:00 - 10:00 |
| MAT-74006 Concurrency Theory/O/03 | Tue 19.09.2017 | 12:00 - 14:00 |
| MAT-74006 Concurrency Theory/O/02 | Wed 20.09.2017 | 15:00 - 17:00 |
| MAT-74006 Concurrency Theory/O/01 | Thu 21.09.2017 | 08:00 - 10:00 |
| MAT-74006 Concurrency Theory/O/03 | Tue 26.09.2017 | 12:00 - 14:00 |
| MAT-74006 Concurrency Theory/O/02 | Wed 27.09.2017 | 15:00 - 17:00 |
| MAT-74006 Concurrency Theory/O/01 | Thu 28.09.2017 | 08:00 - 10:00 |
| MAT-74006 Concurrency Theory/O/03 | Tue 03.10.2017 | 12:00 - 14:00 |
| MAT-74006 Concurrency Theory/O/02 | Wed 04.10.2017 | 15:00 - 17:00 |
| MAT-74006 Concurrency Theory/O/01 | Thu 05.10.2017 | 08:00 - 10:00 |
| MAT-74006 Concurrency Theory/O/03 | Tue 10.10.2017 | 12:00 - 14:00 |
| MAT-74006 Concurrency Theory/O/02 | Wed 11.10.2017 | 15:00 - 17:00 |
| MAT-74006 Concurrency Theory/O/01 | Thu 12.10.2017 | 08:00 - 10:00 |
| MAT-74006 Concurrency Theory/O/03 | Tue 24.10.2017 | 12:00 - 14:00 |
| MAT-74006 Concurrency Theory/O/02 | Wed 25.10.2017 | 15:00 - 17:00 |
| MAT-74006 Concurrency Theory/O/01 | Thu 26.10.2017 | 08:00 - 10:00 |
| MAT-74006 Concurrency Theory/O/03 | Tue 31.10.2017 | 12:00 - 14:00 |
| MAT-74006 Concurrency Theory/O/02 | Wed 01.11.2017 | 15:00 - 17:00 |
| MAT-74006 Concurrency Theory/O/01 | Thu 02.11.2017 | 08:00 - 10:00 |
| MAT-74006 Concurrency Theory/O/03 | Tue 07.11.2017 | 12:00 - 14:00 |
| MAT-74006 Concurrency Theory/O/02 | Wed 08.11.2017 | 15:00 - 17:00 |
| MAT-74006 Concurrency Theory/O/01 | Thu 09.11.2017 | 08:00 - 10:00 |
| MAT-74006 Concurrency Theory/O/03 | Tue 14.11.2017 | 12:00 - 14:00 |
| MAT-74006 Concurrency Theory/O/02 | Wed 15.11.2017 | 15:00 - 17:00 |
| MAT-74006 Concurrency Theory/O/01 | Thu 16.11.2017 | 08:00 - 10:00 |
| MAT-74006 Concurrency Theory/O/03 | Tue 21.11.2017 | 12:00 - 14:00 |
| MAT-74006 Concurrency Theory/O/02 | Wed 22.11.2017 | 15:00 - 17:00 |
| MAT-74006 Concurrency Theory/O/01 | Thu 23.11.2017 | 08:00 - 10:00 |
| MAT-74006 Concurrency Theory/O/03 | Tue 28.11.2017 | 12:00 - 14:00 |
| MAT-74006 Concurrency Theory/O/02 | Wed 29.11.2017 | 15:00 - 17:00 |
| MAT-74006 Concurrency Theory/O/01 | Thu 30.11.2017 | 08:00 - 10:00 |
| MAT-74006 Concurrency Theory/O/03 | Tue 05.12.2017 | 12:00 - 14:00 |
| MAT-74006 Concurrency Theory/O/01 | Thu 07.12.2017 | 08:00 - 10:00 |
Oppimateriaali
| Tyyppi | Nimi | Tekijä | ISBN | Lisätiedot | Kieli | Tenttimateriaali |
| Other literature | Composition and Abstraction | Antti Valmari | English | Yes | ||
| Other literature | External Behaviour of Systems of State Machines with Variables | Antti Valmari | English | Yes | ||
| Other literature | Scientific papers in the field | Will be delivered to the students. | English | No |