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, Letnji) |
| Doktorske studije | Matematika u tehnici (Godina: 1, Letnji) |
Cilj:
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.
Ishod:
Poznavanje osnovnih pojmova i alata za proučavanje računa mobilnih procesa.
Sadržaj:
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,...)
Metodologija izvođenja nastave:
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.
Literatura:
| Autori | Naziv | Godina | Izdavač | Jezik |
|---|---|---|---|---|
| 1992 | Engleski | |||
| 1989 | Engleski |
Formiranje ocene:
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Teorijski deo ispita | Ne | Da | 50.00 |
| Predmetni projekat | Da | Da | 50.00 |
Izvođači nastave:
doc. Prokić Ivan
Docent
Studijski istraživački rad
prof. dr Pantović Jovanka
Redovni profesor
Studijski istraživački rad
prof. dr Gilezan Silvia
Redovni profesor
Studijski istraživački rad
doc. Prokić Ivan
Docent
Predavanja
prof. dr Gilezan Silvia
Redovni profesor
Predavanja
prof. dr Pantović Jovanka
Redovni profesor
