Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 7
Computing fixed points of monotone piecewise linear functions
Anja Petković, Alex Simpson
Magistrsko delo
Oznake: piecewise linear functions;fixed point;algorithms;
Computing fixed points of monotone piecewise linear functions
Leto: 2017 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Podatkovni tipi kot začetne algebre in končne koalgebre
Boštjan Gec, Alex Simpson
Diplomsko delo
Oznake: matematika;Haskell;rekurzivni podatkovni tip;teorija kategorij;začetna algebra;
V delu dokažemo, da podatkovna tipa končnih seznamov in končnih binarnih dreves s celimi števili na listih ustrezata definiciji začetne algebre. Vidimo, da lahko v Haskellu enostavno definiramo sezname in drevesa, kakor tudi z njimi povezane funktorje in celo ključno preslikavo, ki nastopa v dokazu ...
Leto: 2018 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Behavioural equivalence via modalities for algebraic effects
Alex Simpson, Niels Voorneveld
Objavljeni znanstveni prispevek na konferenci
Oznake: computer science;behavioural equivalence;call-by-value functional language;openness;decomposability;
The paper investigates behavioural equivalence between programs in a call-by-value functional language extended with a signature of (algebraic) effect-triggering operations. Two programs are considered as being behaviourally equivalent if they enjoy the same behavioural properties. To formulate this ...
Leto: 2018 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Topos models of set-theoretic principles
Severin Mejak, Alex Simpson
Magistrsko delo
Oznake: topos;sheaf;site;axiom of choice;dependent choice;countable choice;independence;
In this thesis we approach axioms of choice of different strength by considering topoi. First, we present Grothendieck topoi and afterwards their abstractly axiomatised counterparts called elementary topoi. For these we show, that they carry logic, through which we can express set-theoretic statemen ...
Leto: 2019 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Equality between programs with effects
Niels Voorneveld, Alex Simpson
Doktorska disertacija
Oznake: mathematics;program equivalence;functional programming;call-by-push-value;behavioural logic;modalities;algebraic effects;applicative bisimilarity;Howe method;complete lattices;
Disertacija preučuje pojem enakovrednosti programov za funkcijski programski jezik z algebrajskimi učinki in splošno rekurzijo, ki uporablja klic po naloženi vrednosti (call-by-push-value oz. na kratko cbpv). Osredotočamo se predvsem na vedenjsko ekvivalenco, pri čemer je obnašanje programa določeno ...
Leto: 2019 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Primerjava teorije množic in teorije tipov kot temeljev matematike
Matej Jazbec, Alex Simpson
Diplomsko delo
Oznake: matematika;teorija množic;teorija tipov;tipi;izomorfizmi;identični tipi;izjave;aksiom univalentnosti;grupe;množice;konstruktivna logika;relevantnost dokazov;princip strukturne identitete;
Besedilo obravnava razlike v zasnovi teorije množic in teorije tipov kot temeljev matematike. Za vodilo nam služi primer bolj ali manj upravičenega enačenja izomorfnih matematičnih struktur, specifično grup. Osvežimo potrebno znanje teorije množic in se dlje časa posvečamo predstavitvi Martin-Löfove ...
Leto: 2022 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Snopi nad okoliši
Ivan Kobe, Alex Simpson
Diplomsko delo
Oznake: matematika;okoliši;lokacije;snopi;topos;hipoteza kontinuuma;
V pričujočem delu diplomskega seminarja bomo predstavili kategorijo okolišev, ki je z vidika teorije kategorij naraven pristop k topologiji in posploši mnoge topološke konstrukcije, med drugim snope. Nato bomo pokazali, da lahko snope nad okoliši obravnavamo tudi z drugačne perspektive, namreč kot p ...
Leto: 2023 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Št. zadetkov: 7
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: