SLOM - predavanja odr~zana ak. god. 1997/98.

Logi~cki princip ograni~cene veli~cine
Boris ~Culina
Dinami~cke algebre i korektnost paralelnih program~a
Igor Urbiha
Rekurzivni modeli otvorene indukcije
Darko Biljakovi~t
Te~ski slu~cajevi 3-SAT problema i Davis-Putnamov algoritam
Kazimir Majorinc
Skupovi i brojevi
Zvonimir ~Siki~t
Craigova interpolaciona lema u logici interpretabilnosti
Mladen Vukovi~t (znanstveni kolokvij u Osijeku)
Teorija klasifikacije
Ivan Toma~si~t (poslijediplomand na Carnegie Mellon, SAD)