Seminar za teorijsko racunarstvo 02.06.2008
Matko Botincan
U ponedjeljak 02. lipnja 2008. s pocetkom u 15 h (u sobi 109)
Paola Glavan s Fakulteta strojarstva i brodogradnje odrzat ce
predavanje na Seminaru za teorijsko racunarstvo pod naslovom:
"Kada su dva algoritma jednaka?"
Sazetak:
Algoritmi se obicno smatraju apstaktnijim od programa koji
ih implemetiraju. Prirodna formalizacija te ideje je - algoritmi
su klase ekvivalencije programa u odnosu na neku relaciju
ekvivalencije.
Koja relacija ekvivalencije "hvata" taj pojam i da li ona uopce
postoji?
Literatura:
A. Blass, N. Dershowitz, Y. Gurevich: When are two algorithms the same?
http://research.microsoft.com/~gurevich/Opera/192.pdf
Pozivaju se svi clanovi seminara kao i ostali zainteresirani da
prisustvuju ovom predavanju.
Lijepi pozdrav,
Matko Botincan
Robert Manger
Dragi kolege (posebno Paola),
Na zalost, izgleda da stjecajem okolnosti nitko od nas domacina na PMF-MO
nece moci prisustvovati danasnjem seminaru. Mozda ne bi bilo lose da ga
odgodimo za tjedan dana, ako vam to nije preveliki problem.
Lijep pozdrav, Robert Manger.
Robert Manger
Obavjestavam vas da se prije najavljeno predavanje Paole Glavan u okviru
Seminara za teorijsko racunarstvo ODGADJA ZA TJEDAN DANA. Dakle novi termin
je ponedjeljak 08. lipnja 2008 u 15 h (PMF-MO, soba 109). Do odgode je doslo
zbog preklapanja obaveza vecine slusaca s PMF-MO. Ispricavam se zbog
eventualnih neugodnosti i problema izazvanih ovom odgodom.
Lijep pozdrav, Robert Manger.
-----Original Message-----
From: seminar-za-teori...@googlegroups.com
[mailto:seminar-za-teori...@googlegroups.com] On Behalf Of
Matko Botincan
Sent: Wednesday, May 28, 2008 7:42 AM
To: seminar-za-teori...@googlegroups.com
Cc: lista...@math.hr
Subject: [seminar-tr] Seminar za teorijsko racunarstvo 02.06.2008