Kvantni algebrajski učinkiStrah, Luna (Avtor) Pretnar, Matija (Mentor) kvantno računalništvoalgebrajski učinkiV 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 algebrajsko teorijo z linearnimi parametri in dokažemo, da lahko s to teorijo predstavimo vse kvantne programe (polnost) in da iz nje lahko izpeljemo pravila za enakost kvantnih programov. Na koncu predstavimo še nekaj razširitev jezika in teorije ter demonstriramo, da je mogoče to algebrajsko teorijo uporabiti tudi bolj v splošnem.20222022-11-16 12:38:45Delo diplomskega seminarja/zaključno seminarsko delo/naloga142620UDK: 004.38VisID: 130016COBISS_ID: 129728515sl