|
|
|
184. Ethereum, pametne pogodbe in orakljiJure Sternad, 2022, diplomsko delo/naloga Ključne besede: decentralizirana omrežja, bločne verige, Ethereum, pametne pogodbe, Solidity, decentralizirane aplikacije, oraklji, Flare Celotno besedilo (datoteka, 525,24 KB) |
|
|
187. Konfiguracija 95 točk in 95 premic, ki izhaja iz Pascalovega izreka in posplošitve na višje redeGašper Terglav, 2022, diplomsko delo/naloga Ključne besede: stožnica, kubika, Pascalova premica, Steinerjeva točka, Plückerjeva premica, Kirkmanova točka, Cayleyjeva premica, Salmonova točka, Bezoutov izrek, Desarguesov izrek. Celotno besedilo (datoteka, 2,84 MB) |
|
189. Kvazikonformna kirurgija in Hermanovi kolobarjiBeno Učakar, 2022, diplomsko delo/naloga Ključne besede: kompleksna dinamika, negibna točka, Juliajeva množica, Fatoujeva množica, Sieglov disk, Hermanov kolobar, kvazikonformna preslikava, Beltramijeva enačba, eliptično polje, kvazikonformna kirurgija Celotno besedilo (datoteka, 1,56 MB) |
190. 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) |