Fakultet tehničkih nauka

Predmet: Odabrana poglavlja programiranja (17.DRNI01)

Matične organizacione jedinice predmeta: Odsek za primenjene računarske nauke i informatiku
Osnovne informacije:
 
Kategorija Naučno-stručni
Uža naučna oblast Primenjene računarske nauke i informatika
ESPB 10

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
Slonneger K., Kurtz B. L. Formal syntax and semantics of programming languages: a laboratory based approach 1995 Addison-Wesley Publishing Company Engleski
Hehner, E.C.R. А Practical Theory of Programming 1993 Springer-Verlag, New York Engleski
Weiss M.A. Data Structures and Algorithm Analysis in C++ 2013 Addison-Wesley Engleski
Dijkstra, E.W. A Discipline of Programming 1976 Prentice-Hall, Englewood Cliffs Engleski
McMillan M. Data Structures and Algorithms Using C# 2008 Cambridge university press Engleski
Weiss M.A. Data Structures and Algorithm Analysis in C 1997 Addison-Wesley Engleski
Predmetna aktivnost Predispitna Obavezna Broj poena
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
Predmetna aktivnost
Seminarski rad
Predispitna
Da
Obavezna
Da
Broj poena
20.00
Predavanja
Predavanja
API Image

prof. dr Popov Srđan

Redovni profesor

Predavanja
Predavanja
Predavanja