Predmet: Teorija mobilnih procesa (17.D0M13L )
Matične organizacione jedinice predmeta: Departman za opšte discipline u tehnici
Studijski programi predmeta:
| Stepen i vrsta studija | Naziv |
|---|---|
| Doktorske studije | Matematika u tehnici (Godina: 1, Semestar: Letnji) |
Osnovni cilj predmeta jeste upoznavanje doktoranada sa osnovnim pojmovima, rezultatima i metodama iz teorije mobilnih procesa. Cilj je da sticanje temeljnih znanja o osnovnim elementima (proces, komunikacija, konkurentnost,...) i tehnikama za razumevanje formalnih modela za mobilne procese. Nakon ovladavanja osnovnim znanjima, cilje je da se mladi istraživači uključe u rad naučno-istraživačke grupe, u skladu sa njihovim interesovanjima.
Poznavanje osnovnih pojmova i alata za proučavanje računa mobilnih procesa.
Osnovni elementi mobilnih procesa: procesi, komunikacija, konkurentnost, mobilnost, interferiranje,... Osnovni alati za proučavanje mobilnih procesa: relacije tranzicije i bisimilarnosti, strukturalne ekvivalencije i redukcije, jednakosne teorije, logike i tipovi. Jedan račun mobilnih procesa po izboru studenta. Oblast po izboru studenta (reverzibilno računarstvo, modeli za komunikacione protokole, programski jezici bazirani na mobilnim procesima,...)
Na predavanjima se izlaže teoretski deo gradiva propraćen karakterističnim primerima radi lakšeg razumevanja gradiva. Student samostalno proučava dodatnu literaturu i duskutuje je sa nastavnikom na konsultacijama. Kroz studiski istraživački rad student, proučavajući naučne časopise i ostalu literaturu samostalno produbljuje gradivo sa predavanja. Uz rad sa nastavnikom student se osposobljava za samostalno pisanje naučnog rada.
| Autori | Naziv | Godina | Izdavač | Jezik |
|---|---|---|---|---|
| 1989 | Engleski | |||
| 1992 | Engleski |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Teorijski deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 50.00 |
| Predmetna aktivnost Predmetni projekat |
Predispitna Da |
Obavezna Da |
Broj poena 50.00 |
prof. dr Jovanka Pantović
Redovni profesor
Predavanja
prof. dr Silvia Gilezan
Redovni profesor
Predavanja
doc. Ivan Prokić
Docent
Predavanja
prof. dr Jovanka Pantović
Redovni profesor
Studijski istraživački rad
prof. dr Silvia Gilezan
Redovni profesor
Studijski istraživački rad
doc. Ivan Prokić
Docent
