\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 {Barak Pearlmutter} {Axis of eval!} {} {12.~1} {}
\predavanje {Matija Pretnar} {Delovno okolje za matematike na Mac OS X} {} {19.~1} {}
\predavanje {Matija Pretnar} {Logika in prestrezanje algebrajskih u\v{c}inkov} {} {26.~1} {}
\predavanje {Andrej Bauer} {Bourbaki-Wittov in Knaster-Tarskijev izrek v toposih} {1} {23.~2} {}
\predavanje {Andrej Bauer} {Bourbaki-Wittov in Knaster-Tarskijev izrek v toposih} {2} {2.~3} {}
\predavanje {Andrej Bauer} {Kratek dokaz neprotislovnosti lambda ra\v{c}una} {} {5.~4} {}
\predavanje {Andrej Bauer} {Matemati\v{c}na programska oprema s Pythonom} {} {13.~4} {}
\predavanje {Rok Strni\v{s}a} {Lastnosti dobrega modularnega sistema} {} {20.~4} {}
\predavanje {Miha Habi\v{c}} {Izrek o adjungiranih funktorjih} {} {4.~5} {}
\predavanje {Andrej Bauer} {Gödelova ``dialektika''} {1} {11.~5} {}
\predavanje {Andrej Bauer} {Gödelova ``dialektika''} {2} {18.~5} {}
\predavanje {Miha Jej\v{c}i\v{c}} {Goodsteinova zaporedja in hidre} {} {25.~5} {}
\predavanje {Andrej Tom\v{s}e} {Izreka o kompaktnosti in popolnosti v logiki prvega reda} {} {1.~6} {}
\predavanje {Peter R Turner} {Gradual and tapered Overflow and Underflow: Overcoming the logarithmic distribution of numbers} {} {22.~9} {}
\predavanje {Andrej Bauer in Alex Simpson} {A jam session on Heyting implication} {} {5.~10} {}
\predavanje {Matija Pretnar} {Programski jezik eff} {} {12.~10} {}
\predavanje {Willem Heijltjes} {Free sums and products: when zero times zero is not zero} {} {19.~10} {}
\predavanje {Jeff Egger} {Categorical structures arising in functional analysis} {} {26.10} {}
\predavanje {Matthias Schröder} {The extensional and the intensional hierarchies over R do not coincide} {} {2.~11} {}
\predavanje {Davorin Le\v{s}nik} {Konstruktivne napolnitve metri\v{c}nih prostorov} {} {15.~11} {}
\predavanje {Davorin Le\v{s}nik} {Konstrukcije realnih \v{s}tevil} {} {23.~11} {}
\predavanje {Andrej Bauer} {Simplicialne mno\v{z}ice} {} {30.~11} {}
\predavanje {Andrej Bauer} {Kanovi kompleksi} {} {7.~12} {}
\predavanje {Thomas Streicher} {A model of intensional type theory in simplicial sets} {} {14.~12} {}
\predavanje {Alex Simpson} {Three resolutions of the Banach-Tarski paradox} {} {21.~12} {}
\end{seznam}
