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

Seminar je vodil Andrej Bauer. Obiskovalo ga je 5 do 10 \v{c}lanov.

\begin{seznam}
%\predavanje {AVTORJI} {NASLOV} {DEL} {DATUM} {TRAJANJE}
\predavanje{Andrej Bauer, Matija Pretnar}{A first look at F/X} {} {6.~1.} {}
\predavanje{Andrej Bauer}{Izreki o negibnih to\v{c}kah v efektivnem toposu} {} {20.~1.} {}
\predavanje{Andrej Bauer}{Topolo\v{s}ki prostor, ki je homeomorfen svojemu prostoru zveznih endomorfizmov} {} {24.~2.} {}
\predavanje{Andrej Bauer}{Kako primerjamo programske jezike} {1} {3.~3.} {}
\predavanje{Andrej Bauer}{Kako primerjamo programske jezike} {2} {10.~3.} {}
\predavanje{Matija Pretnar}{Prestrezniki algebrajskih u\v{c}inkov} {} {17.~3.} {}
\predavanje{Zvonko Iljazovi{\'c}}{Chainable and circularly chainable co-r.e. sets in computable metric spaces} {} {24.~3.} {}
\predavanje{Gregor Dolinar}{Konstrukcija \v{s}katla-omega-1} {1} {31.~3.} {}
\predavanje{Gregor Dolinar}{Konstrukcija \v{s}katla-omega-1} {2} {7.~4.} {}
\predavanje{Gregor Dolinar}{Kardinalna in ordinalna aritmetika} {} {14.~4.} {}
\predavanje{Jens Blanck}{Domain representations of spaces of compact subsets} {} {21.~4.} {}
\predavanje{Andrej Bauer}{Dinami\v{c}ne spletne strani z Djangom} {1} {5.~5.} {}
\predavanje{Andrej Bauer, Matija Pretnar in Matja\v{z} \v{Z}eljko}{Dinami\v{c}ne spletne strani z Djangom} {2} {12.~5.} {}
\predavanje{Paul Taylor}{An existential quantifier for general topology} {} {17.~8.} {}
\predavanje{Andrej Bauer}{{\large $2^{2^\NN} = \NN$}} {} {20.~10.} {}
\predavanje{Karin Cvetko Vah}{Po\v{s}evni Boolov izjavni ra\v{c}un} {} {27.~10.} {}
\predavanje{Karin Cvetko Vah}{Mre\v{z}e} {} {3.~11.} {}
\predavanje{Andrej Bauer}{Pa ne \v{z}e spet uvod v monade!} {} {10.~11.} {}
\predavanje{Matija Pretnar}{Brezpla\v{c}ni izreki!} {} {17.~11.} {}
\predavanje{Andrej Ule}{Logi\v{c}na analiza} {1} {24.~11.} {}
\predavanje{Andrej Ule}{Logi\v{c}na analiza} {2} {1.~12.} {}
\predavanje{Danilo \v{S}uster}{Logika protidejstvenih pogojnikov} {} {8.~12.} {}
\predavanje{Andrej Bauer}{Kanoni\v{c}ne izra\v{c}unljive podalgebre klasi\v{c}nih algeber} {} {15.~12} {}
\end{seznam}

