Predmet: Uvod u formalne metode (17.0M533 )
Studijski programi predmeta:
Stepen i vrsta studija | Naziv |
---|---|
Master akademske studije |
Matematika u tehnici ( |
Master akademske studije | Informacioni inženjering (Godina: 1, Semestar: Zimski) |
Kategorija | Naučno-stručni |
Uža naučna oblast | Teorijska i primenjena matematika |
ESPB | 4 |
Sticanje znanja o formalnim metodama. Praktičan rad sa alatima. Uključivanje studenta u naučno-istraživački rad.
Poznavanje teorijskih osnova i praktičnog rada sa formalnim metodama u raznim oblastima inžerestva. Uključivanje u aktuelna istraživanja u domenu formalnih metoda, po izboru studenta, a u saradnji sa naučnicima iz zemlje i inostranstva.
Formalna specifikacija. Formalna verifikacija. Formalni mašinski-proverljivi dokazi. Jezici za specifikaciju: procesni računi (CCS, CSP, pi-račun), Petri mreže. Automatski alati: PAT, Mobility Workbench.
Na predavanjima se izlaže teoretski deo gradiva propraćen karakterističnim primerima radi lakšeg razumevanja gradiva. Studenti u grupama i samostalno proučavaju dodatnu literaturu i diskutuju je sa nastavnikom na konsultacijama.
Autori | Naziv | Godina | Izdavač | Jezik |
---|---|---|---|---|
2004 | Engleski | |||
2013 | Engleski |
Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
---|---|---|---|
Predmetna aktivnost Teorijski deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 50.00 |
Predmetna aktivnost Prisustvo na vežbama |
Predispitna Da |
Obavezna Da |
Broj poena 2.00 |
Predmetna aktivnost Prisustvo na predavanjima |
Predispitna Da |
Obavezna Da |
Broj poena 3.00 |
Predmetna aktivnost Seminarski rad |
Predispitna Da |
Obavezna Da |
Broj poena 45.00 |
vanr. prof. dr Ivetić Jelena
Vanredni profesor
Predavanja
Asistent Ciganović Radojka
Asistent