Literaturnachweis - Detailanzeige
Autor/in | Oldenburg, Reinhard |
---|---|
Titel | Gains and Pitfalls of Quantifier Elimination as a Teaching Tool |
Quelle | In: International Journal for Technology in Mathematics Education, 22 (2015) 4, S.163-167 (5 Seiten)Infoseite zur Zeitschrift
PDF als Volltext |
Sprache | englisch |
Dokumenttyp | gedruckt; online; Zeitschriftenaufsatz |
ISSN | 1744-2710 |
Schlagwörter | Mathematical Concepts; Mathematical Formulas; Mathematical Applications; Calculus; Mathematics; Algebra; Mathematical Logic; Mathematics Education; Mathematical Models |
Abstract | 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. (As Provided). |
Anmerkungen | Research Information Ltd. Grenville Court, Britwell Road, Burnham, Buckinghamshire, SL1 8DF, UK. Tel: +44-1628-600499; Fax: +44-1628-600488; e-mail: info@researchinformation.co.uk; Web site: http://www.researchinformation.co.uk/time.php |
Erfasst von | ERIC (Education Resources Information Center), Washington, DC |
Update | 2020/1/01 |