B szakirány, ADA, Formális nyelvek és automaták, voltak jó történetek :) Bár szerintem bizonyos értelemben emberségesebb volt mint a NIK, ahol már első félévben megkaptuk a programozási tételeket, quicksort és a heapsortig. Egyből jött az analízis is, nem volt alapozó tárgy.