Programiranje 2

Opravljen predmet Uvod v programiranje.

Modularno programiranje, načrtovanje in organizacija izvorne kode (specifikacija, dokumentacija in testiranje). Napredna programerska orodja (integrirana razvojna okolja, sistemi za kontrolo verzij).

Izbrane teme iz programiranja: dogodkovno programiranje, uporabniški grafični vmesniki, hkratno in vzporedno programiranje, mrežne in spletne aplikacije, strežniki in odjemalci.

Priročniki in učbeniki o programiranju v izbranem programskem jeziku in podatkovni bazi.
Manuals and textbooks on programming in selected programming language and database server.

Študent spozna tehnike programiranja na specifičnih področjih, ki se uporabljajo v računalniških in informacijskih tehnologijah.

Znanje in razumevanje: Modularizacija programov, osnovna uporaba podatkovnih zbirk, programiranje uporabniških vmesnikov in preprostih mrežnih aplikacij ter procesiranje strukturiranih dokumentov.
Uporaba: Naprednejše programerske sposobnosti študent uporabi pri reševanju problemov pri predmetih iz področja računalništva in numeričnih metod.
Refleksija: Raznovrstnost konceptov in orodij v programiranju zahteva širok spekter znanja in njegovo nenehno osveževanje.
Prenosljive spretnosti – niso vezane le na en predmet: Sposobnost načrtovanja večjih programskih enot in podatkovnih zbirk.

Predavanja, vaje, domače naloge, konzultacije

domače naloge, kolokviji, projekti, pisni izpit, ustni izpit
ocene: 5 (negativno), 6-10 (pozitivno) (po Statutu UL)

Andrej Bauer:
BAUER, Andrej, STONE, Christopher A. RZ: a tool for bringing constructive and computable mathematics closer to programming practice. Journal of logic and computation, ISSN 0955-792X, 2009, vol. 19, no. 1, str. 17-43. [COBISS-SI-ID 15325785]
BAUER, Andrej, TAYLOR, Paul. The Dedekind reals in abstract Stone duality. Mathematical structures in computer science, ISSN 0960-1295, 2009, vol. 19, iss. 4, str. 757-838. [COBISS-SI-ID 15322201]
BAUER, Andrej, BIRKEDAL, Lars. Continuous functionals of dependent types and equilogical spaces. V: CLOTE, Peter G. (ur.). Computer science logic : 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings, (Lecture notes in computer science, ISSN 0302-9743, 1862). Berlin [etc.]: Springer, 2000, vol. 1862, str. 202-216. [COBISS-SI-ID 10606681]
BAUER, Andrej. Uvod v programiranje v Javi. Ljubljana: [A. Bauer], 2008. 1 optični disk (CD-ROM). [COBISS-SI-ID 14629977]
BAUER, Andrej. Teorija programskih jezikov. Ljubljana: [A. Bauer], 2007. 100 str. [COBISS-SI-ID 14630489]

Matija Pretnar:
AHMAN, Danel, PRETNAR, Matija. Asynchronous effects. Proceedings of the ACM on Programming Languages. Jan. 2021, vol. 5, iss. popl, art. 24 (28 str.). ISSN 2475-1421. [COBISS-SI-ID 45728771]
LUKŠIČ, Žiga, PRETNAR, Matija. Local algebraic effect theories. Journal of functional programming. 2020, vol. 30, art. e13 (27 str.). ISSN 1469-7653. [COBISS-SI-ID 53281795]
FORSTER, Yannick, KAMMAR, Ohad, LINDLEY, Sam, PRETNAR, Matija. On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. Journal of functional programming. Oct. 2019, vol. 29, art. e15, 43 str. ISSN 1469-7653. [COBISS-SI-ID 18852441]
PRETNAR, Matija. Uvod v programiranje. [Ljubljana]: samozal., cop. 2022. 1 spletni vir, ilustr. https://matija.pretnar.info/uvod-v-programiranje/. [COBISS-SI-ID 149476611]
PRETNAR, Matija. Programiranje 1. [Ljubljana]: samozal., cop. 2022. 1 spletni vir, ilustr. https://matija.pretnar.info/programiranje-1/. [COBISS-SI-ID 149489923]
PRETNAR, Matija. Teorija programskih jezikov. [Ljubljana]: samozal., cop. 2022. 1 spletni vir. https://matija.pretnar.info/teorija-programskih-jezikov/. [COBISS-SI-ID 149491459]