|
Mirko Čubrilo
|
Sveučilite u Zagrebu
Fakultet organizacije i informatike (FOI)
Varadin 42000, Pavlinska 2, HRVATSKA
Tel. +385-42-213-777 int 136
Fax. +385-42-213-413
Konzultacije: Sri. 8-12h; svaka prva srijeda
15-18h;
E-mail: mcubrilo@foi.hr
WWW osobna stranica: http://www.student.foi.hr/~mcubrilo
|
|
Diplomirao na PMFu u Zagrebu, smjer Matematika- teorijska matematika,
godine 1979. Magistrirao 1984 na PMFu, smjer Matematika-teorijska
matematika, a doktorirao 1992 god. na ETFu u Zagrebu, smjer
Raèunarske znanosti.
Na dodiplomskom studiju dri predavanja i vijebe iz kolegija Strukture
podataka i Formalne metode za informatièke tehnologije, a na
postdiplomskom studiju predavanja iz kolegija Formalne metode, te
konzultacije iz kolegija Logièko programiranje.
Grane od posebnog interesa:
- bavi se matematièkom logikom u rasponu od teorije do primjene
(automatsko dokazivanja teorema, logièko programiranje, deduktivni
mehanizmi, teorija baza podataka) i strukturom podataka.
Autor knjiga:
- M. Èubrilo: Matematièke logike za ekspertne sisteme,
IBI, 15, Informator, Zagreb, 1989
- M. Èubrilo, N. Crnko: Visual Basic: Vizualni pristup programiranju,
DRIP i Foing, Zagreb, 1994.
Takoðer se bavi popularizacijom informatike piuæi za struène èasopise (MFL,
Byte, Bug,...)
|
|