Search
Search Results
-
Verification of human-level proof steps in mathematics education
345-362Views:11Automated mathematics tutorial systems need support from a reasoning module which can verify the correctness of students' contributions. However, current systems typically do not reason at a level similar to the student's reasoning level, and do not fully account for underspecified or ambiguous inputs. We present a domain-independent method for automatically verifying correct proof steps and detecting standard reasoning errors. We use a depth limited BFS proof search to determine and maintain multiple possible interpretations consistent with the given proof step, we are able to resolve or otherwise propagate underspecification and ambiguity which occurs due to unrestricted user input. Our approach has been implemented in ΩmegaCoRe. -
Comparing the IT skills and the programming knowledge of Hungarian students specialized in informatics with Romanian students attending a science course or a mathematics-informatics course
21-40Views:33The goal of this research is an analysis of the IT skills and programming knowledge of Hungarian and Romanian students attending a Science course or a Mathematics-Informatics course. Analysed was how effectively can students from different grades answer questions dealing with different subjects. After having evaluated the test results correctness of the original presumption emerged. Significance level was 5% through the analysis. Significant divergency in knowledge of Hungarian students and Romanian students of Humanities (Profil Uman) was found in 11th and 12th grades too. Romanian students attending a science course (Profil Real) and a Mathematics-Informatics course scored higher in programming than their Hungarian counterparts specialized in Informatics in the 11th grade. After the evaluation a final conclusion can be made: Romanian students of the Real Profile have the same or more practice in programming than Hungarian students specialized in Informatics, though the latters have the same or better IT skills. Unfortunately, Hungarian teachers concentrate on word processing and spreadsheet calculation and teach programming just for the students specialized in Informatics, although algorithm thinking would be important for every student before finishing secondary school. -
What can we learn from Tamás Varga’s work regarding the arithmetic-algebra transition?
39-50Views:82Tamás Varga’s Complex Mathematics Education program plays an important role in Hungarian mathematics education. In this program, attention is given to the continuous “movement” between concrete and abstract levels. In the process of transition from arithmetic to algebra, the learner moves from a concrete level to a more abstract level. In our research, we aim to track the transition process from arithmetic to algebra by studying the 5-8-grader textbooks and teacher manuals edited under Tamás Varga's supervision. For this, we use the appearance of “working backward” and “use an equation” heuristic strategies in the examined textbooks and manuals, which play a central role in the mentioned process.
Subject Classification: 97-01, 97-03, 97D50
-
Herschel's heritage and today's technology integration: a postulated parallel
419-430Views:26During the early 20th century, advocacy of a range of mathematical technologies played a central part in movements for the reform of mathematical education which emphasised ‘practical mathematics' and the ‘mathematical laboratory'. However, as these movements faltered, few of the associated technologies were able to gain and maintain a place in school mathematics. One conspicuous exception was a technology, originally championed by the mathematician Herschel, which successfully permeated the school mathematics curriculum because of its:
• Disciplinary congruence with influential contemporary trends in mathematics.
• External currency in wider mathematical practice beyond the school.
• Adoptive facility of incorporation in classroom practice and curricular activity.
• Educational advantage of perceived benefits outweighing costs and concerns.
An analogous perspective is applied to the situation of new technologies in school mathematics in the early 21st century. At a general level, the cases of calculators and computers are contrasted. At a more specific level, the educational prospects of CAS and DGS are assessed. -
A constructive and metacognitive teaching path at university level on the Principle of Mathematical Induction: focus on the students' behaviours, productions and awareness
133-161Views:124We present the main results about a teaching/learning path for engineering university students devoted to the Principle of Mathematical Induction (PMI). The path, of constructive and metacognitive type, is aimed at fostering an aware and meaningful learning of PMI and it is based on providing students with a range of explorations and conjecturing activities, after which the formulation of the statement of the PMI is devolved to the students themselves, organized in working groups. A specific focus is put on the quantification in the statement of PMI to bring students to a deep understanding and a mature view of PMI as a convincing method of proof. The results show the effectiveness of the metacognitive reflections on each phase of the path for what concerns a) students' handling of structural complexity of the PMI, b) students' conceptualization of quantification as a key element for the reification of the proving process by PMI; c) students' perception of the PMI as a convincing method of proof.
Subject Classification: 97B40, 97C70
-
Expressiveness of programming languages and environments: a comparative study
111-141Views:31In written and oral communication tools, the support of the understanding of our message have an important role: we can increase the expressiveness and the level of understanding of our topic by approaching it in several ways, i.e. in written methods by highlighting the important parts; in oral by changing tone and other elements of non-verbal communication. In this paper programming languages and developing environments are compared with each other in terms of their methods and their level of support to the solution of programming tasks.
There is a need to have these tools in programming and, of course, in teaching programming. What are the factors that define the distinctness and the legibility of a program? What are the basic principles which give an instrument in programmers' and students' hands in order to create a properly working program from already existing algorithms in the most efficient way? We search for the answers to these questions in this paper. -
Teaching probability using graph representations
103-122Views:33The main objective of this paper is to present an elementary approach to classical probability theory, based on a Van Hiele type framework, using graph representation and counting techniques, highly suitable for teaching in lower and upper secondary schools. The main advantage of this approach is that it is not based on set theoretical, or combinatorial knowledge, hence it is more suitable for beginners and facilitates the transitions from level 0 to level 3. We also mention a few teaching experiences on different levels (lower secondary school, upper secondary school, teacher training, professional development, university students) based on this approach. -
Application of computer algebra systems in automatic assessment of math skills
395-408Views:36Mathematics is one of those areas of education, where the student's progress is measured almost solely by testing his or her ability of problem solving. It has been two years now that the authors develop and use Web-based math courses where the assessment of student's progress is fully automatic. More than 150 types of problems in linear algebra and calculus have been implemented in the form of Java-driven tests. Those tests that involve symbolic computations are linked with Mathematica computational kernel through the Jlink mechanism. An individual test features random generation of an unlimited number of problems of a given type with difficulty level being controlled flat design time. Each test incorporates the evaluation of the student's solution. Various methods of grading can be set at design time, depending on the particular purpose that a test is used for (self-assessment or administrative exam). Each test is equipped with the correct solution presentation on demand. In those problems that involve a considerable amount of computational effort (e.g. Gauss elimination), additional special tools are offered in a test window so that the student can concentrate on the method of solution rather than on arithmetic computations. (Another obvious benefit is that the student is thus protected from the risk of frustrating computational errors). Individual tests can be combined into comprehensive exams whose parameters can be set up at design time (e.g., number of problems, difficulty level, grading system, time allowed for solution). The results of an exam can be automatically stored in a database with all authentication and security requirements satisfied. -
Game theory for managers and mechanical manager students
73-91Views:25In this article we describe the second part of a case study, in which 48 Mechanical Management students were involved. The participants of the case study were MSc level students at Szent István University, Gödöllő.
In the case study we looked for methods by which we can support the most important components of competence motivation and the development of mathematical and other key competences during the mathematics lessons and individual learning.
Another goal of our research was to get reliable information about students learning methods and their awareness of self-efficiency, furthermore their achievement in the subject of Engineering and Economic Mathematics.
Detailed assistance was provided for the students in the e-learning portal. Knowledge tests, questionnaire and personal interviews with the students were also used.
During the semester four topics have been discussed: linear programming, graph theory, game theory and differential equations. In this article I will describe the lesson preparations, the help for examinations and the students' achievement on game theory. -
Teaching fractions at elementary level in the light of Hungarian mathematics textbooks in Romania
149-159Views:80According to the new curriculum in Romania, fractions are introduced in the second grade. The present study analyses Hungarian elementary mathematics textbooks on the topic of fractions focusing on the types of tasks in the textbooks, the significance of representations and the proportion of word problems. Additionally, the paper presents a questionnaire-based research on teachers’ opinion regarding the adequacy and sufficiency of the digital materials and exercises related to fractions in the textbooks.
Subject Classification: 97F40, 97F80, 97U20, 97U50
-
Conventions of mathematical problems and their solutions in Hungarian secondary school leaving exams
137-146Views:8Collecting and analyzing the conventions indispensable for interpreting mathematical problems and their solutions correctly assist successful education and objective evaluation. Many professional and didactic questions arose while collecting and analyzing these conventions, which needed clarification, therefore the materials involved concisely in the conventions enrich both the theory and practice of mathematics teaching. In our research we concentrated mainly on the problems and solutions of the Hungarian school leaving examinations at secondary level in mathematics. -
Fuzzy Datalog with background knowledge
257-281Views:13In this paper we give a possible model for handling uncertain information. The concept of fuzzy knowledge-base will be defined as a triplet of a background knowledge defined by the similarity of predicates and terms; a deduction mechanism: a fuzzy Datalog program, and a decoding set of the program, which help us to determine the uncertainty level of the results. -
Analysing the effects of OOP helper application
65-75Views:25Nowadays students of secondary schools are familiar with the usage of computer very soon, lot of them are even capable of handling user applications very cleverly. This is satisfying for most of them. Those who imagine their future in programming or system developing, need to have deeper knowledge about object oriented programming, however, students do have it at very low level or not at all. We want to make sure whether this suppose is true, so different examinations have recently been made at Slovakian secondary schools with Hungarian teaching language. We have reached a conclusion that the students' knowledge of object oriented programming is deficient. We could achieve better results by using proper applications as a visual aid. In this paper we examine the efficiency of an application made by us. -
Teaching agile operation and leadership through linked university courses
1-32Views:100Agile software development methods, especially Scrum, are commonly used in software development companies. For this reason, our goal was that our undergraduate students gain experience as Scrum development team members and our master's students as agile leaders. To this end, we had redesigned and linked an undergraduate and a master's course, and launched the new course in the spring of 2021. The success of our approach was confirmed by a questionnaire survey of 86 undergraduate and 27 master's students. A/B testing was also performed. Our approach is a novelty compared to solutions where the Scrum Master is a course member, an instructor, or a university employee. In addition to being resource-efficient, it also offers master's students an unparalleled opportunity to develop agile leadership skills.
Subject Classification: 97U50
-
The requirements in statistics education – comparison of PISA mathematical tasks and tasks from the mathematical textbooks in the field of statistics
263-275Views:34This 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. -
Research on IT language use at a company
203-219Views:33The 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. -
Nice tiling, nice geometry!?!
269-280Views:38The squared papers in our booklets, or the squared (maybe black and white) pavements in the streets arise an amusing problem: How to deform the side segments of the square pattern, so that the side lines further remain equal (congruent) to each other? More precisely, we require that each congruent transformation of the new pattern, mapping any deformed side segment onto another one, leaves the whole (infinitely extended) pattern invariant (unchanged).
It turns out that there are exactly 14 types of such edge-transitive (or so-called isotoxal) quadrangle tilings, sometimes with two different forms (e.g. black and white) of quadrangles (see Figure 2). Such a collection of tiling can be very nice, perhaps also useful for decorative pavements in streets, in flats, etc.
I shall sketch the solution of the problem that leads to fine (and important) mathematical concepts (as barycentric triangulation of a polygonal tiling, adjacency operations, adjacency matrix, symmetry group of a tiling, D-symbol, etc). All these can be discussed in an enjoyable way, e.g. in a special mathematical circle of a secondary school, or in more elementary form as visually attractive figures in a primary school as well.
My colleague, István Prok [11] developed an attractive computer program on the Euclidean plane crystallographic groups with a nice interactive play (for free download), see our Figures 3-5.
A complete classification of such Euclidean plane tilings (not only with quadrangles) can be interesting for university students as well, hopefully also for the Reader (Audience). This is why I shall give some references, where you find also other ones.
Further problems indicate the efficiency of this theory now. All these demonstrate the usual procedure of mathematics and the (teaching) methodology as well: We start with a concrete problem, then extend it further, step-by-step by creating new manipulations, concepts and methods. So we get a theory at certain abstraction level. Then newer problems arise, etc.
This paper is an extended version of the presentation and the conference paper [7]. The author thanks the Organizers, especially their head Professor Margita Pavlekovic for the invitation, support and for the kind atmosphere of the conference. -
The development of geometrical concepts in lower primary mathematics teaching: the square and the rectangle
153-171Views:41Our research question is how lower primary geometry teaching in Hungary, particularly the concept of squares and rectangles is related to the levels formulated by van Hiele. Moreover to what extent are the concrete activities carried out at these levels effective in evolving the concepts of squares and rectangles.
In the lower primary geometry teaching (classes 1-4) the first two stages of the van Hiele levels can be put into practice. By the completion of lower primary classes level 3 cannot be reached. Although in this age the classes of concepts (rectangles, squares) are evolved, but there is not particular relationship between them. The relation of involvement is not really perceived by the children. -
Engineering and Economic Mathematics for Engineering Management Students
35-50Views:35In this article we describe the first part of a case study, which was made with 48 Engineering Management students. The participants of the case study were MSc level students at the Szent István University, Gödöllő. We looked for methods by which we can support the most important components of competence motivation and the development of mathematical and other key competences during the mathematics lessons and individual learning. Another goal of our research was to get reliable information about students learning methods and their awareness of self-efficacy, furthermore their achievement in the subject of Engineering and Economic Mathematics. Detailed assistance was provided for the students in the e-learning portal. Knowledge tests, questionnaire and personal interviews with the students were also used. As an example we introduce one of the knowledge tests connected with the first half of the course about linear programming and graph theory. We detail its didactical background and show the results of the students. -
Teaching word processing – the practice
247-262Views:20I compared two surveys, which were aimed to check the word processing ability of students in high schools and universities. The surveys were carried out ten years apart from one another, in 1997 and 2006. The results clearly show that most of the students are not able to use word processors properly. In the survey of 1997 I found explanation for this underperformance in the lack of computers and teachers. However, the results of the second survey did not prove any better than the results of the first, and in 2006 neither the number of computers nor the number of teachers can be blamed. What else then? I suggest that the reason for this general ignorance, for this `modern illiteracy' is the ignorance of the teachers. Until the teachers are not prepared and the senior students of the universities leave the education system without a proper knowledge of the required subjects, there is little chance that they would be able to teach word processing at a satisfactory level. -
The mathematics textbook as an aid to differentiation: a first Hungarian example
35-53Views:25Differentiation is a way of teaching where each student is taught according to his/her personal needs. This technique is not widely used in Hungary yet, although this would be necessary due to the introduction of the two-level final examination and to a growing concern for equal opportunities and integrated teaching. One of the most significant aids to differentiation is an appropriate textbook, and that is why a group of professionals wrote a set of textbooks that supports this technique. The paper examines the requirements for a differentiated textbook, and the extent to which the textbook in question meets them. -
Teaching puzzle-based learning: development of transferable skills
245-268Views:37While computer science and engineering students are trained to recognise familiar problems with known solutions, they may not be sufficiently prepared to address novel real-world problems. A successful computer science graduate does far more than just program and we must train our students to reach the required levels of analytical and computational thinking, rather than hoping that it will just 'develop'. As a step in this direction, we have created and experimented with a new first-year level course, Puzzle-based Learning (PBL), that is aimed at getting students to think about how to frame and solve unstructured problems. The pedagogical goal is increase students' mathematical awareness and general problem solving skills by employing puzzles, which are educational, engaging, and thought provoking. In this paper we continue sharing our experiences in teaching such a course. Whereas a brief discussion on our pedagogical objectives were covered in the first paper together with the material of the first of two lectures on pattern recognition, this follow-up paper presents the material of the second of two lectures, in which additional exercises are discussed to reinforce the lesson. Along the way we provide a glimpse of some foundational ideas of computer science such as incomputability and general system development strategies such as incremental and iterative reasoning. This paper discusses the outcomes of PBL courses, which include expected improvement in the overall results achieved by students who have undertaken PBL courses, compared to those students who have not. -
Darstellungen und Vorstellungen und ihre Bedeutung für eine wirksame Metakognition beim Problemlösen und Begründen
195-220Views:27Metacognition has one of the highest effect sizes concerning successful learning. However metacognitive activities during task solving and problem solving are not directly obvious. But they can appear by writing someone's thoughts down. The following analysis, which focusses on the level of argumentation as well as on the way of derivation, shows that the quality of representation is an essential condition for the possibility of metacognition. -
Our digital education habits in the light of their environmental impact: the role of green computing in education
69-86Views:121With the increasing use of IT tools, the environmental impacts they generate have also increased. Education is increasingly relying on digital tools to become a major emitter of CO2 itself. Therefore, the task of education is to teach future generations how to use IT tools efficiently while being environmentally aware. In addition to some forms of green computing, we show the level and ratio of those teachers who have corresponding IT knowledge in the Hungarian education. In this study, we present the justification of the problem through a case study, which estimates the Internet traffic of a website streaming popular educational resources. In addition, we will examine the extent to which national and international educational organization and guidance documents address the development of digital environmentally aware thinking. Based on the content of this study, we suggest some considerations for content developers to decide if they really need to create the digital content.
Subject Classification: 97P99, 94-06, 94-02
-
Examples of analogies and generalizations in synthetic geometry
19-39Views:30Teaching 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.