Keywords: variacijski račun, parcialne diferencialne enačbe, direktna metoda, šibka formulacija, Lax-Milgramova lemaFull text (file, 677,91 KB)
Keywords: teorija tipov, lambda račun, intuicionistična logika, dedukcija, Curry-Howardova korepondencaFull text (file, 468,96 KB)
Keywords: ontologija, semantični splet, geografski prostor, GIS, prostorski podatki, logika, predikatni računFull text (file, 351,04 KB) This document has more files! More...
Keywords: matrike, sistemi linearnih enačb, linearno programiranje, mrežno planiranje, funkcije, zaporedja, obrestni račun, študijsko gradivo
Keywords: eQuiz, verjetnostni račun, statistika, razlagaFull text (file, 2,13 MB)
Keywords: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacijaFull text (file, 521,90 KB) This document has more files! More...