The local IT environment.
Software for numerical and symbolic computation. Data processing and presentation.
Creation of mathematical texts and presentations. Markup languages.
Working with an operating system. Managing files and data.
Computer laboratory
2020/2021
Programme:
Physics, First Cycle
Orientation:
Meteorology
Year:
1 year
Semester:
first or second
Kind:
mandatory
ECTS:
3
Course director:
Hours per week – 1. or 2. semester:
Lectures
0
Seminar
0
Tutorial
2
Lab
2
Readings
Priročniki za programsko opremo. Software manuals.
Objectives and competences
Students obtain practical knowledge of using computers.
Intended learning outcomes
Knowledge and understanding: Knowledge of software that will be used in the further study. Application: Basic computer literacy is essential for a successful study. The skills acquired in this course will be used throughout the rest of the study. Reflection: A modern study of mathematics is impossible without a basic computer literacy. Transferable skills: A modern study of mathematics is impossible without a basic computer literacy.
Learning and teaching methods
Lectures, exercises, homework, consultations
Assessment
Written exam
grading: 5 (fail), 6-10 (pass) (according to the Statute of UL)
Lecturer's references
– 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]
– 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, 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]
