| 1x | | Boolovi 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 |
