Predmet: Formalni modeli u distribuiranom računarstvu (17.0M536 )
Studijski programi predmeta:
| Stepen i vrsta studija | Naziv |
|---|---|
| Master akademske studije |
Matematika u tehnici ( |
| Master akademske studije | Informacioni inženjering (Godina: 1, Semestar: Zimski) |
Sticanje znanja i veština neophodnih za kreiranja matematičkih modela za konkurentne sisteme, sa ciljem formalnog dokazivanja njegovih osobina, validacije korektnosti i otkrivanja neželjenih ponašanja. Cilj je da studenti ovladaju postupcima dokazivanja, kao što su indukcija po strukturi, indukcija po pravilima i metode za primenu koindukcije. Studenti će steći detaljan uvid u jedan formalni račun za konkurentne interaktivne sisteme, koji će služiti kao polazna osnova za proučavanje složenijih konkurentnih sistema.
Student će vladati veštinama neophodnim za kreiranja matematičkih modela za konkurentne sisteme, formalno dokazivanje njihovih osobina, verifikaciju korektnosti i otkrivanje neželjenih ponašanja. Studenti će posedovati dobro poznavanje osnovnih modela za konkurentne procese.
Indukcija (po strukturi, po pravilima,...) i koindukcija. Formalni račun
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 diskutuje je sa nastavnikom na konsultacijama.
| Autori | Naziv | Godina | Izdavač | Jezik |
|---|---|---|---|---|
| Janičić, P. | Matematička logika u računarstvu | 2009 | Matematički fakultet, Beograd | Srpski jezik |
| 2007 | Engleski | |||
| 2001 | Engleski |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Teorijski deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 30.00 |
| Predmetna aktivnost Test |
Predispitna Da |
Obavezna Da |
Broj poena 10.00 |
| Predmetna aktivnost Prisustvo na predavanjima |
Predispitna Da |
Obavezna Da |
Broj poena 5.00 |
| Predmetna aktivnost Pismeni deo ispita - kombinovani zadaci i teorija |
Predispitna Ne |
Obavezna Da |
Broj poena 40.00 |
| Predmetna aktivnost Test |
Predispitna Da |
Obavezna Da |
Broj poena 10.00 |
| Predmetna aktivnost Prisustvo na vežbama |
Predispitna Da |
Obavezna Da |
Broj poena 5.00 |
doc. Ilić Vladimir
Docent
Predavanja
Asistent sa doktoratom Đokić Jelena
Asistent sa doktoratom
