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 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 kellele AKT aine meeldis on igal juhul teretulnud meil uurimisseminaris. Järgmine semester uurime programmianalüüsi. Seal peaks teile tuttavad näod esinema, 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, 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.