Search

Published After
Published Before

Search Results

  • Linear clause generation by Tableaux and DAGs
    109-118
    Views:
    32
    Clause 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.
  • Manipulatives and semiotic tools of Game of Go as playful and creative activity to learn mathematics in early grades in France
    197-206
    Views:
    64

    This research develops resources to teach mathematics in French primary school by using the game of Go. A group of searchers, teachers and go players meet at university to produce teaching resources. These resources are implemented in the classroom. Then the group evaluate this implementation and improve the resources. The aim of this classroom research is to study the opportunities of the game of Go to learn mathematics and to propose a teacher training course to implement the game of Go in French primary schools in accordance with the French syllabus. Game of Go appears as a manipulative and semiotic tool to learn mathematics at primary school.

    Subject Classification: 97D50, 97U60

  • Our duties in talent management in the light of the results of the International Hungarian Mathematics Competition of 2017
    55-71
    Views:
    30
    The 4th International Hungarian Mathematics Competition held in Transcarpathia, Beregszász between April 28 and May 1, 2017, was organized by the Hungarian Carpathian Hungarian Teachers' Association (KMPSZ) and the Ferenc Rákóczi II. Transcarpathian Hungarian Institute (II. RFKMF).
    The venue for the competition was the building of the Ferenc Rákóczi II. Transcarpathian Hungarian Institute. 175 students participated in the competition from Hungary, Romania, Serbia, Slovakia and Transcarpathia.
    In this article, we are going to deal with the problems given in the two rounds to students in grades 5 and 6, and, in the light of expectations and performance, we make some suggestions for a more effective preparation of talented students on after-school lessons.
  • Erratum to the paper "The theory of functional equations in high school education" Teaching Mathematics and Computer Science 10/2 (2012), 345-360
    145
    Views:
    12
    A correction is necessary in subsection 2.5. although this does not affect the truth of the main formula.
  • Research on IT language use at a company
    203-219
    Views:
    38
    The aim of the research of the IT language, used in the written documents of a company, is to contribute to the creation of a (mono- or bilingual) dictionary or encyclopaedia available for the public on the Internet, serving, among others, as a reference tool for the unified, controlled and unambiguous use of IT terms for students at various educational levels. To this ongoing work, the participation and cooperation of a panel of experts of different competences, linguists as well as IT experts, is indispensable.
    The methods of corpus linguistics were used to carry out the research. The IT terms were separated from the texts and then a concordance software was used to see the environment of the IT words and phrases in which they occur. So their morphological analysis became possible.
    The results of the research showed that a great number of Hungarian morphological language use problems stem from the way the IT terms are used in the documents. This paper lists, groups, analyses these phenomena.
    The conclusions of the author are: (1) If such an Internet dictionary is used generally and consulted when e.g. somebody wants to write a composition or essay, translate an article, write a newspaper article, a scientific publication or a textbook to be taught at schools of different types and levels, etc. most of the communication noises could be filtered out. (2) At the same time it could promote the use of adequate (both in linguistic and technical meaning) Hungarian terms eliminating the "Hunglish" usage. (3) It could also contribute to the prevailing use of the relevant Hungarian terminology. Such a dictionary would be indispensable, not only in educational and industrial environments but in the electronic and traditional media as well. Last but not least, it could raise the level of different teaching materials (textbooks, e-materials, etc.) used in public and higher education.
  • An examination of descriptive statistical knowledge of 12th-grade secondary school students - comparing and analysing their answers to closed and open questions
    63-81
    Views:
    84

    In 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

  • Zoltán Szvetits (1929-2014): legendary teacher, Zoltán Szvetits passed away
    287-288
    Views:
    13
    The legendary mathematics teacher of Secondary School Fazekas in Debrecen, Zoltán Szvetits passed away on 5th November 2014, at the age of 84. Beginning in 1954 he had been teaching here almost forty years. His pupils and the society of teachers have lost an outstanding teacher character. This secondary school has been well known for decades about its special mathematics class with 10 math lessons a week. This special class was designed and established by Zoltán Szvetits.
  • Examples of analogies and generalizations in synthetic geometry
    19-39
    Views:
    30
    Teaching tools and different methods of generalizations and analogies are often used at different levels of education. Starting with primary grades, the students can be guided through simple aspects of collateral development of their studies. In middle school, high school and especially in entry-level courses in higher education, the extension of logical tools are possible and indicated.
    In this article, the authors present an example of generalization and then of building the analogy in 3-D space for a given synthetic geometric problem in 2-D.
    The idea can be followed, extended and developed further by teachers and students as well.
  • Solving mathematical problems by using Maple factorization algorithms
    293-297
    Views:
    32
    Computer algebra gives methods for manipulating mathematical expression. In this paper we use the Maple software to solve some elementary problems. Computeraided approach in the instruction of mathematics helps to impart problem solving skills to students.
  • Visualisation in geometry education as a tool for teaching with better understanding
    337-346
    Views:
    168

    In primary and secondary geometry education, some problems exist with pupils’ space thinking and understanding of geometric notions. Visualisation plays an important role in geometry education, and the development of pupils’ visualisation skills can support their spatial imagination. The authors present their own thoughts on the potential of including visualisation in geometry education, based on the analysis of the Hungarian National Core Curriculum and Slovak National Curriculum. Tasks for visualisation are also found in international studies, for example the Programme for International Student Assessment (PISA). Augmented reality (AR) and other information and communication technology (ICT) tools bring new possibilities to develop geometric thinking and space imagination, and they also support mathematics education with better understanding.

    Subject Classification: 97U10, 97G10

  • Heuristic arguments and rigorous proofs in secondary school education
    167-184
    Views:
    34
    In this paper we are going to discuss some possible applications of the mechanical method, especially the lever principle, in order to formulate heuristic conjectures related to the volume of three-dimensional solids. In the secondary school educational processes the heuristic arguments are no less important than the rigorous mathematical proofs. Between the ancient Greek mathematicians Archimedes was the first who made heuristic conjectures with the methods of Mechanics and proved them with the rigorous rules of Mathematics, in a period, when the methods of integration were not known. For a present day mathematician (or a secondary school mathematics teacher) the tools of the definite integral calculus are available in order to calculate the volume of three dimensional bodies, such as paraboloids, ellipsoids, segments of a sphere or segments of an ellipsoid. But in the secondary school educational process, it is also interesting to make heuristic conjectures by the use of the Archimedean method. It can be understood easily, but it is beyond the normal secondary school curriculum, so we recommend it only to the most talented students or to the secondary schools with advanced mathematical teaching programme.
  • Über die sogenannte Regel von de l’Hospital im Mathematikunterricht
    193-208
    Views:
    7
    The aim of this paper is to provide an insight into the problems of the socalled indeterminate expressions, in order to make the students understand them better. The paper deals with the conditions and the proof of the theorem about the limit of a quotient of certain functions of one variable, usually named after l'Hospital. The question is of some interest, since the formulation of the result in several textbooks often appears redundant and the proof is more complex than necessary. First, the historical background is briefly sketched. Second, the theorem is formulated and justified, where three different, simple proof techniques are presented. Finally, possible applications are suggested for teaching, which are usually not treated in this problem area.
  • Analysis of the affective factors of learning mathematics among teacher trainees
    225-254
    Views:
    41
    The Hungarian National Core Curricula gives primacy to the development of abilities and the practical application of knowledge. The task of the training programme is primarily to prepare teacher trainees for the teaching and educating profession. As teachers, they are going to plan, organize, help, guide, control and evaluate the learning of mathematics of individuals and groups of students from the age of 6 to 10 (12), and cultivate their mathematical skills, thinking and positive attitude towards any mathematical activities. In order to train educators who are able to meet the above requirements on high standard, it is necessary to update the teacher training programme based on the trainees' preliminary knowledge and motivation level.
    The key to learn about the child's mind and achieve conscious development is the systematization of factual knowledge and methodological awareness. The modern, flexible approach to subject pedagogy, based on pedagogy, psychology and epistemology, qualifies trainees to educate learners who understand and like mathematics. Therefore, it is essential to develop the trainees' positive approach to mathematics and arouse their demand for continuous professional improvement. (Programme of the four-year primary school teacher training, 1995.)
    In our research we are looking for ways of ascertaining the starting parameters which have influence on the planning of the studies of mathematics and subject pedagogy. In this article we introduce a questionnaire by the means of which we collected information on the trainees' attitude and its changing towards mathematics. With the help of the analysis of the answers we paint a picture of the ELTE TÓFK (Eötvös Loránd University, Faculty of Elementary and Nursery School Teacher's Training) third year students' attitude to the subject, and we compare it to the tendencies noticed in the mass education. The energy invested in learning is influenced by the assumption of the relevance and importance of the subjects. Therefore we considered it also our task to reveal. Besides the students' attitude toward mathematics and their assumption about their own competence we have collected data also on their performance in the subject. Summarising the research results we show the advantages of the questionnaire, and summarise the observations which would indicate need for methodological changes in the mathematics teacher training.
  • Mapping students’ motivation in a problem oriented mathematics classroom
    111-121
    Views:
    68

    This research focuses on mapping students’ motivation by implementing problem-solving activities, namely how the problem-oriented approach affects the students’ commitment, motivation, and attitude to learning. As a practicing teacher, the author faced difficulties with motivation and sought to improve her practice in the form of action research as described in this paper. Based on the literature, the author describes sources of motivation as task interest, social environment, opportunity to discover, knowing why, using objects, and helping others. The author discusses the effect of problem-oriented teaching on the motivation of 7th-grade students. In this paper, the results of two lessons are presented.

    Subject Classification: 97C20, 97D40, 97D50, 97D60

  • "Frontier algorithms"
    139-152
    Views:
    29
    In 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.
  • A new approach for explaining Rhind's Recto – and its utility in teaching
    337-355
    Views:
    39
    The Recto is a table in the Rhind Mathematical Papyrus (RMP) of ancient Egypt containing the unit fraction decompositions of fractions 2/n (3 ≤ n ≤ 101, n odd). To the question how (and why) the decompositions were made, there exists no generally accepted answer. The fact that in some other sources of Egyptian mathematics decompositions different from those in Recto exist makes the problem more difficult.
    Researchers normally try to find the answer in some formulas by which the entries of the table were calculated [see e.g. 1, 42]. We are convinced that the correct answer is not hidden in formulas but in the characteristics of Egyptian mathematics namely those of fraction and division concepts. To study them is important not only from historical point of view but also from methodological one: how to develop fraction concept and how to make division easier.
  • Teaching undergraduate mathematics - a problem solving course for first year
    183-206
    Views:
    103

    In this paper we describe a problem solving course for first year undergraduate mathematics students who would be future school teachers.

    Subject Classification: 97B50, 97B70, 97D50, 97D60, 97F60, 97U30

  • Young women's barriers to choose IT and methods to overcome them - A case study from Hungary
    77-101
    Views:
    176

    Women's scarcity in the STEM, especially in the IT sector is pronouncedly evident. Young women are obstructed from entering and remaining in IT by a broad range of social, educational, and labor market factors. In our paper, we would like to analyze the main barriers girls face in choosing IT, while also proposing potential methods to help them overcome these obstacles. In the second part of the paper, we will present a case study to illustrate in detail how the combination of the above methods can be put into practice to address and tackle the complex set of barriers girls face. We will first introduce a Hungarian annual program, Girls' Day ("Lányok napja"), specifically aimed to promote STEM to girls, then we will present two specific events organized for the 2020 edition of the program and designed with the above principles in mind. The interactive presentation, exposing girls to female role models of the field in a gamified way, and a game development exercise, building Scratch programming skills, have attempted to provide young women both with positive perspectives and experiences in IT, which are instrumental in helping them to surmount entrenched obstacles and raise their interest in the field.

    Subject Classification: 97P10, 97U30

  • A role of geometry in the frame of competencies attainment
    41-55
    Views:
    31
    We discuss aspects of the Education Reform from teaching to educational system. In this context we recognize some problems in recognition of some competencies that students need to achieve and we present how we have developed the measurement method of spatial abilities and problem solving competence. Especially, we investigate how students use spatial visualization abilities in solving various problems in other mathematical course. We have tested how students use their spatial abilities previously developed in geometry courses based on conceptual approach to solve a test based on procedural concept in Mathematical Analysis course.
  • A proposed application of Monte Carlo method in teaching probability
    37-42
    Views:
    48
    Pupils' misconception of probability often results from lack of experience. Combining the concept of probability and statistics, the proposed application is intended for the teachers of mathematics at an elementary school. By reformulating the task in the form of an adventure, pupils examine a mathematical problem, which is too difficult for them to solve by combinatorial method. By recommending the simulation of the problem, we have sought to provide pupils with valuable experience of experimenting, recording and evaluating data.
  • Experimentieren um einen Satz zu finden - vollständig separierbare Mosaike auf der Kugel und ihre Anwendungen
    297-319
    Views:
    25
    This paper reports a case-study which took place within the project named "Inner differentiation and individualization by creating prototypes and analogies under consideration of motivational constraints (taking into account computer-based teaching and learning)" as a part of a pre-service teacher training at the University of Salzburg (Herber, H.-J. & Vásárhelyi, É.).
    The goal of the experiment was to help students to learn the fundamental concepts and basic constructions of spherical geometry using the Lénárt Sphere (a transparent plastic ball with construction-tools) and some self-made interactive worksheets with the Windows version of the dynamical geometry software Cabri.
  • Mathematical Laboratory: Semiotic mediation and cultural artefacts in the mathematics classroom
    183-195
    Views:
    93

    Aim of this presentation is to summarize the influence of Tamas Varga on the Italian research and practice concerning didactics of mathematics since the 70s of the 20th centuries. While being in Budapest for the Conference I noticed that this influence was not known by most Hungarian mathematics educators. I guess that also in Italy, only the teacher educators of my generation know Varga’s influence on the teaching and learning of mathematics in primary school. Hence I start from a brief summary of development of mathematics curriculum in Italy (mainly in primary school) in the last decades of the 20th century. I focus some elements that may be connected with Varga’s influence and, later, some recent development of them.

    Subject Classification: 97G20, 97-U6, 97A40

  • Supporting the education of engineering mathematics using the immediate feedback method
    49-61
    Views:
    76

    In the literature, several methods are suggested to deal with problems regarding the efficiency of mathematics education including techniques that help integrate new knowledge into long-term memory. We examined how effective the application of the immediate feedback method is in teaching engineering mathematics. The article presents the method used and the results obtained during the study.

    Subject Classification: 97D40, 97D60

  • Transition from arithmetic to algebra in primary school education
    225-248
    Views:
    36
    The main aim of this paper is to report a study that explores the thinking strategies and the most frequent errors of Hungarian grade 5-8 students in solving some problems involving arithmetical first-degree equations. The present study also aims at identifying the main arithmetical strategies attempted to solve a problem that can be solved algebraically. The analysis focuses on the shifts from arithmetic computations to algebraic thinking and procedures. Our second aim was to identify the main difficulties which students face when they have to deal with mathematical word problems. The errors made by students were categorized by stages in the problem solving process. The students' written works were analyzed seeking for patterns and regularities concerning both of the methods used by the students and the errors which occured in the problem solving process. In this paper, three prominent error types and their causes are discussed.
  • Understanding the spatiotemporal sample: a practical view for teaching geologist students
    89-99
    Views:
    26
    One of the most fundamental concept of statistics is the (random) sample. Our experience – acquired during the years of undergraduate education – showed that prior to industrial practice, the students in geology (and, most probably, in many other non-mathematics oriented disciplines as well) are often confused by the possible multiple interpretation of the sample. The confusion increases even further, when samples from stationary temporal, spatial or spatio-temporal phenomena are considered. Our goal in the present paper is to give a viable alternative to this overly mathematical approach, which is proven to be far too demanding for geologist students.
    Using the results of an environmental pollution analysis we tried to show the notion of the spatiotemporal sample and some of its basic characteristics. On the basis of these considerations we give the definition of the spatiotemporal sample in order to be satisfactory from both the theoretical and the practical points of view.