Mis nüüd edasi?
Nii, kallis tudeng, aine on läbi, aga meil on Sinule veel nii palju põnevat rääkida! 😢 Kui tahad ka järgmine semester meiega kohtuda, on selleks järgmised võimalused:
- Funktsionaalprogrammeerimine. Varmo ja Karoliine õpetavad järgmine semester nii funktsionaalprogremmerimise 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 need, kellele AKT aine meeldis, on igal juhul meie uurimisseminari teretulnud. Järgmine semester uurime programmianalüüsi. Seal peaks esinema teile tuttavad näod, seega saab nii leiba (Simmo) kui tsirkust (Vesal) ja 3 EAP ka. Igatahes, see on selline diil, mida ükski AKT tudeng ei tohiks kasutamata jätta.
- Lõputööga varakult alustamine. Kui eksam läks hästi, on see selge märk, et võiks programmeerimiskeelte teemal lõputöö kirjutada. Vesalil on sügisel õppevaba, et oleks ideaalne varakult alustada, siis saab kevadel päikest nautida!
Igal juhul loodame, et kohtume veel...
Ära maga maha korrektsuse revolutsiooni!
Tarkvarateaduse kursused.