Programming 2

2022/2023
Programme:
Financial mathematics, First Cycle
Year:
3 year
Semester:
second
Kind:
optional
ECTS:
5
Language:
slovenian
Hours per week – 2. semester:
Lectures
2
Seminar
0
Tutorial
0
Lab
2
Content (Syllabus outline)

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.

Readings

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.

Objectives and competences

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

Intended learning outcomes

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.

Learning and teaching methods

Lectures, exercises, homework, consultations

Assessment

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

grading: 5 (fail), 6-10 (pass) (according to the Statute of UL)

Lecturer's references

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]