There are no prerequisites.
Modern trends in the teaching of mathematics *
Possible mathematical and technology oriented contents in high school syllabus.
Problems and goals of mathematics education regarding technology development. New mathematical contents related to computer technologies. Learning and teaching matematics with technology. Problem solving. Concrete examples of modern problem solving and technology supported mathematics teaching.
- A. Engel: Exploring mathematics with your computer, Washington : The Mathematical Association of America, cop. 1993.
- A. Orton: Learning Mathematics: Issues, theory and classroom practice, 3rd ed., London : Continuum, 2004.
- D. L. Ronis: Problem-based learning for math & science : integrating inquiry and the internet, 2nd ed., Thousand Oaks : Corwin Press, cop. 2008.
- M. Selinger, ed.: Teaching mathematics, London : Routledge; Milton Keynes: The Open University, 1994.
Students develop knowledge and skills necessary for the use of modern technologies in mathematics teaching.
The use of high quality modern and innovative methods in mathematics teaching.
Lectures, exercise sessions, project work, consultations
Students do their exercise assignments and a project with its presentation.
grading: 5 (fail), 6-10 (pass) (according to the Statute of UL)
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]