SLOM - predavanja odr~zana ak. god. 2003/04.

03-11-24 Lindströmov teorem za modalnu logiku

Dora Predrijevac

03-12-01
03-12-08
03-12-15
03-12-22
04-01-12 Logi~cka analiza pojma istine

Boris ~Culina

04-01-19
04-01-26
04-02-02
04-02-09 Konstruktibilni skupovi

Vedran ~Ca~ci~t

04-02-23 Hilbertov deseti problem ~ dokaz da iz nerje~sivosti slijedi Goedelov prvi teorem

Boris Golub

04-05-17
04-05-24 Diofantski skupovi i jedna~gbe ~ paradigma matemati~ckih teorij~a

Mirko Mihaljinec

04-06-14
04-06-21 Logika vi~seg reda i sustav Isabelle

Tajana Ban Kirigin

04-07-05 Deskriptivna teorija slo~zenosti: Mo~ze li se logikom uhvatiti pojedina klasa slo~zenosti?

Matko Botin~can