Matemaattista logiikkaa ohjelmoinnin hyväksi

ja

ohjelmointia matematiikan opiskelun hyväksi

Antti Valmari

Jyväskylän yliopisto
Informaatioteknologian tiedekunta

Juhlaluento 6.6.2018

1. Esimerkki: Nopeus
2. Esimerkki: Käyttäjän tarpeet
3. Ohjelmoinnin matematiikka
4. Automaattinen palaute matematiikan tehtävistä

Lopuksi haluan siteerata Turing-palkittua Amir Pnuelia