|
82. 3-valentni vozliščno tranzitivni grafiTeja Škvarč, 2019, delo diplomskega seminarja/zaključno seminarsko delo/naloga 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, delo diplomskega seminarja/zaključno seminarsko delo/naloga 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, delo diplomskega seminarja/zaključno seminarsko delo/naloga 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/naloga 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/naloga 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č... |
|
|
