Information and communication technology (ICT) in teaching and learning informatics, mathematics and natural science. Advantages and disadvantages. Impact of ICT on learning content, learning process and the development of logical thinking. Planning an efficient use of ICT.

Software for dynamic geometry. Interactive projections, transformations, and constructions. Automatic determination of geometric points. Experimental detection of geometric assumptions. Using symmetry. Analytic geometry. Graphical presentation.

Software for symbolic computation. Capabilities and limitations. Presentation and simplification of objects. Algebraic algorithms. Programming constructs. Knowledge representation. The graphics and sound. Workbooks. Preparation of educational materials. Computer-assisted self-assessment.

# Symbolic computation and dynamic geometry *

2022/2023

Programme:

Mathematics Education

Year:

4 ali 5 year

Semester:

first

Kind:

mandatory

ECTS:

5

Language:

slovenian

Course director:

Lecturer (contact person):

Hours per week – 1. semester:

Lectures

2

Seminar

0

Tutorial

0

Lab

2

Content (Syllabus outline)

Readings

J. Boehm, I. Forbes, G. Herweyers, R. Hugelshofer, G. Schomacker: The Case for CAS. T3 Europe, 2004, ISBN 3-934064-45-0, 134 str. Dostopno na http://www.t3ww.com/pdf/TheCaseforCAS.pdf.

priročniki za sisteme za dinamično geometrijo

priročniki za sisteme simbolno računanje

Objectives and competences

The student is trained for independent and competent use of systems for symbolic computation and dynamic geometry in education and to critically assess the role of ICT in teaching informatics, mathematics and natural science.

Intended learning outcomes

Students learn:

- basics of systems for symbolic computation and dynamic geometry
- performances of systems for symbolic computations

Learning and teaching methods

lectures, exercises, homework, consultations.

Assessment

Type: homework, project, written and/or oral exam.

Grading: 6-10 pass, 1-5 fail

Lecturer's references

Matija Pretnar

- LUKŠIČ, Žiga., PRETNAR, Matija. Local algebraic effect theories. Journal of Functional Programming, ISSN - 1469-7653, 2020, vol. 30, E13, 27 strani [COBISS-SI-ID – 53281795]
- FORSTER, Y., KAMMAR, O., LINDLEY, S., PRETNAR, M. (2019). On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control. Journal of Functional Programming, ISSN - 1469-7653, 2019, vol. 29, E15, 43 strani [COBISS-SI-ID – 18852441]
- LOKAR, Matija, PRETNAR, Matija. A low overhead automated service for teaching programming. Koli Calling '15: Proceedings of the 15th Koli Calling Conference on Computing Education Research, 2015, 132–136 [COBISS-SI-ID – 17536089]