Pogojev za vključitev v delo ni.
Simbolno računanje in dinamična geometrija *
2024/2025
Program:
Enoviti magistrski študijski program 2. stopnje Pedagoška matematika
Letnik:
4 ali 5 letnik
Semester:
prvi
Vrsta:
obvezni
ECTS:
5
Jezik:
slovenski
Nosilec predmeta:
Izvajalec (kontaktna oseba):
Ure na teden – 1. semester:
Predavanja
2
Seminar
0
Vaje
0
Laboratorij
2
Vsebina
Informacijsko-komunikacijska tehnologija (IKT) pri poučevanju in učenju informatike, matematike in naravoslovja. Prednosti in slabosti. Vpliv IKT na učne vsebine, učni proces in razvoj logičnega mišljenja. Načrtovanje učinkovite rabe IKT.
Sistemi za dinamično geometrijo. Interaktivne projekcije, transformacije in konstrukcije. Avtomatsko določanje geometrijskih mest. Eksperimentalno odkrivanje geometrijskih domnev. Uporaba simetrije. Analitična geometrija. Grafični prikazi.
Sistemi za simbolno računanje. Zmogljivosti in omejitve. Predstavitev in poenostavljanje objektov. Algebraični algoritmi. Programski konstrukti. Predstavitev znanja. Grafika in zvok. Delovni zvezki. Priprava izobraževalnih gradiv. Računalniško podprto samoocenjevanje.
Temeljni literatura in viri
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
Cilji in kompetence
Študent se usposobi za samostojno kompetentno uporabo sistemov za simbolno računanje in dinamično geometrijo v pedagoške namene in za kritično presojanje vloge informacijsko-komunikacijske tehnologije pri pouku informatike, matematike in naravoslovja.
Predvideni študijski rezultati
Študentje poznajo:
- osnove delovanja sistemov za simbolno računanje in dinamično geometrijo
- zmogljivosti sistemov za simbolno računanje in dinamično geometrijo
Metode poučevanja in učenja
predavanja, vaje, domače naloge, konzultacije
Načini ocenjevanja
Način: domače naloge, projektno delo, pisni in/ali ustni izpit.
ocene: 1-5 (negativno), 6-10 (pozitivno)
Reference nosilca
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]
