Zajednicki seminar Logika i Racunarstvo 21.12.2011

2 views

Skip to first unread message

Robert Manger

unread,

Dec 16, 2011, 3:12:09 AM12/16/11

to seminar-za-teori...@googlegroups.com, shumi...@gmail.com

Dragi kolege,

U sklopu dva seminara: Seminara za matematičku logiku i osnove matematike te Seminara za teorijsko računarstvo, u srijedu 21. prosinca 2011 u 17 sati, u predavaonici 005 PMF-MO, Domagoj Vrgoč će održati predavanje pod naslovom:

Formalizmi za definiranje jezika nad beskonačnim abecedama.

Sažetak: Definiramo nekoliko formalizama za baratanje riječima nad beskonačnim abecedama i razmatramo njihovu povezanost. Također skiciramo neke primjene na baze podataka. Preciznije koncentriramo se na modele zasnovane na grafovima i pokazujemo kako se prethodno definirani jezici mogu koristiti za postavljanje upita.

Pozivaju se članovi oba seminara kao i ostali zainteresirani da prisustvuju ovom predavanju.