Predmet: Formalni modeli u distribuiranom računarstvu (17.0M536 )
Matične organizacione jedinice predmeta:
Studijski programi predmeta:
| Stepen i vrsta studija | Naziv |
|---|---|
| Master akademske studije | Matematika u tehnici ( |
| Master akademske studije | Informacioni inženjering (Godina: 1, Zimski) |
Cilj:
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.
Ishod:
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.
Sadržaj:
Indukcija (po strukturi, po pravilima,...) i koindukcija. Formalni račun
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 diskutuje je sa nastavnikom na konsultacijama.
Literatura:
| Autori | Naziv | Godina | Izdavač | Jezik |
|---|---|---|---|---|
| Janičić, P. | Matematička logika u računarstvu | 2009 | Matematički fakultet, Beograd | Srpski jezik |
| 2001 | Engleski | |||
| 2007 | Engleski |
Formiranje ocene:
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Prisustvo na vežbama | Da | Da | 5.00 |
| Teorijski deo ispita | Ne | Da | 30.00 |
| Prisustvo na predavanjima | Da | Da | 5.00 |
| Test | Da | Da | 10.00 |
| Test | Da | Da | 10.00 |
| Pismeni deo ispita - kombinovani zadaci i teorija | Ne | Da | 40.00 |
Izvođači nastave:
doc. Ilić Vladimir
Docent
Predavanja
Asistent sa doktoratom Đokić Jelena
Asistent sa doktoratom
