id: 06664343
dt: j
an: 2016f.00783
au: Oldenburg, Reinhard
ti: Gains and pitfalls of quantifier elimination as a teaching tool.
so: Int. J. Technol. Math. Educ. 22, No. 4, 163-167 (2015).
py: 2015
pu: Research Information Ltd, Burnham, Bucks
la: EN
cc: E30 D70 I10
ut: quantifier elimiation; mathematical formulas; calculus; mathematical logic
ci:
li: http://www.researchinformation.co.uk/time/contents/timecont.php
ab: Summary: Quantifier Elimination is a procedure that allows simplification
of logical formulas that contain quantifiers. Many mathematical
concepts are defined in terms of quantifiers and especially in calculus
their use has been identified as an obstacle in the learning process.
The automatic deduction provided by quantifier elimination thus allows
students to exercise the formulation of concepts using quantifiers.
This may be seen as conceptual modelling.
rv: