Številke

Tabela zajema ključne besede vseh zaključnih del, pri katerih oseba sodeluje kot mentor. Ključne besede so urejene po številu ponovitev, največkrat ponovljene na vrhu. Iz ključnih besed z zgornjega dela tabele je mogoče sklepati na tematike, s katerimi se je oz. se mentor ukvarja.

Oseba: Andrej Bauer

Vseh ključnih besed je 179, ki se skupaj pojavijo 206 krat.
15 ključnih besed (8.38 % vseh) se pojavi večkrat, skupaj 42 krat (20.39 % vseh pojavitev).

PonovitevKljučne besede
Št.%
9x21.43%matematika
5x11.9%funkcijsko programiranje
3x7.14%umetna inteligenca, lambda račun
2x4.76%računalništvo, kategorije, denotacijska semantika, strojno učenje, proof assistant, univerzitetni študij, diplomske naloge, logika prvega reda, algebraic theory, genetski algoritmi, dependent type theory
1xBoolovi modeli, posplošena hipoteza kontinuuma, Eastonov izrek, preddoločanje, Agda, korekurzija, metoda sledenja žarku, rekurzija, senčenje, ▫$\lambda$▫-račun, preprosti tipi, zaprte kartezične kategorije, podatkovne strukture, konična drevesa, koindukcija, odboj žarkov, indukcija, grafični uporabniški vmesnik, računalništvo in matematika, polimorfni lambda račun, parametrični polimorfizem, teorija množic, hitro rastoči grafi, socialna omrežja, medprocesna komunikacija, modalna logika, aksiom izbire, konstruktibilni univerzum, računski učinki, prirejanje vzorcev, računalništvo in informatika, opredeljivost, polnost semantike, ordinalna števila, Gödelove operacije, ogrodje Cocoa, simulacija, ▫$\pi$▫-račun, vzporedno računanje, normalne oblike, zaznavanje zagat, naključni algoritem, prostor mer, skrčitev, iterirani funkcijski sistemi, deterministični algoritem, infinitezimali, gladka analiza, Freydov izrek o adjungiranih funktorjih, posebni izrek o adjungiranih funktorjih, izračunljive funkcije, rekurzivne funkcije, izrek o zveznosti, adjunkcija, toplotna enačba, valovna enačba, adjungirani funktorji, prostor fraktalov, fraktali, celoštevilsko linearno programiranje, spletna aplikacija, uporabniški vmesnik, podpora odločanju, linearno programiranje, koinduktivni podatkovni tipi, metode Monte Carlo, bonus-malus sistemi, optimizacija, odločitveni model, DEX, atributi, rezanje drevesa, prečno preverjanje, entropija, podatkovno rudarjenje, klasifikacija, pitna voda, vodonosnik, odločitvena drevesa, zdravje semantike, funktorji, substitucijska lema, izrek o usklajenosti semantike, izrek o ustreznosti semantike, izrek o primernosti semantike, domene, operacijska semantika, Gödlovo število, Gödlov izrek o nepopolnosti, programski jezik PCF, dvojiško drevo, Cantorjev prostor, funkcionali, drevesa, izračunljivost, Cantorjeva množica, funkcional izbire, Königova lema, teorija izračunljivosti, Kleenejevo drevo, primitivno rekurzivne funkcije, Peanova aritmetika, dedukcija, Curry-Howardova korepondenca, metalanguage, computational effects, intuicionistična logika, teorija tipov, Lean, ravninski grafi, kombinatorična preslikava, type-theoretic elaboration equality checking, teorija kategorij, regularna logika, regularne kategorije, sintaktična kategorija, logika, kategorna logika, algebrajske teorije, dualnost, funktorialna semantika, algebrajski učinki, prestrezniki, usmerjeni grafi, markovski proces odločanja, programiranje, 3 x 3 x 3 v vrsto, algoritmi, model checking, signali, treshold automata, fault tolerant distributed algorithms, drevo igre, minimax, Haskell, začetna F-algebra, končna F-koalgebra, monade, naravna transformacija, ▫$\alpha - \beta$▫ obrezovanje, funkcija hevrističnega ovrednotenja, Dokazovalnik, funkcijsko reagentno programiranje, princip prenosa, krepka topologija, Scottova topologija, topologija Aleksandrova, nadzorovano učenje, šibka topologija, sržno kompaktni prostori, finančna matematika, eksponentna topologija, eskponenciabilnost, nenadzorovano učenje, napovedno modeliranje, infinitezimal, nestandardna analiza, nestandardna realna števila, segmentacija, naključni gozd, modeliranje vedenja, igralniška industrija, odločitveno drevo, induktivni podatkovni tipi