Predmet: Odabrana poglavlja iz formalnih metoda projektovanja i verifikacije hardvera (17.DE100 )
Matične organizacione jedinice predmeta: Departman za energetiku, elektroniku i telekomunikacije
Studijski programi predmeta:
| Stepen i vrsta studija | Naziv |
|---|---|
| Doktorske studije | Energetika, elektronika i telekomunikacije (Godina: 1, Semestar: Zimski) |
Cilj predmeta je da studente upozna sa savremenim pristupima u projektovanju i verfikaciji hardvera koji su zasnovani na matematičkom formalizmu.
Studenti koji uspešno završe ovaj predmete moći će da prate najnovije rezultate, razumeju stručnu i istraživačku literaturu i uključe se u naučni rad iz ove oblasti.
Pregled formalnih metoda u projektovanju i verifikaciji hardvera. Deo nastave na predmetu se odvija kroz samostalni studijski istraživački rad u oblasti projektovanja i verifikacije hardvera. Studijski istraživački rad obuhvata aktivno praćenje primarnih naučnih izvora, organizaciju i izvođenje eksperimenata i statističku obradu podataka, numeričke simulacije, pisanje rada iz uže naučno nastavne oblasti kojoj pripada tema doktorske disertacije.
Nastava će se izvoditi individualno sa svakim studentom. Nastavnik će u saradnji sa svakim studentom da odabere njegove (ili njene) oblasti interesovanja i u skladu sa tim odabrati literaturu i temu koju student treba da samostalno odbrani i prezentira. Studijski istraživački rad.
| Autori | Naziv | Godina | Izdavač | Jezik |
|---|---|---|---|---|
| Razni autori | Noviji članci iz časopisa | 2007 | Engleski |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Teorijski deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 50.00 |
| Predmetna aktivnost Seminarski rad |
Predispitna Da |
Obavezna Da |
Broj poena 50.00 |
