Predmet: Formalne metode u inženjerstvu (17.DOM67 )
Studijski programi predmeta:
| Stepen i vrsta studija | Naziv |
|---|---|
| Doktorske studije | Matematika u tehnici (Godina: 2, Semestar: Zimski) |
| Doktorske studije | Inženjerstvo informacionih sistema (Godina: 1, Semestar: Zimski) |
| Doktorske studije | Matematika u tehnici (Godina: 1, Semestar: Zimski) |
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 (
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 |
|---|---|---|---|---|
| 2017 | Engleski | |||
| 2010 | Engleski | |||
| 2013 | Engleski |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Seminarski rad |
Predispitna Da |
Obavezna Da |
Broj poena 50.00 |
| Predmetna aktivnost Usmeni deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 50.00 |
prof. dr Gilezan Silvia
Redovni profesor
Predavanja
prof. dr Gilezan Silvia
Redovni profesor
