\seminar {Seminar za osnove matematike in teoreti�nega ra�unalni�tva}

V svojem drugem letu aktivnosti je seminar vodil doc.\ dr.\ Andrej Bauer.
Seminar je obiskovalo 5 do 10 �lanov. Poleg kolegov z IMFM in Fakultete
za matematiko in fiziko smo bili veseli tudi rednega obiska �lanov s
Filozofske fakultete.

\begin{seznam}
\predavanje {Davorin Le�nik} {Adjungirani funktorji in monade} {1} {10.~1.} {}
\predavanje {Davorin Le�nik} {Adjungirani funktorji in monade} {2} {17.~1.} {}
\predavanje {Andrej Bauer} {Mno�ice z vsaj dvema, a ne ve� kot tremi elementi} {} {14.~2.} {}
\predavanje {Boris Su�elj} {Aksiomu izbire ekvivalentni izreki} {} {21.~2.} {}
\predavanje {Boris Su�elj, Andrej Bauer} {Aksiom izbire} {} {28.~2.} {} 
\predavanje {Gregor Dolinar} {Osnove preddolo�anja} {} {7.~3.} {}
\predavanje {Gregor Dolinar} {Hipoteza kontinuuma} {1} {14.~3.} {}
\predavanje {Gregor Dolinar} {Hipoteza kontinuuma} {2} {21.~3.} {}
\predavanje {Andrej Ule} {Od Leibniza do Russella} {} {28.~3.} {} 
\predavanje {Matija Pretnar} {Kaj je Coq?} {} {4.~4.} {}
\predavanje {Andrej Ule} {Zlom logicizma in alternativni projekti} {} {11.~4.} {}
\predavanje {Andrej Bauer} {Klasi�na teorija izra�unljivosti} {} {18.~4.} {}
\predavanje {Andrej Bauer} {Martin-L\"ofova teorija tipov} {} {25.~4.} {}
\predavanje {Giovanni Sambin} {The basic picture: a bird's eye view} {} {10.~5.} {}
\predavanje {Andrej Bauer} {Snopi} {} {5.~10.} {}
\predavanje {Andrej Bauer} {Topolo�ki snopi} {} {12.~10.} {}
\predavanje {Andrej Bauer} {Grothendieckovi toposi} {} {19.~10.} {}
\predavanje {Andrej Bauer} {Rz} {} {26.~10.} {}
\predavanje {Andrej Bauer} {Pahlja�asta predstavitev polnih separabilnih metri�nih prostorov} {} {9.~11.} {}
\predavanje {Iztok Kavkler} {Nestandardna analiza} {} {16.~11.} {}
\predavanje {Iztok Kavkler} {Nestandardna analiza (tokrat zares analiza)} {} {23.~11.} {}
\predavanje {Andrej Bauer} {Sinteti�na diferencialna geometrija} {} {30.~11.} {}
\predavanje {Melita Hajdinjak} {Kategorija podobnosti} {} {14.~12.} {}
\predavanje {Matija Pretnar} {Algebrajski u�inki} {} {21.~12} {}
\end{seznam}
