1 - 3 / 3 1 |
1. Izreki o kompaktnosti Neža Žager Korenjak, 2014, diplomsko delo Ključne besede: matematika, kompaktnost, algebra zveznih omejenih funkcij, kompaktne Hausdorffove razširitve, kompaktifikacija |
2. Hiperciklični operatorji Neža Žager Korenjak, 2016, magistrsko delo Ključne besede: hipercikličnost, Banachov prostor, Fréchetov prostor, kriterij hipercikličnosti |
3. Curry-Howardova korespondenca Neža Korenjak, 2022, diplomsko delo Ključne besede: teorija tipov, lambda račun, intuicionistična logika, dedukcija, Curry-Howardova korepondenca |