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 *
2021/2022
Programme:
Mathematics Education
Year:
4 ali 5 year
Semester:
first
Kind:
mandatory
ECTS:
5
Language:
slovenian
Course director:
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]
