Programming 2

2022/2023
Programme:
Mathematics, First Cycle
Year:
2 year
Semester:
second
Kind:
optional
ECTS:
5
Language:
slovenian
Hours per week – 2. semester:
Lectures
2
Seminar
0
Tutorial
0
Lab
2
Prerequisites

Completed course Introduction to programming.

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]