|
42. Primerjava teorije množic in teorije tipov kot temeljev matematikeMatej Jazbec, 2022, diplomsko delo/naloga Ključne besede: teorija množic, teorija tipov, tip, izomorfizem, identični tip, izjave, aksiom univalentnosti, grupe, množice, konstruktivna logika, relevantnost dokazov, princip strukturne identitete Celotno besedilo (datoteka, 845,74 KB) |
|
|
45. Izvedba univerzalne ontologije geografskega prostora v podmnožici predikatnega računa prvega redaMarjan Čeh, Domen Smole, Tomaž Podobnikar, 2012, izvirni znanstveni članek Ključne besede: ontologija, semantični splet, geografski prostor, GIS, prostorski podatki, logika, predikatni račun Celotno besedilo (datoteka, 351,04 KB) Gradivo ima več datotek! Več... |
|
|
|