Advanced

 
  Search
    Simple search


Results

48 results
41 - 48 / 48
First pagePrevious page12345Next pageLast page
41. Hitchensova britev
David Tomažin, 2021, bachelor thesis/paper

Keywords: Hitchensova britev, britev, epistemologija, dokazno breme, logika
Full text (file, 508,66 KB)

42. Primerjava teorije množic in teorije tipov kot temeljev matematike
Matej Jazbec, 2022, bachelor thesis/paper

Keywords: teorija množic, teorija tipov, tip, izomorfizem, identični tip, izjave, aksiom univalentnosti, grupe, množice, konstruktivna logika, relevantnost dokazov, princip strukturne identitete
Full text (file, 845,74 KB)

43. Curry-Howardova korespondenca
Neža Korenjak, 2022, bachelor thesis/paper

Keywords: teorija tipov, lambda račun, intuicionistična logika, dedukcija, Curry-Howardova korepondenca
Full text (file, 468,96 KB)

44. Uporaba mehke logike za simuliranje množic v računalniških igrah
Simon Dimc, 2022, master's thesis

Keywords: mehka logika, skupinsko vedenje, boids, računalniške igre
Full text (file, 1,34 MB)

45. Izvedba univerzalne ontologije geografskega prostora v podmnožici predikatnega računa prvega reda
Marjan Čeh, Domen Smole, Tomaž Podobnikar, 2012, original scientific article

Keywords: ontologija, semantični splet, geografski prostor, GIS, prostorski podatki, logika, predikatni račun
Full text (file, 351,04 KB) This document has more files! More...

46. Metode optimiranja
Petra Grošelj, 2022, other educational material

Keywords: operacijske raziskave, linearno programiranje, teorija iger, diskretna optimizacija, večkriterijsko odločanje, mehka logika, študijsko gradivo

47. FPGA implementacija dvožičnih asinhronih vezij
Gal Nadrag, 2023, master's thesis/paper

Keywords: Asinhrona logika, Digitalna logika, FPGA
Full text (file, 3,36 MB)

48. Blagovna znamka kot figura fetišizma
Aljaž Gmajnar, 2024, undergraduate thesis

Keywords: znamčenje, logika fetišizma, znakovni objekt potrošnje, identiteta potrošnika, kulturni kapitalizem
Full text (file, 1,32 MB)
Search done in 0.02 sec.
Back to top