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