Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 2
Posplošeni Brouwerjev izrek
Gašper Žajdela, Aleš Vavpetič
Diplomsko delo
Oznake: matematika;retrakcija;negibne točke;simpleks;simplicialni kompleks;
V diplomskem delu na kratko predstavimo Brouwerjev izrek o negibni točki in izrek o neobstoju retrakcije. Izkaže se, da sta izreka ekvivalentna, kar v delu tudi dokažemo. Predstavimo osnove simpleksov in simplicialnih kompleksov. Na koncu dela posplošimo izrek o neobstoju retrakcije na razred kompak ...
Leto: 2021 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Operacijska semantika za jezik s časovno omejenimi viri
Gašper Žajdela, Matija Pretnar, Danel Ahman
Magistrsko delo
Oznake: lamda račun;časovno omejeni viri;modalni tipi;izrek o varnosti;teorija enačb;skladnost;formalizacija;
Lambda račun je eden izmed osnovnih matematičnih modelov računanja, kjer uporabljamo le spremenljivke, funkcije (abstrakcije) in aplikacije funkcij. Lahko ga razširimo s tipi in tako dobimo tipizirani lambda račun, ki je jedro funkcijskih programskih jezikov. Tipi v jeziku zagotavljajo varnost, saj ...
Leto: 2023 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Št. zadetkov: 2
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: