20.500.12556/RUL-142620 Kvantni algebrajski učinki delo diplomskega seminarja Quantum Algebraic Effects 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 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. In this thesis we present a new approach to formalizing quantum computation based on linearity and algebraic effects. First we present what quantum computation is from a mathematical point of view. Then we define a quantum programming language. We develop an algebraic theory with linear parameters. We show that we can use it to represent all quantum programs and that we can extract rules for program equality from them. Finally, we present some extensions to our language and theory. We also demonstrate how to use this algebraic framework in general. kvantno računalništvo algebrajski učinki quantum computing algebraic effects true false false Slovenski jezik Angleški jezik Delo diplomskega seminarja/zaključno seminarsko delo/naloga 2022-11-16 12:38:45 2022-11-16 12:38:45 2024-05-29 11:47:37 0000-00-00 00:00:00 2022 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 004.38 130016 129728515 6072.pdf 6072.pdf 1 2265371BCD0A60D6594EB42C11D216B1 f6c9cd54e2034b8799763d8545fbd10a2ba756a85d6ac761e757bac2824e07c8 1d5736c5-65a3-11ed-9c94-00155dcfd717 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=164052 Fakulteta za matematiko in fiziko 0 0 0