Seminar za osnove matematike in teoretičnega računalništva http://www.fmf.uni-lj.si/si/obvestila/agregator/seminar-osnove/ Fakulteta za matematiko in fiziko > Obvestila > Seminar za osnove matematike in teoretičnega računalništva Seminar za osnove matematike in teoretičnega računalništva http://www.fmf.uni-lj.si/img/rss/logo.gif http://www.fmf.uni-lj.si/si/obvestila/agregator/seminar-osnove/ Andrej Bauer: Bourbaki-Wittov in Knaster-Tarskijev izrek v toposih, 2. del http://www.fmf.uni-lj.si/si/obvestila/15793/ Torek, 2. marec 2010, od 12h do 14h, Plemljev seminar, Jadranska 19 http://www.fmf.uni-lj.si/si/obvestila/15793/ Mon, 01 Mar 2010 16:18:54 GMT Andrej Bauer: Bourbaki-Wittov in Knaster-Tarskijev izrek v toposih http://www.fmf.uni-lj.si/si/obvestila/15720/ Torej, 23. 2. 2010, od 12h do 14, Plemljev seminar, Jadranska 21 http://www.fmf.uni-lj.si/si/obvestila/15720/ Mon, 22 Feb 2010 14:55:06 GMT Matija Pretnar: Logika in prestrezanje algebrajskih učinkov http://www.fmf.uni-lj.si/si/obvestila/15515/ Torek, 26. 1. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19 http://www.fmf.uni-lj.si/si/obvestila/15515/ Mon, 25 Jan 2010 16:26:04 GMT Matija Pretnar: Delovno okolje za matematike na Mac OS X, 2. del http://www.fmf.uni-lj.si/si/obvestila/15177/ Torek, 19. 1. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19 http://www.fmf.uni-lj.si/si/obvestila/15177/ Mon, 18 Jan 2010 13:47:25 GMT Barak Pearlmutter: Axis of eval! http://www.fmf.uni-lj.si/si/obvestila/15088/ Torek, 12. 1. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19 http://www.fmf.uni-lj.si/si/obvestila/15088/ Mon, 11 Jan 2010 15:34:40 GMT Seminar za osnove 22. in 29. 12. 2009 odpade http://www.fmf.uni-lj.si/si/obvestila/14993/ V letu 2009 smo zaključili s seminarji za osnove matematike in teoretičnega računalništva. Vsem udeležencem želimo obilo sreče v novem letu 2010! http://www.fmf.uni-lj.si/si/obvestila/14993/ Mon, 21 Dec 2009 14:13:36 GMT Andrej Bauer: Kanonične izračunljive podalgebre klasičnih algeber http://www.fmf.uni-lj.si/si/obvestila/14948/ Torek, 15. 12. 2009, od 12h do 14h, Plemljev seminar, Jadranska 19 http://www.fmf.uni-lj.si/si/obvestila/14948/ Mon, 14 Dec 2009 14:26:41 GMT Danilo Šuster: Logika protidejstvenih pogojnikov http://www.fmf.uni-lj.si/si/obvestila/14881/ Torek, 8. 12. 2009, od 12h do 14h v Plemljevem seminarju, Jadranska 19 http://www.fmf.uni-lj.si/si/obvestila/14881/ Mon, 07 Dec 2009 12:59:19 GMT Andrej Ule: Logična analiza, 2. del http://www.fmf.uni-lj.si/si/obvestila/14821/ Torek, 1. 12. 2009, od 12h do 14h v Plemljevem seminarju, Jadranska 19 http://www.fmf.uni-lj.si/si/obvestila/14821/ Mon, 30 Nov 2009 13:16:09 GMT Andrej Ule: Logična analiza http://www.fmf.uni-lj.si/si/obvestila/14769/ Torek, 24. 11. 2009 od 12h do 14h, Plemljev seminar, Jadranska 19 http://www.fmf.uni-lj.si/si/obvestila/14769/ Mon, 23 Nov 2009 14:30:47 GMT