| 1x | | izračunljive funkcije, odboj žarkov, senčenje, posplošena hipoteza kontinuuma, preddoločanje, Boolovi modeli, Eastonov izrek, konična drevesa, metoda sledenja žarku, posebni izrek o adjungiranih funktorjih, Freydov izrek o adjungiranih funktorjih, zdravje semantike, metode Monte Carlo, bonus-malus sistemi, polnost semantike, zaprte kartezične kategorije, podatkovne strukture, ▫$\lambda$▫-račun, preprosti tipi, opredeljivost, ordinalna števila, grafični uporabniški vmesnik, rekurzivne funkcije, ogrodje Cocoa, Agda, korekurzija, indukcija, koindukcija, rekurzija, medprocesna komunikacija, modalna logika, aksiom izbire, konstruktibilni univerzum, optimizacija, teorija množic, parametrični polimorfizem, socialna omrežja, hitro rastoči grafi, polimorfni lambda račun, Gödelove operacije, linearno programiranje, naključni algoritem, podpora odločanju, odločitveni model, prostor mer, deterministični algoritem, prostor fraktalov, skrčitev, iterirani funkcijski sistemi, DEX, pitna voda, infinitezimali, gladka analiza, toplotna enačba, zaznavanje zagat, normalne oblike, vodonosnik, ▫$\pi$▫-račun, vzporedno računanje, fraktali, entropija, prirejanje vzorcev, koinduktivni podatkovni tipi, računalništvo in informatika, računski učinki, uporabniški vmesnik, valovna enačba, celoštevilsko linearno programiranje, spletna aplikacija, izrek o zveznosti, računalništvo in matematika, atributi, rezanje drevesa, prečno preverjanje, podatkovno rudarjenje, klasifikacija, adjunkcija, adjungirani funktorji, odločitvena drevesa, simulacija, 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 |
