A technological approach to teaching inequalities, propositional and predicate logic

  • A conceptual understanding of inequalities and logic is essential for success in most of mathematics and its applications. E.g., it is indispensable for the learning of calculus because inequalities and logic are the tools that are used to express intuitive ideas about rates, changes and limits in a formal way that is required to give proofs. We show that GeoGebra and especially GeoGebra Discovery can be used to support the learning of these foundations. It will be shown that propositional logic is already supported well in GeoGebra and that support for predicate logic is realized in the experimental fork GeoGebra Discovery.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Zoltán Kovács, Reinhard OldenburgORCiDGND
URN:urn:nbn:de:bvb:384-opus4-1138411
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/113841
URL:https://nbn-resolving.org/urn:nbn:de:0074-3717-7
ISSN:1613-0073OPAC
Parent Title (English):PAAR+SC-Square 2024 - Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2024: joint proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024, co-located with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), July 2, 2024, Nancy, France
Publisher:CEUR-WS
Place of publication:Aachen
Editor:Chris Brown, Daniela Kaufmann, Cláudia Nalon, Alexander Steen, Martin Suda
Type:Conference Proceeding
Language:English
Year of first Publication:2024
Publishing Institution:Universität Augsburg
Release Date:2024/07/03
First Page:122
Last Page:131
Series:CEUR Workshop Proceedings ; 3717
Institutes:Mathematisch-Naturwissenschaftlich-Technische Fakultät
Mathematisch-Naturwissenschaftlich-Technische Fakultät / Institut für Mathematik
Mathematisch-Naturwissenschaftlich-Technische Fakultät / Institut für Mathematik / Lehrstuhl für Didaktik der Mathematik
Dewey Decimal Classification:5 Naturwissenschaften und Mathematik / 51 Mathematik / 510 Mathematik
Licence (German):CC-BY 4.0: Creative Commons: Namensnennung (mit Print on Demand)

OPUS4 Logo