Search

Search Results

• Programming Theorems and Their Applications

  213-241

  István Fekete

  Tibor Gregorics

  Kinga Kovácsné Pusztai

  Anna Veszprémi

  Views:

  347

  One of the effective methodological approaches in programming that supports the design and development of reliable software is analogy-based programming. Within this framework, the method of problem reduction plays a key role. Reducing a given problem to another one whose solving algorithm is already known can be made more efficient by the application of programming theorems. These represent proven, abstract solutions – in a general form – to some of the most common problems in programming. In this article, we present six fundamental programming theorems as well as pose five sample problems. In solving these problems, all six programming theorems will be applied. In the process of reduction, we will employ a concise specification language. Programming theorems and solutions to the problems will be given using the structogram form. However, we will use pseudocodes as descriptions of algorithms resembling their actual implementation in Python. A functional style solution to one of the problems will also be presented, which is to illustrate that for the implementation in Python, it is sufficient to give the specification of the problem for the design of the solution. The content of the article essentially corresponds to that of the introductory lectures of a course we offered to students enrolled in the Applied Mathematics specialization.

  Subject Classification: D40

• Report on the Conference of History of Mathematics and Teaching of Mathematics: research in History of Mathematics and Teaching of Mathematics : University of Szeged 19-23 May, 2010, Szeged, Hungary

  319-338

  Tünde Kántor

  Views:

  292

  The 6th Conference on the History of Mathematics and Teaching of Mathematics was held in Szeged (Hungary). Its motto reads as:
  Mathematics – a common language for Europe for thousand years.
  The aim of the conference was to present aspects of History of Mathematics, including its impact on Teaching of Mathematics, to provide a forum to meet each other, and to give an opportunity for young researchers to present their results in these fields. University colleagues, students, graduate students and other researchers were invited. The programme of the Conference included talks and posters. The abstracts of the lectures and the posters are presented in this report. There were 24 presentations and poster lectures.