Auteur principal			Co-auteurs(s)
Nom :	Ms Marina Issakova		Nom :	Mr Dmitri Lepp
Courriel :	marinai@ut.ee		Courriel :	dmitri@ut.ee
Institution ou compagnie:	University of Tartu		Nom :
Département:	Institute of Computer Science		Courriel :
Ville :	Tartu		Nom :
État/Province :			Courriel :
Pays :	Estonia		Nom :
Type de présentation:	Conférence :  25 minutes.		Courriel :
Conférence et numéro :	ACDCA ,    Numéro : A11		Horaire :   Local :	dimanche, 11h30   1340
Site Internet :
Titre de la communication :	Rule dialogue in problem solving environment T-Algebra
Résumé de la communication :
T-Algebra is an environment for solving algebraic problems enabling step-by-step problem solution in four fields of mathematics: calculation of the values of numerical expressions; operations with fractions; solution of linear equations, inequalities and linear equation systems; simplification and factorisation of polynomials. Work in the T-Algebra environment proceeds by the steps described in the algorithms taught at school. Each solution step in T-Algebra consists of three stages: selection of the rule; determination of the object(s) of the rule; entering of the result of the application of the rule. The last stage may occur in three different modes: direct input of the result; structured input of the result – entering in the fixed template; construction of the result from the components. The scheme above requires the students to notify to the program how they want to modify the expression, which provides the possibility to check. T-Algebra enables the checking of both the knowledge of solution algorithms and the skills of applying different rules. The system diagnoses the student’s errors and offers help at each stage of the step. Checks are performed on the correspondence of the selected rule to the algorithm; the suitability of the marked elements to the selected rule; the understanding of how a new expression is built; and the finding of the components of the new expression. The report introduces in more detail the rules obtained and examines some of the characteristic rules stage-by-stage. Examples are given of problem solution in different modes to demonstrate the program’s capabilities to identify the mistakes made and provide advice to correct them.