sreda, 7. oktober 2009 Seminar MARA

V ponedeljek, 12.10.2009, bosta ob 16. uri v mali predavalnici in predavalnici Pošta Fakultete za matematiko, naravoslovje in informacijske tehnologije Univerze na Primorskem, Glagoljaška 8, Koper predavanji v okviru skupnega SEMINARJA ZA MATEMATICNE IN RAČUNALNIŠKE ZNANOSTI Oddelka za matematiko in računalništvo UP FAMNIT, Oddelka za matematiko in računalništvo UP PINT, Oddelka za matematiko in računalništvo UP PEF ter Oddelkov za matematiko in teoretično računalništvo IMFM.

Dnevni red:

Ura: 16.00

Predavalnica: Pošta

Naslov: On formalization of object model by unifying intensional and extensional representations

Predavatelj: Iztok Savnik

Povzetek:
In this paper we present the consequences of unifying the representation of schema and instance levels of object languages to the formal representation of object model. The uniform representation of schema and instance levels is achieved, as in the frame-based knowledge representation languages, by representing them using a uniform set of modeling constructs. We show that, using such an approach, the structural part of the object model can be described in a clear manner providing the simple means for the description of the main constructs of structural model and the relationships among them. Further, we study the consequences of releasing the boundary between the schema and the instance levels of object model by allowing the definition of objects which include data from both levels. We show that few changes are needed in order to augment the previously presented formal definition of the structural part of object language to represent the extended object model.

Delo je bilo predstavljeno na konferenci:
European-Japanese Conference on Information Modelling and Knowledge Bases, Maribor, 2009.


Predavalnica: MP

Predavatelj: Boštjan Frelih

Naslov: PREDSTAVITEV MAGISTRSKEGA DELA: NE-CAYLEYJEVA ŠTEVILA

Povzetek:
Za graf $\Gamma$ rečemo, da je vozliščno tranzitiven, če je grupa avtomorfizmov grafa $\Gamma$ tranzitivna na množici vozlišč $V(\Gamma)$. Naj bo $G$ končna grupa in $S$ poljubna podmnožica grupe $G$, ki ne vsebuje enote grupe $G$ in ki z vsakim elementom $s\in S$ vsebuje tudi inverzni element $s^{-1}$. Graf $\Gamma$, ki ima množico vozlišč $V(\Gamma)=G$ in množico povezav $E(\Gamma)=\{vu\,|\,uv^{-1}u\ in S\}$, imenujemo Cayleyjev graf grupe $G$ s simbolom $S$. Vsi Cayleyjevi grafi so vozliščno tranzitivni, obstajajo pa tudi vozliščno tranzitivni grafi, ki niso Cayleyjevi. Primer takega grafa je Petersenov graf. Naravno število $n$, za katerega obstaja vozliščno tranzitiven graf na $n$ vozliščih, ki ni Cayleyjev, imenujemo Ne-Cayleyjevo število. Magistrsko delo obravnava problem iskanja Ne-Cayleyjevih števil.