Ibland får man vettiga tips på programfronten.
LyX verkar ju vara en vettig, mer lättanvänd, ersättare för diverse LaTex-program.
HOL,PVS,Isabelle,B-tool är ju också intressanta program men knappast nåt för grundskoleundervisning. Däremot vore det intressant med ett program som under elevers arbetsprocess kontrollerar att lösningen så här långt är korrekt. Inte så att den berättar hur man ska göra men helt enkelt bekräftar varje steg så att man slipper "gå långt på fel stig".
(TUCS Learning And Reasoning tycks jobba på den saken så vi kanske får orsak att återkomma)
Inga kommentarer:
Skicka en kommentar