\seminar {Seminar za osnove matematike in teoreti\v{c}nega\\ ra\v{c}unalni\v{s}tva}

Seminar sta vodila Andrej Bauer in Matija Pretnar. Obiskovalo ga je 5 do 10 \v{c}lanov.
Podatki o seminarju so na: \url{http://www.fmf.uni-lj.si/si/obvestila/agregator/seminar-osnove/}.

\begin{seznam}
%\predavanje {AVTORJI} {NASLOV} {DEL} {DATUM} {TRAJANJE}
\predavanje{Davorin Le�nik}{Metriziranost in kompaktnost v efektivnem toposu}{}{3.~1.} {}
\predavanje{Andrej Bauer in Matija Pretnar}{Eff 3.0}{}{16.~1.} {}
\predavanje{Andrej Bauer in Matija Pretnar}{Delavnica o stre�niku Tomo in snemanju video lekcij}{}{21.~2.} {}
\predavanje{Egbert Rijke}{The circle in the category of groupoids}{}{28.~2.} {}
\predavanje{Miha Habi�}{Boolovi modeli teorije mno�ic}{}{6.~3.} {}
\predavanje{Miha Habi�}{Metoda preddolo�anja skozi Boolove modele}{}{13.~3.} {}
\predavanje{Miha Habi�}{Cohenovo preddolo�anje in hipoteza kontinuuma}{}{19.~3.} {}
\predavanje{Miha Habi�}{Eastonov izrek}{}{27.~3.} {}
\predavanje{Egbert Rijke}{Type theoretical Yoneda lemma}{}{3.~4.} {}
\predavanje{Egbert Rijke}{Quotients and isomorphism theorems in type theory}{}{10.~4.} {}
\predavanje{Ganna Kudryavtseva}{Stoneova dualnost za po�evne mre�e}{}{8.~5.} {}
\predavanje{Andrej Bauer}{Cell types}{}{22.~5.} {}
\predavanje{Egbert Rijke}{Homotopy limits in type theory}{}{7.~9.} {}
\predavanje{Matija Pretnar}{Postulati, kubiti, prepletanje}{}{2.~10.} {}
\predavanje{Matija Pretnar}{Bellov eksperiment, kvantna teleportacija, kvantna vezja}{}{9.~10.} {}
\predavanje{Matija Pretnar}{Kvantna vezja, zgodnji kvantni algoritmi}{}{16.~10.} {}
\predavanje{Marko �nidari�}{Eksperimentalne implementacije kvantnih ra�unalnikov, 1. del}{}{23.~10.} {}
\predavanje{Marko �nidari�}{Eksperimentalne implementacije kvantnih ra�unalnikov, 2. del}{}{30.~10.} {}
\predavanje{Matija Pretnar}{Zgodnji kvantni algoritmi, kvantna Fouriereva transformacija}{}{6.~11.} {}
\predavanje{Matija Pretnar}{Shorov in Groverjev algoritem}{}{13.~11.} {}
\predavanje{David Gajser}{Kako preveriti, ali je dani Turingov stroj konstantne �asovne zahtevnosti?}{}{20.~11.} {}
\predavanje{Marko Petkov�ek}{(Ne)odlo�ljivost obstoja polinomskih re�itev linearnih diferencialnih in (q-)diferen�nih ena�b}{}{27.~11.} {}
\predavanje{Matija Pretnar}{Semantika programskih jezikov, OCaml}{}{4.~12.} {}
\predavanje{Matija Pretnar}{Induktivni tipi, jezik aritmeti�nih izrazov}{}{11.~12.} {}
\predavanje{David Gajser}{Kako preveriti, ali je nek 1-tra�ni Turingov stroj �asovne zahtevnosti C n + D?}{}{18.~12} {}
\end{seznam}
