Articles

• Teaching Java programming using case studies

  245-256

  Zoltán Juhász

  Marián Juhás

  Ladislav Samuelis

  Csaba Szabó

  Views:

  11

  The paper deals with the technical background and the pedagogical issues of a specific implementation for the collection, assessment and archiving of the students' assignments written in Java. The implemented system automatically applies object-oriented metrics on the collected works in order to measure the characteristic features of the assignments. Tutors use these results for the detection of plagiarisms and for the selection of outstanding works. The paper interprets the measured values within a real Java course held in the 3rd term of the Informatics bachelor study programme at the technical university. Students have several case studies devoted to the simulation of the ATM (Automatic Teller Machine) at disposal. We conclude that the access to the analyzed pool of case studies, blended with the Sun Learning Connection license from the Sun Microsystems, Inc., is an effective way of teaching programming in Java.

  PDF

  3

• Compositions of dilations and isometries in calculator-based dynamic geometry

  257-266

  Jack A. Carter

  Beverly J. Ferrucci

  Views:

  33

  In an exploratory study pre-service elementary school teachers constructed dilations and isometries for figures drawn and transformed using dynamic geometry on calculators. Observational and self assessments of the constructed images showed that the future teachers developed high levels of confidence in their abilities to construct compositions of the geometric transformations. Scores on follow-up assessment items indicated that the prospective teachers' levels of expertise corresponded to their levels of confidence. Conclusions indicated that dynamic geometry on the calculator was an appropriate technology, but one that required careful planning, to develop these future teachers' expertise with the compositions.

  PDF

  3

• CALIBRATE and CAS/DGS resources

  267-279

  Vladimir Batagelj

  Iztok Kavkler

  Matija Lokar

  Views:

  31

  The CALIBRATE project was initiated by the EU with the goal of expanding the use of ICT in education by increasing the amount of available learning resources via resource exchange. Although CAS/DGS can be used to easily create high quality learning resources which are also easily adaptable across national boundaries, such resources are difficult to find at CALIBRATE portals. We believe that this is due to CAS/DGS still being rather exotic to most of the people as well as with the common problem of finding existing appropriate resources. A possible solution is for CALIBRATE portals to properly equip existing and forthcoming CAS/DGS resources with suitable metadata and to provide some integration with CAS/DGS tools, enabling both beginners and power users to create and exchange CAS/DGS resources.

  PDF

  2

• On an analogy between spreadsheets and dynamic geometry environments

  281-288

  Reinhard Oldenburg

  Views:

  34

  There is a strong analogy between the fundamental way of operation of spreadsheet programs (SP) and dynamics geometry environments (DGE). We explain this analogy, demonstrate it in examples and consider didactical consequences.

  PDF

  3

• Teaching of financial mathematics using Maple

  289-301

  Roman Hašek

  Vladimíra Petráškova

  Views:

  62

  The paper deals with the application of computer algebra system Maple in teaching of financial mathematics. In the Czech Republic financial mathematics is included in the curricula of grammar and secondary school. Therefore, this subject is also taught at pedagogical faculties. Most concepts of financial mathematics are difficult to understand for students. In the paper we show the ways of facilitation understanding these concepts using tools of Maple. The main result is in preparing special maplets which enable interactive studying of the principles of such concepts. Each of these maplets deals with particular financial problem from real life, e.g. mortgage credit, consumer credit, credit card etc.

  PDF

  20

• Geometry expressions: an interactive constraint based symbolic geometry system

  303-310

  Philip Todd

  Views:

  27

  Dynamic geometry systems such as Geometers' SketchPad or Cabri are productive environments for the exploration of geometric relationships. They are, however, strictly numeric, and this limits their applicability where the interplay between geometry and algebra are being studied. We present Geometry Expressions – a dynamic symbolic geometry environment. While retaining the ease of use of a typical dynamic geometry environment, Geometry Expressions diverges by using constraints rather than constructions as the primary geometry specification mechanism and by working symbolically rather than numerically. Constraints, such as distances and angles, are specified symbolically. Symbolic measurements for quantities such as distances, angles, areas, locus equations, are automatically computed by the system. We outline how these features combine to create a rich dynamic environment for exploring the interplay between geometry and algebra, between induction and proof.

  PDF

  3

• Design guidelines for dynamic mathematics worksheets

  311-323

  Markus Hohenwarter

  Judtih Preiner

  Views:

  28

  In a Math and Science Partnership project in Florida, middle school teachers are using the dynamic mathematics software GeoGebra to create interactive online worksheets for mathematics learning. Formative evaluation of these materials based on design principles of multimedia learning has lead to a list of specific design guidelines for such dynamic worksheets that we present in this article. These design guidelines can give advice both for the creation of new dynamic worksheets and the evaluation of existing material on the Internet.

  PDF

  8

• Proof step analysis for proof tutoring - a learning approach to granularity

  325-343

  Marvin Schiller

  Dominik Dietrich

  Christoph Benzmüller

  Views:

  40

  We 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.

  PDF

  2

• Verification of human-level proof steps in mathematics education

  345-362

  Dominik Dietrich

  Mark Buckley

  Views:

  14

  Automated 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.

  PDF

  2

• Numerical mathematics with GeoGebra in high school

  363-378

  Dragoslav Herceg

  Đorđe Herceg

  Views:

  44

  We have prepared a suite of motivational examples which illustrate numerical methods for equation solving. Fixed point iteration, Newton's method, secant method and regula falsi method are implemented as GeoGebra tools. Our experience in teaching of numerical mathematics in "Jovan Jovanovic Zmaj" high school in Novi Sad is presented. We have tested pupil proficiency in numerical equation solving with and without use of a computer and the results are presented.

  PDF

  3

• CAS as a didactical challenge

  379-393

  Edith Schneider

  Views:

  36

  The 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.

  PDF

  3

• Application of computer algebra systems in automatic assessment of math skills

  395-408

  Przemyslaw Kajetanowicz

  Jedrzej Wierzejewski

  Views:

  39

  Mathematics 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.

  PDF

  7

• Report on the First Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education, 20-23 June, 2007, Pécs, Hungary

  409-413

  Csaba Sárvári

  Zsolt Lavicza

  Views:

  28

  The Department of Mathematics of the University of Pécs, Pollack Mihály Engineering Faculty organized in the year 2007 a conference on the role of CAS and DGS in the Mathematics education. We discuss the conference's activities.

  PDF

  4

• Zbigniew Michalewicz - Matthew Michalewicz: Puzzle Based Learning: An introduction to critical thinking, mathematics, and problem solving. Hybrid Publishers Melbourne 2008 (Book review)

  415-420

  András Ambrus

  Views:

  50

  Based on their experiences with engineering, mathematics, computer science, business students concerning the puzzle based learning in different countries the authors summarize their main problem solving teaching ideas. With help of interesting, motivating, nice problems they analyze the main mathematical principles and problem types. The review gives an overview about the main ideas, results of an interesting book.

  PDF

  6