Kvanteberegningsstrukturer: en funktionstilgang ( efterår 2007 - 5 ECTS )
Rammer for udbud
-
Uddannelsessprog:
(se under Undervisnings- og arbejdsform)
-
Niveau:
Valgfrit overbygningskursus
-
Semester/kvarter:
Q1 i 2007
-
Timer per uge:
-
Deltagerbegrænsning:
Ingen
-
Undervisningssted:
Århus
-
Hovedområde:
Det Naturvidenskabelige Fakultet
-
Udbud ID:
9957
Formål
Deltagerne vil efter kurset have indsigt i Funktionsprogrammering og kvanteberegninger.
Obligatorisk program
Vi vil forsøge at besvare spørgsmål om hvordan man simulerer kvanteobjekter (og kvantecomputere) på standard arkitekturer og hvordan man bygger bro mellem fysikkens og datalogiens teorier. Vi anvender et moderne funktionsprogrammeringssprog: Haskell.
Indhold
Deltagerne skal ved afslutningen af kurset kunne:
-
definere
tilstande og observerbare objekter.
-
konstruere
sammensatte systemer vha tensor produkter.
-
relatere
funktionsstrukturerne og de eksperimentelle målinger.
-
reflektere
over sammenfiltringsproblemer.
Læringsmål
Vi vil se - Hvordan tilstande og målinger defineres. - Hvordan man konstruerer sammen sammenhængende systemer vha. tensor-produkter. - Hvordan man etablerer en sammenhæng mellem teoretiske begreber og eksperimentelle målinger. - Hvordan man forstår sammenfiltring osv. Vi kommer til at bygge "kvante-kredsløb", implementere kendte "kvante-algoritmer" til almene beregninger, teleportation, kompakt kodning, osv.
Faglige forudsætninger
dProgSprog
Underviser
Jerzy Karczmarczuk
Undervisnings- og arbejdsform
Forelæsninger (3t/uge) Engelsk
Litteratur
forelæsningsnoter
Litteratur
lecture notes
Kursushjemmeside
http://www.daimi.au.dk/~karczma/Qcourse/
Skemaplacering (forelæsninger)
Torsdage 13-16 i undersvisningslokale 112 i IT-huset.
Udbyder
Datalogisk Institut
Tilmelding til undervisning
email til
karczma@daimi.au.dk
Studieordning og bedømmelse
-
Undervisningsdeltagelse, bedømt efter Bestået/ikke bestået uden censur
Øvelser og miniprojekter, 7-scala, intern censur
