Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 2
Kvantni algebrajski učinki
Luna Strah, Matija Pretnar
Diplomsko delo
Oznake: kvantno računalništvo;algebrajski učinki;
V tem delu predstavimo nov pristop do formalizacije kvantnega računalništva, zasnovanem na linearnosti in algebrajskih učinkih. Najprej predstavimo, kaj kvantno računalništvo sploh je in kako ga lahko razumemo iz matematičnega vidika, in definiramo jezik za kvantne programe. Nato razvijemo algebrajs ...
Leto: 2022 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Topološke lastnosti so logični principi v topoloških modelih
Luna Strah, Andrej Bauer
Magistrsko delo
Oznake: topološki modeli;konstruktivna logika;
Delo obravnava odvisnost med topološkimi lastnostmi danega prostora in logičnimi principi, ki veljajo v topološkem modelu nad prostorom. Najprej definiramo topološke modele in interpretacijo intuicionistične logike delnih elementov v takih modelih. Nato obravnavamo znane principe izbire in odloč ...
Leto: 2025 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Št. zadetkov: 2
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: