Ključne besede: variacijski račun, parcialne diferencialne enačbe, direktna metoda, šibka formulacija, Lax-Milgramova lemaCelotno besedilo (datoteka, 677,91 KB)
Ključne besede: teorija tipov, lambda račun, intuicionistična logika, dedukcija, Curry-Howardova korepondencaCelotno besedilo (datoteka, 468,96 KB)
Ključne besede: ontologija, semantični splet, geografski prostor, GIS, prostorski podatki, logika, predikatni računCelotno besedilo (datoteka, 351,04 KB) Gradivo ima več datotek! Več...
Ključne besede: matrike, sistemi linearnih enačb, linearno programiranje, mrežno planiranje, funkcije, zaporedja, obrestni račun, študijsko gradivo
Ključne besede: eQuiz, verjetnostni račun, statistika, razlagaCelotno besedilo (datoteka, 2,13 MB)
Ključne besede: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacijaCelotno besedilo (datoteka, 521,90 KB) Gradivo ima več datotek! Več...