(Osa opintojaksoa T-106.850 Ohjelmistotekniikan seminaari)

Tulokset
 

opisk.nro	arvosana
46653K	4
48171H	3
51101M	4

Yleistä

Seminaarissa perehdytään ns. aksiomaattiseen ohjelmointimenetelmään ja siinä
tarvittaviin diskreetteihin kalkyyleihin. Menetelmällä voidaan systemaattisesti
–usein melkein kalkyylinomaisesti– johtaa algoritmeja jotka vain vaivallollisesti
ovat ymmärrettävissä normaalilla, intuitiivisella tavalla. Menetelmän käyttöä
havainnollistetaan johtamalla erityyppisiä algoritmeja.

Tarkempi seminaarikuvaus

Osallistujat

Atte Kojo
Jan Lönnberg
Riku Saikkonen

Seminaarijohtaja: opettava tutkija Stefan Rönn

Aikataulu

Seminaaritilaisuudet pidetään allaolevan taulukon mukaisesti tiistaisin klo 16.15–19.00 neuvotteluhuoneessa A232.
 

viikko	seminaaritilaisuuden sisältö
37	Seminaaritilaisuus Järjestäytyminen,  Seminaarin kuvaus,  Esseeaiheiden ja -kirjallisuuden esittely
38	Seminaaritilaisuus Seminaarijohtajan luento: kalkyylin rakenne Ensimmäisten kolmen esseeaiheen valinta
39	Ei seminaaritilaisuutta Esseiden kirjoittaminen
40	Ei seminaaritilaisuutta Esseiden kirjoittaminen
41	Seminaaritilaisuus Atte Kojo: Boolen algebra Riku Saikkonen: Kvantifiointi ja predikaattikalkyyli
42	Seminaaritilaisuus Jan Lönnberg: Joukko-oppi
43	Seminaaritilaisuus Seuraavien kolmen esseeaiheen valinta Seminaarijohtaja: Ohjelmointiprimitiivien semantiikka ja  predikaattimuuntimet
44	Seminaaritilaisuus Seminaarijohtaja: Invariantit ja ohjelmien johtaminen
45	Ei seminaaritilaisuutta Esseiden kirjoittaminen
46	Ei seminaaritilaisuutta Esseiden kirjoittaminen
47	Seminaaritilaisuus Riku Saikkonen: Hakualgoritmien johtaminen Jan Lönnberg: Verkkoalgoritmien johtaminen
48	Seminaaritilaisuus Atte Kojo: Lajittelualgoritmien johtaminen

Sivua ylläpitää Stefan Rönn.
Sivun sisältöä on viimeksi päivitetty 5.12.2002.
URL: http://www.cs.hut.fi/Opinnot/T-106.850/Diskkalk/Semi02kotisivu.htm