Fakultet tehničkih nauka

Predmet: Algoritmi i programiranje (17.ESI122)

Matične organizacione jedinice predmeta:
Osnovne informacije:
 
Kategorija Stručno-aplikativni
Uža naučna oblast Primenjene računarske nauke i informatika
Multidisciplinarna Ne
ESPB 6
Cilj:

Sticanje znanja iz oblasti savremene teorije programiranja i pratećih tehnologija. Stečena znanja student treba da primeni u analizi, proučavanju i rešavanju realnih problema.

Ishod:

Razumevanje moderne teorije programiranja i osposobljavanje za primenu stečenih znanja u razvoju softverskih sistema. Student je osposobljen da primenom stečenog znanja analizira, proučava i rešava realne probleme.

Sadržaj:

Algoritmi i strukture podataka. Složenost algoritama. Kombinatorni i grafovski algoritmi. Kriptografski algoritmi. 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. Razlike između dominantnih paradigmi. Imperativna paradigma. Funkcionalna paradigma. Objektno orijentisana paradigma. Tehnologije i razvojni alati za podršku savrmenim paradigmama programiranja.

Metodologija izvođenja nastave:

Predavanja. Praktičan rad na računaru. Konsultacije. Student je obavezan da samostalno uradi projekat i napiše seminarski rad.

Literatura:
Autori Naziv Godina Izdavač Jezik
Cvetković, D. Diskretne matematičke strukture 1987 Naučna knjiga, Beograd Srpski jezik
McMillan M. Data Structures and Algorithms Using C# 2008 Cambridge university press Engleski
Hehner, E.C.R. A Practical Theory of Programming 1993 Springer-Verlag, New York Engleski
Doroslovački, R. Kombinatorika na rečima 2000 Feljton, Novi Sad Srpski jezik
Kupusinac, A. Zbirka rešenih zadataka iz programskog jezika C++ 2011 Fakultet tehničkih nauka, Novi Sad Srpski jezik
Slonneger K., Kurtz B. L. Formal syntax and semantics of programming languages: a laboratory based approach 1995 Addison-Wesley Publishing Company 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
Weiss M.A. Data Structures and Algorithm Analysis in C 1997 Addison-Wesley Engleski
Menezes, A.J., Van Oorschot, P.C., Vanstone, S.A Handbook of Applied Cryptography 1997 CRC Press, New York Engleski
Formiranje ocene:
Predmetna aktivnost Predispitna Obavezna Broj poena
Predmetni projekat Da Da 50.00
Teorijski deo ispita Ne Da 30.00
Seminarski rad Da Da 20.00
Izvođači nastave:
Predavanja
Računarske vežbe
Računarske vežbe
Računarske vežbe