Search
Search Results
1 - 25 of 25 items
-
Teaching model-based testing
1-17Views:1208Different testing methodologies should play an important role in the education of informatics. In the model-based testing (MBT) approach, the specification of the system is described with a formal model. This model can be used to revise the correctness of the specification and as a starting point for automatic test generation. The main problem with MBT is however, that there is a huge gap between theory and practice and that this approach has a high learning curve. To cope with these problems, current paper shows, how the MBT approach can be introduced to students through a small scale example.
Subject Classification: P50
-
Various systems in a single mathematical model
1-13Views:4Our aim is to study differential equations and systems described by them which have great historical importance and are considered to be fundamental on different levels of education.
Due to their simplicity these are suitable for those who deal with this topic and want to gain useful experience in this field.
Furthermore, our aim is to give these equations a general form which facilitates the studying of the different models by computer even for an individual programmer. At the same time it facilitates the use of different mathematical auxiliary-programmes.
By giving the equations this way we get a chance of studying the relations between the individual systems. -
Metadata and education
325-343Views:37This article is a (possible) conceptual educational model, which introduces data representation, information storage and retrieval possibilities on the Web in a way analogous to the levels of organization of metadata.
The model uses the traditional library and information systems as a starting point, referring to the levels and types of information organization, and describes directions of its development. General acquaintance with the dominant organizational levels and types helps to understand the information organization on the internet, the coexistence of both structured and unstructured elements, the closedness and deficiencies of the content of information, and also helps to find possible ways of correcting these deficiencies. One of the main advantages of model-driven approaches is that they, by using the well-known classical systems, make tangible the development of physical and content data organization types and levels of organization of information for medical students that usually do not possess informatics knowledge.
The conceptual model presented in details in the article can provide a basis for a general introduction to metadata and to develop curricula equally appropriate for traditional face to face classes, trainings and online courses. -
Potential, actual and practical variations for teaching functions: cases study in China and France
157-166Views:77This contribution is based on two major hypotheses: task design is the core of teachers’ work, and variation is the core of task design. Taking into account variation in task design has a profound theoretical foundation in China and France. Developing my PhD with two co-supervisors, in China and France, I wish to seize this opportunity for constructing an analytic model of “teaching mathematics through variation” making profit of this theoretical diversity. This model distinguishes between potential variation and practical variation and is based on the process of transforming potential variation into actual variation, and of using practical variation for rethinking potential variation. The design of this model is based both on theoretical networking, and on case studies, in France and China. In this contribution, we will focus on a critical aspect in the two cases, from potential to practical variation.
Subject Classification: 97-06
-
The mathematics teacher trainee as an assistant teacher
295-306Views:23The experiment described in the article aims to answer two needs at once: that of assistant teachers in schools, and that of a more practical training of mathematics teachers. The answer suggested is a model of school experience where mathematics teacher trainees work as assistant teachers in schools. An attempt to realize this model is described, and it is evaluated positively. -
Proof step analysis for proof tutoring - a learning approach to granularity
325-343Views:32We present a proof step diagnosis module based on the mathematical assistant system Ωmega. The task of this module is to evaluate proof steps as typically uttered by students in tutoring sessions on mathematical proofs. In particular, we categorise the step size of proof steps performed by the student, in order to recognise if they are appropriate with respect to the student model. We propose an approach which builds on reconstructions of the proof in question via automated proof search using a cognitively motivated proof calculus. Our approach employs learning techniques and incorporates a student model, and our diagnosis module can be adjusted to different domains and users. We present a first evaluation based on empirical data. -
Beweise von Sätzen mit Hilfe der Modelle der hyperbolischen Geometrie
159-167Views:23We give simple proofs for some problems of elemental hyperbolic geometry using the Poincare's half-sphere model. Our method is that a point of a figure is transformed to a special point of the model. -
The investigation of students' skills in the process of function concept creation
249-266Views:24Function is a basic concept of mathematics, in particular, mathematical analysis. After an analysis of the function concept development process, I propose a model of rule following and rule recognition skills development that combines features of the van Hiele levels and the levels of language about function [11]. Using this model I investigate students' rule following and rule recognition skills from the viewpoint of the preparation for the function concept of sixth grade students (12-13 years old) in the Ukrainian and Hungarian education system. -
Charakteristische Dreieckpunkte in der projektiv-erweiterten hyperbolischen Ebene
299-315Views:9Some basic planimetric constructions regarding segments, angles and triangles are shown in the Cayley-Klein model of the hyperbolic plane. Relationship with the situation in the Euclidean plane is given. H-triangles are classified considering the location of their vertices and sides with respect to the absolute. There are 28 types of triangles. It is shown that there exist 12 pairs of dual triangles, while 4 types of triangles are dual to themselves. For every type of triangle the existence and number of the characteristic points are determined. Few examples of triangles with construction of their characteristic points, incircles and circumcircles are given. -
Categorising question question relationships in the Pósa method
91-100Views:66The doctoral research of the author – with a reverse didactic engineering (RDE) methodology – aims at reconstructing the theoretical background of the ‘intuitively developed’ Pósa method for inquiry-based learning mathematics (IBME) in Hungarian talent education. Preliminary results of the second step of this theorization is presented, which applies tools of the Anthropological Theory of the Didactic (ATD). A model is proposed for categorizing question-question relationship with 3 categories: helping question, follow-up question and question of a kernel. The first two of them are claimed to represent two types (relevant or not) of generating-derived questions relationship. The model is also a prospective tool for connected task- and curriculum design and analysis within IBME development.
Subject Classification: 97D20, 97D40, 97D50, 97E50, 97K30
-
Information System’s experiences of EGERFOOD project making use of it in the education of the database management
197-210Views:28We present in this article the background of a developed food safety tracking system searched and formed in the Regional Knowledge Centre of Eszterházy Károly College, the requirements following from this, and by way of the requirements towards the information system appearing expectations. The development of the consumer centre system is a complex task which provides fast and cost-effective information for consumers, food producers and concerned authorities. It accomplishes severe expectations of the tracking system in connection with data security and encryption beside all this. We demonstrate in this article that forming of database model why we chose the general model. We also demonstrate what kind of SQL server we chose for buffer servers and central data warehouse. We wish to support our choosing with the result of done efficiency examinations. It is important viewpoint what kind of database planning principles we base these examinations on and how we match them to the requirements of the system. As software engineers took part in the development effectively from the first minute of the planning of the system, we can examine with what this project work was able to raise students' qualification and knowledge in addition to the general curricular substance. -
Packings in hyperbolic geometry
209-229Views:22I am becoming older. That's why I am returning to my youth sins. "On revient toujours á ses premiers amoures". This sin was the noneuclidean hyperbolic geometry – especially the Poincaré model. I was teaching this kind of geometry over many years as well in highschool (Gymnasium) as for beginners at the university too.
A lot of results concerning packings in hyperbolic geometry are proved by the Hungarian school around László Fejes Tóth. In this paper we construct very special packings and investigate the corresponding densities. For better understanding we are working in the Poincaré model. At first we give a packing of the hyperbolic plane with horodisks and calculate the density. In an analogous way then the hyperbolic space is packed by horoballs. In the last case the calculation of the density is a little bit difficult. Finally it turns out that in both cases the maximal density is reached. -
Frequency-based dynamic models for the analysis of English and Hungarian literary works and coursebooks for English as a second language
53-70Views:35We examined the characteristics of how word types are introduced in English and Hungarian literary works as well as in English coursebooks written for second language learners. By subdividing the texts into small segments of equal length, we were able to pinpoint subtle changes in the narrative. Based on the frequency of the word types in the original text a model was generated, and applying the model artificial texts were created. By comparing the original and the artificial texts, the places where these changes within the narrative occurred, could be located. Studying coursebooks we found that their vocabulary and how they introduce word types resembled those of randomly collected and concatenated short stories. According to our observations writers of the coursebooks forget that not only should the number of word types be carefully planned, but their repetition, in sufficient number, should also be cared for. -
Die Stichprobe als ein Beispiel dafür, wie im Unterricht die klassische und die bayesianische Auffassung gleichzeitig dargestellt werden kann
133-150Views:30Teaching statistics and probability in the school is a new challenge of the Hungarian didactics. It means new tasks also for the teacher- and in service-teacher training. This paper contains an example to show how can be introduced the basic notion of the inference statistics, the point- and interval-estimation by an elementary problem of the public pole. There are two concurrent theories of the inference statistics the so called classical and the Bayesian Statistics. I would like to argue the importance of the simultaneously introduction of both methods making a comparison of the methods. The mathematical tool of our elementary model is combinatorial we use some important equations to reach our goal. The most important equation is proved by two different methods in the appendix of this paper. -
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. -
Hyperbolische 5-Rechtecke
111-123Views:25The main topic of this paper is the investigation of 5-pentagons whose interior angles are all right angles within the hyperbolic geometry (so-called 5-rectangles). Some knowledge of elementary hyperbolic geometry is required.
At first the existence of such a polygon is shown by construction within the Kleinmodel. Then two formulas due to D. M. Y. Sommerville [3] are proved. This means to juggle with trigonometric formulas of hyperbolic geometry.
In the last years a big number of papers concerning hyperbolic geometry was published. This proves that the interest in this nice discipline is growing again. -
Efficient language teaching software in a multimedia context
361-374Views:35In this article I deal with the efficiency of multimedia teaching programs, analyzing possibilities for their improvement in the field of language teaching. This research has been carried out with the use of the latest technologies, language teaching software, internet based language teaching applications, digital dictionaries, online content, and the latest results from the field of computational linguistics. The goal of my research is to create a general model that serves and supports various kinds of approaches to improving efficiency; I cannot attempt to present a complete, detailed analytical review due to the complexity and size of this topic. However, my opinion is that by considering and understanding the theoretical aspects of the subject, and supported by certain important ideas, we will be able to achieve remarkable improvements in the field of learning efficiency and knowledge retention in the language teaching and learning process that might lead to outstanding results. -
The "Teaching Mathematics and Computer Science" Journal logo's mathematical background
55-65Views:3In the present contribution we give an elementary technology for drawing the geodesics, paracycles and hypercycles on the pseudosphere. -
On the relationship between Mathematics- and Computer Science Education
15-34Views:78In the first half of the paper, the profile of the two scientific disciplines of Mathematics Education and Computer Science Education is traced. In Mathematics Education, the description has been given in a short longitudinal section of its preying cornerstones since the beginning of the 1960s. In Computer Science Education, this is done through the description of an emancipatory science that has been taking place since the beginning of the 1990s. The second half of the contribution, with the discussion of the different perspectives of the two disciplines on the common topics of modeling and competence models, finally leads to the identification of the two disciplines as two autonomous and independent sciences.
-
Über den Vergleich des mathematischen bzw. mathematikdidaktischen Vektorbegriffs durch den Galois-Graphen
1-12Views:47In this article we show how to apply the method of Galois-graph – one of the means of the formal concept-analysis in order to coordinate the mathematical and didactical requirements. As an example we have chosen the concept of the "vector". As a result of the analysis it is proved that, in elaborating the right vector concept the geometric and algebraic foundations are both needed. The analysis also points out that the geometric model, based on the concept of the "directed segment" is unnecessarily overemphasized in the East-European education. -
Analyse von Lösungswegen und Erweiterungsmöglichkeiten eines Problems für die Klassen 7–11
231-249Views:31Making several solutions for a problem i.e. the generalization, or the extension of a problem is common in the Hungarian mathematics education.
But the analysis of a problem is unusual where the connection between the mathematical content of the task and of its different formulations is examined, solutions from different fields of mathematics are presented regarding the knowledge of different age groups, the problem is generalized in different directions, and several tools (traditional and electronic) for solutions and generalizations are presented.
This kind of problem analysis makes it viable that during the solution/elaboration several kinds of mathematical knowledge and activities are recalled and connected, facilitating their use inside and outside of mathematics.
However, an analysis like this is not unfamiliar to the traditions of the Hungarian problem solving education – because it also aims at elaborating a problem – but from several points of view.
In this study, a geometric task is analysed in such a way. -
Classical theorems on hyperbolic triangles from a projective point of view
175-181Views:40Using the Cayley-Klein model of hyperbolic geometry and the tools of projective geometry, we present elementary proofs for the hyperbolic versions of some classical theorems on triangles. We show, in particular, that hyperbolic triangles have no Euler line. -
E-learning management systems in Hungarian higher education
357-383Views:34Computers, informatics, and information technology have an ever-increasing role in the establishment and spread of new educational forms and methods. The role of e-learning as a new educational model is increasing in the world of computer networks, because of a widespread access to the net and a growing demand for learning beside work.
Technological elements of e-learning can be separated as Learning Management System, authoring system, course material and a browser. Learning Management System is the software package that creates the structure of the whole educational process: course organisation, course material presentation, tracking student work, recording results, and the completion of the program.
This publication shows examples of Learning Management Systems used in Hungarian higher education. Summarizing and systematizing expectations and demands expressed in connection with learning management systems, the present work tries to help the reader orientate on an ever-expanding market. -
Veranschaulichung der Lehrstoffstruktur durch Galois-Graphen
217-229Views:42In this article we compare the process diagram with the Galois-graph, the two hierarchical descriptions of the curriculum's construction from the point of didactics. We present the concrete example through the structure of convex quadrangles. As a result of the analysis it is proved that the process diagram is suitable for describing the activity of pupils, still the Galois-graph is the adequate model of the net of knowledge. The analysis also points out that in teaching of convex quadrangles the constructions of curriculum based only on property of symmetry and only on metrical property are coherent. Generalizing concept is prosperous if the pupils' existing net of knowledge lives on, at most it is amplified and completed. Teaching of convex quadrangles in Hungarian education adopts this principle. -
CAS as a didactical challenge
379-393Views:33The paper starts with the discussion of a concept of general mathematics education (mathematics education for everyone). This concept views the focus of teaching mathematics in the reduction of the demands in the field of operative knowledge and skills as well as in an increase of the demands in the fields of basic knowledge and reflection. The consequences of this concept are didactically challenging for the use of Computer Algebra Systems (CAS) in the teaching of mathematics. By reducing the operative work we reduce exactly that field in which the original potential of CAS lies. It is shown that in such maths classes the main focus of CAS is on their use as a pedagogical tool, namely as support for the development of basic knowledge and reflection as well as a model of communication with mathematical experts.
1 - 25 of 25 items