Predmet: Odabrana poglavlja programiranja (17.DRNI01 )
Matične organizacione jedinice predmeta: Odsek za primenjene računarske nauke i informatiku
Studijski programi predmeta:
| Stepen i vrsta studija | Naziv |
|---|---|
| Doktorske studije | Računarstvo i automatika (Godina: 1, Semestar: Zimski) |
| Doktorske studije | Matematika u tehnici (Godina: 1, Semestar: Zimski) |
| Doktorske studije | Energetika, elektronika i telekomunikacije (Godina: 1, Semestar: Zimski) |
| Doktorske studije | Mehatronika (Godina: 1, Semestar: Zimski) |
| Doktorske studije | Matematika u tehnici (Godina: 2, Semestar: Zimski) |
Sticanje dubokih znanja iz oblasti savremene teorije programiranja i pratećih tehnologija. Student treba da izgradi samostalno naučno gledište iz ove oblasti, a stečena znanja primeni u analizi, proučavanju i rešavanju realnih problema.
Razumevanje moderne teorije programiranja i osposobljavanje za primenu stečenih znanja u razvoju softverskih sistema. Student je osposobljen da kreativno primeni stečena znanja u analizi, proučavanju i rešavanju realnih problema.
Algoritmi i strukture podataka. Odabrane paradigme programiranja. Moderna teorija programiranja. Sintaksa programskog jezika. Semantika programskog jezika (operaciona, denotaciona i aksiomatska semantika). Terminiranje. Deterministički i nedeterministički programi. Najslabiji preduslov. Najjači postuslov. Invarijanta. Specifikacija programa. Verifikacija i validacija. Tehnologije i razvojni alati za podršku savremenim paradigmama programiranja. Deo nastave na predmetu se odvija kroz samostalni istraživačko studijski rad u oblasti programiranja. Istraživačko studijski rad obuhvata aktivno praćenje primarnih naučnih izvora, eventualno pisanje rada iz oblasti programiranja.
Predavanja. Praktičan rad na računaru. Konsultacije. Student je obavezan da samostalno uradi projekat i napiše seminarski rad.
| Autori | Naziv | Godina | Izdavač | Jezik |
|---|---|---|---|---|
| 1976 | Engleski | |||
| 2008 | Engleski | |||
| 2013 | Engleski | |||
| 1995 | Engleski | |||
| 1997 | Engleski | |||
| 1993 | Engleski |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Seminarski rad |
Predispitna Da |
Obavezna Da |
Broj poena 20.00 |
| Predmetna aktivnost Predmetni projekat |
Predispitna Da |
Obavezna Da |
Broj poena 50.00 |
| Predmetna aktivnost Teorijski deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 30.00 |
prof. dr Ivetić Dragan
Redovni profesor
Predavanja
prof. dr Kupusinac Aleksandar
Redovni profesor
Predavanja
prof. dr Popov Srđan
Redovni profesor
Predavanja
vanr. prof. dr Gajić Dušan
Vanredni profesor
Predavanja
vanr. prof. dr Čeliković Milan
Asistent
