|
82. 3-valentni vozliščno tranzitivni grafiTeja Škvarč, 2019, diplomsko delo Ključne besede: kubični grafi, vozliščno tranzitivni grafi, ločno tranzitivni grafi, delovanje grupe na množico, stabilizator, orbita, avtomorfizmi grafa, hiperkocke, Cayleyjevi grafi, Sabidussijev izrek, Magma, dekompozicija grafa na cikle, popolno prirejanje.
Celotno besedilo (datoteka, 1,66 MB) |
83. Izrek o izravnaviAnže Sfiligoj, 2019, diplomsko delo Ključne besede: negibna točka, Juliajeva množica, Fatoujeva množica, kvazikonformna preslikava, dilatacija, Beltramijeva enačba, izrek o izravnavi, polinomu podobna preslikava
Celotno besedilo (datoteka, 566,04 KB) |
|
85. Denotacijska semantika PCFKristjan Kostelec, 2020, diplomsko delo Ključne besede: programski jezik PCF, operacijska semantika, denotacijska semantika, domene, substitucijska lema, izrek o usklajenosti semantike, izrek o ustreznosti semantike, izrek o primernosti semantike
Celotno besedilo (datoteka, 564,75 KB) |
86. Krein-Milmanov izrek za matrične konveksne množiceTea Štrekelj, 2020, magistrsko delo Ključne besede: (matrična) konveksna množica, (matrično) stanje, operatorski sistem, C*-algebra, Stinespringova upodobitev, (matrična) ekstremna točka, (matrična) izpostavljena točka, Hahn-Banachov izrek za matrične konveksne množice, (matrična) polara, Krein-Milman
Celotno besedilo (datoteka, 790,70 KB) |
|
88. Bayesova linearna regresijaUrh Peček, 2020, diplomsko delo Ključne besede: linearna regresija, Bayesova statistika, Bayesov izrek, apriorna in aposteriorna porazdelitev, Bayesovo sklepanje, frekventistično sklepanje, Bayesovo posodabljanje
Celotno besedilo (datoteka, 535,07 KB) Gradivo ima več datotek! Več... |
|
|
