Programming 2

Completed course Introduction to programming.

Modular programming, planning and organization of source code (specification, documentation and testing). Advanced programming tools (integrated development environments, revision control systems).
Selected topics in programming: event-driven programming, graphical user interfaces, parallel and concurrent programming, network and web applications, servers and clients.

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.

A student gets familiar with programming techniques in specific fields used in computer and information technologies.

Knowledge and understanding: Modular design of programs, basic use of programming libraries, programming user interface and simple network applications, structured documents processing.
Application: A student can use advanced programming capabilities at problem solving at courses related to computer science and numerical methods.
Reflection: Variety of concepts and tools for programming requires a wide spectrum of knowledge and continuous refreshing.
Transferable skills: Capability of designing larger programming units and data collections.

Lectures, exercises, homework, consultations

homework, midterm exams, projects, written exam, oral exam

grading: 5 (fail), 6-10 (pass) (according to the Statute of 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]