Search
Search Results
-
Linear clause generation by Tableaux and DAGs
109-118Views:107Clause generation is a preliminary step in theorem proving since most of the state-of-the-art theorem proving methods act on clause sets. Several clause generating algorithms are known. Most of them rewrite a formula according to well-known logical equivalences, thus they are quite complicated and produce not very understandable information on their functioning for humans. There are other methods that can be considered as ones based on tableaux, but only in propositional logic. In this paper, we propose a new method for clause generation in first-order logic. Since it inherits rules from analytic tableaux, analytic dual tableaux, and free-variable tableaux, this method is called clause generating tableaux (CGT). All of the known clause generating algorithms are exponential, so is CGT. However, by switching to directed acyclic graphs (DAGs) from trees, we propose a linear CGT method. Another advantageous feature is the detection of valid clauses only by the closing of CGT branches. Last but not least, CGT generates a graph as output, which is visual and easy-to-understand. Thus, CGT can also be used in teaching logic and theorem proving. -
Erratum to the paper "The theory of functional equations in high school education" Teaching Mathematics and Computer Science 10/2 (2012), 345-360
145Views:88A correction is necessary in subsection 2.5. although this does not affect the truth of the main formula. -
An examination of descriptive statistical knowledge of 12th-grade secondary school students - comparing and analysing their answers to closed and open questions
63-81Views:173In this article, we examine the conceptual knowledge of 12th-grade students in the field of descriptive statistics (hereafter statistics), how their knowledge is aligned with the output requirements, and how they can apply their conceptual knowledge in terms of means, graphs, and dispersion indicators. What is the proportion and the result of their answers to (semi-)open questions for which they have the necessary conceptual knowledge, but which they encounter less frequently (or not at all) in the classroom and during questioning? In spring 2020, before the outbreak of the pandemic in Hungary, a traditional-classroom, “paper-based” survey was conducted with 159 graduating students and their teachers from 3 secondary schools. According to the results of the survey, the majority of students have no difficulties in solving the type of tasks included in the final exam. Solving more complex, open-ended tasks with longer texts is more challenging, despite having all the tools to solve them, based on their conceptual knowledge and comprehension skills. A valuable supplement to the analysis and interpretation of the results is the student attitudes test, also included in the questionnaire.
Subject Classification: 97K40, 97-11, 97D60
-
"Frontier algorithms"
139-152Views:101In this paper we present a new method to compare algorithm design strategies. As in case of frontier towns the cultures blend, the so called "frontier algorithms" are a mixture of different programming techniques like greedy, backtracking, divide and conquer, dynamic programming. In case of some of them the frontier character is hidden, so it has to be discovered. There are algorithms that combine different techniques purposively. Furthermore, determining the programming technique the algorithm is using can be a matter of point of view. The frontier algorithms represent special opportunities to highlight particular characteristics of the algorithm design strategies. According to our experience the frontier algorithms fit best to the revision classes. -
Report on the "English Language Section of Varga Tamás Days 2009"
169-175Views:103The 9th English Language Section as a part of the Varga Tamás Days was organised by the Department of Mathematics Education at the Teacher Training Institute of the Eötvös Loránd University. We report on the talks and the following discussions in this section. -
The influence of computer on examining trigonometric functions
111-123Views:103In this paper the influence of computer on examining trigonometric functions was analyzed throughout the results questionnaire. The students, as usual, had to examine two trigonometric functions, both were given with the appropriate instructions. Three groups were tested. Two of those three groups were prepared with the help of computer and the third one was taught without computer. From the analysis of the questionnaire it follows that the computer has a great influence on understanding of the connections between the graph and very complex calculations. -
Probabilistic thinking, characteristic features
13-36Views:102This paper is the first step in a series of a general research project on possible development in probability approach. Our goal is to check with quantitative methods how correct our presumptions formulated during our teaching experience were. In order to get an answer to this question, we conducted a survey among third-year students at our college about their general and scientific concepts as well as about the way they typically think. -
Mobile devices in Hungarian university statistical education
19-48Views:164The methodological renewal of university statistics education has been continuous for the last 30 years. During this time, the involvement of technology tools in learning statistics played an important role. In the Introduction, we emphasize the importance of using technological tools in learning statistics, also referring to international research. After that, we firstly examine the methodological development of university statistical education over the past three decades. To do this, we analyze the writings of statistics teachers teaching at various universities in the country. To assess the use of innovative tools, in the second half of the study, we briefly present an online questionnaire survey of students in tertiary economics and an interview survey conducted with statistics teachers.
Subject Classification: 97-01, 97U70, 87K80
-
Exploring the basic concepts of Calculus through a case study on motion in gravitational space
111-132Views:184In universities, the Calculus course presents significant challenges year after year. In this article, we will demonstrate how to use methods of Realistic Mathematics Education (RME) to introduce the concepts of limits, differentiation, and integration based on high school kinematics and dynamics knowledge. All mathematical concepts are coherently built upon experiences, experiments, and fundamental dynamics knowledge related to motion in a gravitational field. With the help of worksheets created using GeoGebra or Microsoft Excel, students can conduct digital experiments and later independently visualize and relate abstract concepts to practical applications, thereby facilitating their understanding.
Subject Classification: 97D40, 97I40, 97M50
-
Promoting a meaningful learning of double integrals through routes of digital tasks
107-134Views:355Within a wider project aimed at innovating the teaching of mathematics for freshmen, in this study we describe the design and the implementation of two routes of digital tasks aimed at fostering students' approach to double integrals. The tasks are built on a formative assessment frame and classical works on problem solving. They provide facilitative and response-specific feedback and the possibility to request different hints. In this way, students may be guided to the development of well-connected knowledge, operative and decision-making skills. We investigated the effects of the interaction with the digital tasks on the learning of engineering freshmen, by comparing the behaviours of students who worked with the digital tasks (experimental group, N=19) and students who did not (control group, N=19). We detected that students in the experimental group showed more exibility of thinking and obtained better results in the final exam than students in the control group. The results confirmed the effectiveness of the experimental educational path and offered us interesting indications for further studies.
Subject Classification: 97D40, 97U70, 44A45
-
Sage and scribe – asymmetrical pair work that can easily fit into any mathematics lesson, yet still have cooperative benefits
133-164Views:498This article uses a case study experiment to learn the characteristics of a pair work, called the sage and scribe method (Kagan, 2008). We also wished to explore the positive and negative effects of the systematic application of this single cooperative element without any other structural changes during the lessons. In the case study experiment, we asked two teachers, accustomed to traditional frontal teaching methods, to substitute individual work tasks in their standard lesson plans with the sage and scribe method. Our experiments indicate that this method wastes insignificant time, requires little extra effort on the part of the teacher, yet has many of the positive effects of cooperative methods: in our experiments, students received immediate feedback, corrected each other’s mistakes, learned from each other in meaningful discussions and engaged in collaborative reasoning to address emerging problems.
Subject Classification: 97D40
-
Un point d'heuristique important et mal connu: la particularisation
235-245Views:104Cet article est consacré á la présentation d'un point d'heuristique d'une grande importance et sur lequel on insiste trés peu dans notre enseignement. C'est donc une cause fréquente d'échec pour de nombreux éléves. Il s'agit du procédé consistant á particulariser lorsqu'on dispose d'une hypothése dont l'énoncé commence par "quel que soit...". Plusieurs exemples dans divers domaines des mathématiques sont proposés.
This article is devoted to the presentation of a point of heuristics of a great importance, and on which we do not lay much emphasis in our teaching. Then, it is a frequent cause of failure for many pupils. It concerns the followings process: to particularize when we dispose of an hypothesis that begins "For any...". Several examples in various domains of mathematics are proposed. -
"How to be well-connected?" An example for instructional process planning with Problem Graphs
145-155Views:183Teachers’ design capacity at work is in the focus of didactical research worldwide, and fostering this capacity is unarguably a possible turning point in the conveyance of mathematical knowledge. In Hungary, the tradition hallmarked by Tamás Varga is particularly demanding towards teachers as they are supposed to be able to plan their long-term processes very carefully. In this contribution, an extensive teaching material designed in the spirit of this tradition will be presented from the field of Geometry. For exposing its inner structure, a representational tool, the Problem Graph is introduced. The paper aims to demonstrate that this tool has potential for analyzing existing resources, helping teachers to reflect on their own preparatory and classroom work, and supporting the creation of new designs.
Subject Classification: 97D40, 97D50, 97D80, 97G10, 97U30
-
A didactic analysis of merge sort
195-210Views:115Due to technical difficulties, educators teaching merge sort often avoid the analysis of the cost in the general and average cases. Using basic discrete mathematics, elementary real analysis and mathematical induction, we propose a self-contained derivation of bounds αn log_2 n + βn + γ in all cases. Independent of any programming language or pseudo-code, supported by intuitive figures, it is suitable for informatics students interested in the analysis of algorithms. It is also a good exercise in showing that induction allows us to actually discover constants, instead of simply checking them a posteriori. -
Freudenthal fantasy on the bus, an American adaptation
133-142Views:147In the 1960’s two mathematicians, Hans Freudenthal in the Netherlands and Tamás Varga in Hungary, had argued that people learn mathematics by being actively involved and investigating realistic mathematical problems. Their method lives on in today’s teaching and learning through the various components of cooperative and active learning, by taking ownership in learning, and learning through student dialogue. The goal is to create a welcoming classroom atmosphere in which play takes the front seat. One such scenario is visiting various (animal) stations at the zoo by bus (illustrated by pictures). Passengers are getting on and off the bus at each station (illustrated by arrows), which is modeled on the open number line. This adapted and modified action research was carried out with 5-yearl-old children in public schools of Staten Island, NY in 2019.
Subject Classification: 97D40, 97F20, 97F30
-
The requirements in statistics education – comparison of PISA mathematical tasks and tasks from the mathematical textbooks in the field of statistics
263-275Views:111This work presents the results of the analysis of both PISA items and Croatian mathematical textbooks in the field of statistics.
The analysis shows that PISA's released statistics problems have in many ways different mathematical requirements from the requirements of textbook problems in the statistics chapters, with respect to the mathematical activities, complexity and in the forms of questions. The textbook analysis shows that mathematical examples and problems often require operation and interpretation skills on a reproductive or connections level. Statistics textbook problems are given in the closed-answer form. The results also show that while PISA puts strong emphasis on the statistics field, in the current Croatian curriculum this field is barely present. These discrepancies in requirements and portion of statistics activities surely affect the results of Croatian pupils on PISA assessment in the field of mathematical literacy. -
"On the way" to the function concept - experiences of a teaching experiment
17-39Views:175Knowing, comprehending and applying the function concept is essential not only from the aspect of dealing with mathematics but with several scientific fields such as engineering. Since most mathematical notions cannot be acquired in one step (Vinner, 1983) the development of the function concept is a long process, either. One of the goals of the process is evolving an "ideal" concept image (the image is interrelated with the definition of the concept). Such concept image plays an important role in solving problems of engineering. This study reports on the beginning of a research aiming the scholastic forming of the students' function concept image i.e. on the experiences of a "pilot" study. By the experiment, we are looking for the answer of the following question: how can the analysis of such function relations be built into the studied period (8th grade) of the evolving process of the function concept that students meet in everyday life and also in engineering life?
Subject Classification: D43, U73
-
Zur Visualisierung des Satzes von Pythagoras
217-228Views:67In this article we make a study of a not-classical visualization of the theorem of Pythagoras using methods of elementary school geometry. We find collinear points, copoint straight lines and congruent pairs of parallelograms. The configuration of their midpoints induces a six-midpoint and a four-midpoint theorem. -
Cultivating algorithmic thinking: an important issue for both technical and HUMAN sciences
107-116Views:119Algorithmic thinking is a valuable skill that all people should master. In this paper we propose a one-semester, algorithm-oriented computer science course for human science students. According to our experience such an initiative could succeed only if the next recipe is followed: interesting and practical content + exciting didactical methods + minimal programming. More explicitly, we suggest: (1) A special, simple, minimal, pseudo-code like imperative programming language that integrates a graphic library. (2) Interesting, practical and problem-oriented content with philosophical implications. (3) Exciting, human science related didactical methods including art-based, inter-cultural elements.
