RI
RM
Odvedljivo programiranje
Odvedljivo programiranje Predmet pokriva teoretične osnove in tehnike odvedljivega programiranja, ki postajajo vse bolj pomembne na različnih področjih, kot so strojno učenje, računalniški vid, računalniška grafika, fizikalna simulacija in znanstveno računanje. Obravnavani so koncepti odvedljivosti programov in optimizacije, ter tehnike, kot so povratno razširjanje in avtomatsko odvajanje. Prav tako so predstavljena nova področja, kot sta odvedljiva fizika in odvedljivo upodabljanje, reševanje parcialnih diferencialnih enačb z nevronskimi mrežami in odvedljiva konveksna optimizacija.