Mis nüüd edasi?
Nii, kallis tudeng, aine on läbi, aga meil on Sinule veel nii palju põnevat rääkida! 😢 Kui tahaksid järgmine semester meiega kohtuda, siis on järgmised võimalused:
- Funktsionaalprogrammeerimine. Varmo ja Karoliine õpetavad järgmine semester nii funktsionaalprogrammerimise põhitõdesid kui ka järgmise põlvkonna korrektsuse tõestamise tehnoloogiat, sõltuvad tüübid, programmeerimiskeeles Idris. Vesal on siin ise jube kade, et ta seda ainet võtta ei saa!
- Programmeerimiskeelte uurimisseminar. See on eelkõige mõeldud kraadiõppuritele, aga kellele AKT aine meeldis on igal juhul teretulnud meil uurimisseminaris.
- Lõputööga varakult alustamine. Kui eksam läks hästi, siis see on selge märk, et võiks programmeerimiskeelte teemal lõputöö kirjutama. Vesalil on sügisel õppevaba, et oleks ideaalne varakult alustada, siis saab kevadel päikest nautida!
Igal juhul loodame, et kohtume veel...
Ära maha maga korrektsuse revolutsiooni!
Tarkvarateaduse kursused.