Zdravim, najprv by som povedal ze podobnu temu som cital ale nedozvedel som sa ze ci to niekomu daco dalo prakticky...
Teda oplati sa to davat ako prakticky predmet, ci len teoria a o clovek si nic z toho nevezme???
ja som sa teoriu typov ucil na bakalarku
pretoze som to tam potreboval
je to dost teoreticky predmet ako uz nazov napoveda...je to celkom zaujimave + prof. Novitzka je super mila teta
rozoberaju sa tam veci z prekladacov - typovacie pravidla, scooping, pretypovanie...a take veci..
no ja som si tento predmet dal
ked chces predmet logika pre informatikov thak sa ti hodi aj tento predmet