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.

2019/2020

Programme:

Mathematics, First Cycle

Year:

1 year

Semester:

first

Kind:

mandatory

ECTS:

6

Language:

slovenian

Lecturers:

Hours per week – 1. semester:

Lectures

1

Seminar

0

Tutorial

0

Lab

3

Content (Syllabus outline)

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.

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

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]