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

Tudi tretjem letu delovanja je seminar vodil doc.\ dr.\ Andrej Bauer.
Se\-mi\-nar je obiskovalo 5 do 10 �lanov.

\begin{seznam}
\predavanje {Matija Pretnar} {Logika algebrajskih u�inkov} {1} {10.~1.} {}
\predavanje {Matija Pretnar} {Logika algebrajskih u�inkov} {2} {17.~1} {}
\predavanje {Andrej Bauer} {Sinteti�na izra�unljivost} {1} {24.~1.} {}
\predavanje {Andrej Bauer} {Sinteti�na izra�unljivost} {2} {14.~2.} {}
\predavanje {Andrej Bauer} {Sinteti�na izra�unljivost} {3} {21.~2.} {}
\predavanje {Andrej Bauer} {Analiza v sinteti�ni izra�unljivosti} {} {6.~3.} {}
\predavanje {Andrej Bauer, Matija Pretnar}  {Igramo se s Coqom in Haskellom} {} {13.~3.} {}
\predavanje {Matija Pretnar} {Implementacija CW kompleksov v OCamlu} {} {20.~3.} {}
\predavanje {Steve Awodey} {Topology and modality} {} {26.~3.} {}
\predavanje {Gregor Dolinar} {Jensenov kvadratni princip} {} {3.~4.} {}
\predavanje {Andrej Bauer} {Formalizacija topologije v Coqu} {} {8.~5.} {}
\predavanje {Matija Pretnar} {�e bolj�a formalizacija topologije v Coqu} {} {15.~5.} {}
\predavanje {Andrej Bauer} {An apocryphal explanation of abstract stone duality} {} {29.~5.} {}
\predavanje {Danko Ilik} {Formalising a completeness theorem in Coq} {} {5.~6.} {}
\predavanje {Paul Taylor} {The importance of subspace topology} {} {12.~6.} {}
\predavanje {Andrej Bauer} {U�inkovito ra�unanje z Dedekindovimi realnimi �tevili} {} {21.~10.} {}
\predavanje {Iztok Kavkler} {U�inkovito ra�unanje s Cauchyjevimi realnimi �tevili} {} {28.~10.} {}
\predavanje {Matija Pretnar} {Taktike v Coqu} {} {4.~11.} {}
\predavanje {Davorin Le�nik} {Napolnitev metri�nih prostorov v konstruktivni matematiki} {} {11.~11.} {}
\predavanje {France Dacar} {Supremumi dru�in operatorjev zaprtja} {} {25.~11.} {}
\predavanje {Matija Pretnar, Andrej Bauer} {Evaluacijske strategije v programskih jezikih} {} {16.~12} {}
\end{seznam}

