×
Študij fizike Študij matematike Raziskave O fakulteti EN
Dogodki Obvestila Imenik Urniki Knjižnica Založba Za sodelavce Iskanje

Matija Pretnar: Kvantna vezja, zgodnji kvantni algoritmi

Datum objave: 15. 10. 2012
Seminar za temelje matematike in teoretično računalništvo
Torek, 16. 10. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Povzetek. Tokrat si bomo najprej ogledali kvantna logična vezja ter polne nabore kvantnih vrat. Nadaljevali bomo s tem, kako s kvantnimi vezji simuliramo klasična logična vezja, za konec pa si bomo ogledali prve kvantne algoritme: Deutsch-Jozsev algoritem, Bernstein-Vaziranijev algoritem in Simonov algoritem.
čet
12
Dec
Alex Simpson: A Tutorial on Sheaf Semantics (part 2)
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.07
čet
5
Dec
Rafaël Bocquet: For the metatheory of type theory, internal sconing is enough
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
28
Nov
Alex Simpson: A Tutorial on Sheaf Semantics
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.07
čet
7
Nov
Andrew Swan: Introduction to Lifschitz realizability
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
17
Okt
Hajime Ishihara: A constructive theory of uniform spaces and its application to integration theory
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07

Vsa obvestila