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.
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.
Priročniki za programsko opremo.
Software manuals.
Students obtain practical knowledge of using computers.
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.
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]