Search

Search Results

• A survey on how students seek information on the internet

  153-165

  Mária Krausz-Princz

  Views:

  10

  Navigating among the information available on the Internet has become an expectation for the members of the information society we are living in. This especially applies to students of higher education, the intellectuals of the future. It is a general experience that most users make one or two word searches and they don't know about the possibilities offered by various search engines, which can make searches more effective. Given results from abroad we have set up a study among the students of the University of Debrecen (UD) about their use of the Internet, their knowledge of searching strategies and techniques, their perceptions of the effectiveness and efficiency of search engines. This paper reports the results of this study. The results imply that it is imperative that area should be included in the curriculum.

• Expressiveness of programming languages and environments: a comparative study

  111-141

  Gábor Törley

  Views:

  31

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

• Verification of human-level proof steps in mathematics education

  345-362

  Dominik Dietrich

  Mark Buckley

  Views:

  11

  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.

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

  325-343

  Marvin Schiller

  Dominik Dietrich

  Christoph Benzmüller

  Views:

  31

  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.

• CS unplugged in higher education

  1-23

  Kinga Kovácsné Pusztai

  Views:

  39

  Nowadays, there is a significant lack of workforce in the IT industry, even though it is one of the most lucrative professions. According to researchers' forecasts, the existing shortage is growing, so the wages offered will be higher, yet it seems that young people are not attracted to the profession. This problem draws attention to the need to change the curriculum so that it can attract students more. One possible solution is to supplement the curriculum with CS Unplugged activities, which makes it easier to understand and deepen difficult concepts and make IT lessons more colorful. In my article, besides presenting the already known CS Unplugged activities, I will deal with how this can be applied in Hungarian higher education as well.

• Problem-solving in mathematics with the help of computers

  405-422

  András Kovács

  Views:

  32

  One of the most important tasks of the didactics of mathematics is the describing of the process of problem-solving activity and problem-solving thinking. The psychological theories concerning the problem-solving thinking leave the special demand of school subjects out of consideration, and search for connections of universal validity. In this article we attempt to connect an abstract theory of psychology concerning problem-solving thinking and a more practical conception of the problem-solving activity of mathematics, which is based on Polya's idea. In this way we can get a structure of problem-solving, which has scientific bases and at the same time it is useful in computer aided learning. Our result was developed and tested in Hungary so this is suitable especially for the Hungarian conditions of mathematics teaching.

• On the psychology of mathematical problem solving by gifted students

  289-301

  Sandor M. Veres

  Views:

  33

  This paper examines the nature of mathematical problem solving from a psychological viewpoint as a sequence of mental steps. The scope is limited to solution processes for well defined problems, for instance, which occur at International Mathematical Olympiads. First the meta-mathematical background is outlined in order to present problem solving as a well defined search problem and hence as a discovery process. Solving problems is described as a sequence of elementary steps of the so called "relationship-vision" introduced here. Finally, non-procedural aspects of the psychology of problem solving are summarized, such as the role of persistence, teacher-pupil relationship, the amount of experience needed, self-confidence and inspiration at competitions.

• Teaching word processing - the theory behind

  119-137

  Mária Csernoch

  Views:

  14

  It is widely thought and believed that word processors – especially MS Word – are software, which everyone can use. However, if we take a closer look at the documents we find that the picture is not at all that clear. In most of these documents even the basic rules of word processing are broken. The question is how it is possible that most of the users are satisfied with their performance, and do not realize that they only use a less noisy typewriter, and not able to take advantage of the opportunities offered by these software. In the search of clearing this misunderstanding I found that there are no publicly available sources, which would clearly set the rules to determine when the documents are properly formatted. Here I set three maxims which, together, are able to control the tools applied in word processing in order to create properly formatted texts. In summary, they state that the layout of a properly formatted text should be invariant to modification, that is, any modification of the body of text should not initiate its re-formatting. To prove that these maxims work and to show that we desperately need them I give examples of works of professionals from the administration, of those who passed ecdl exams, of teachers of various subjects, and finally of teachers of Informatics.