Opravljene obveznosti pri predmetu Računalniški praktikum.
Računalništvo
Osnove višje-nivojskega programskega jezika: Če je to objektno-orientiran jezik: kontrolni stavki (zanke in pogojni stavek), razredi in objekti, metode, podrazredi in dedovanje. Osnove podatkovnih struktur in algoritmov: Pojem časovne in prostorske računske zahtevnosti, osnovne podatkovne strukture, algoritmi za urejanje podatkov, metoda deli in vladaj, dinamično programiranje, sestopanje. Procesiranje in vizualizacija podatkov: Regularni izrazi in njihova uporaba pri procesiranju podatkov, grafična predstavitev numeričnih podatkov. Izbirna vsebina: osnovni pojmi podatkovnih zbirk, osnovni ukazi SQL.
1.Priročnik za programski jezik.
2.T. H. Cormen, C. E. Leiserson, R. L. Rivest, C. Stein, Introduction to Algorithms. 2nd ed., MIT Press, Cambridge, 2001.
3.J. Kozak, Podatkovne strukture in algoritm., DMFA-Založništvo, Ljubljana, 1997.
4.T. Mohorič, Podatkovne baze. 2. dopolnjena izdaja, BI-TIM, Ljubljana, 2002.
5.Priročnik za delo s podatkovno bazo.
Predmet študenta vpelje v osnove strukturiranega programiranja ter ga seznani z osnovnimi podatkovnimi strukturami, algoritmi ter metodami procesiranja in vizualizacije podatkov.
Znanje in razumevanje Osnovno programersko znanje in razumevanje algoritmičnega reševanja problemov.
Uporaba Pridobljeno znanje študentu omogoča reševanje kompleksnih in obsežnih računskih in drugih problemov s pomočjo računalnika.
Refleksija Spoznanje, da primerna organizacija podatkov v podatkovne strukture in primerna izbira algoritmov bistveno vplivata na učinkovitost programerske rešitve.
Prenosljive spretnosti - niso vezane le na en predmet Programerske sposobnosti študent uporabi pri predmetih, ki zahtevajo zahtevnejše računske postopke in računalniške simulacije fizikalnih sistemov.
Predavanja, seminarji, vaje in domače naloge.
Domače naloge, 2 kolokvija ali pisni izpit
ustni izpit
6-10 (pozitivno), in 5 (negativno) (po Statutu UL).
HAJDINJAK, Melita, BAUER, Andrej. Similarity-based relations in Datalog programs. Int. j. uncertain. fuzziness knowl.-based syst., Oct. 2012, vol. 20, no. 5, str. 673-700 [COBISS-SI-ID 9428308] BAUER, Andrej, KAVKLER, Iztok. A constructive theory of continuous domains suitable for implementation. Ann. pure appl. Logic. [Print ed.], str. 251-267. http:/dx.doi.org/10.1016/j.apal.2008.09.025 [COBISS-SI-ID 15329625] BAUER, Andrej, STONE, Christopher A. RZ: a tool for bringing constructive and computable mathematics closer to programming practice. Lect. notes comput. sci., str. 28-42.http:/www.springerlink.com/content/l745202373001555/fulltext.pdf [COBISS-SI-ID 14631769] AWODEY, Steve, BAUER, Andrej. Propositions as [Types]. J. log. comput. (Print), 2004, vol. 14, no. 4, str. 447-471. http:/logcom.oupjournals.org/content/vol14/issue4/index.dtl [COBISS-SI-ID13374809] BAUER, Andrej, PETKOVŠEK, Marko. Multibasic and mixed hypergeometric Gosper-type algorithms. J. symb. comput., 1999, let. 28, št. 4-5, str. 711-736 [COBISS-SI-ID 9210969]