Search

Search Results

• Programming Theorems and Their Applications

  213-241

  István Fekete

  Tibor Gregorics

  Kinga Kovácsné Pusztai

  Anna Veszprémi

  Views:

  75

  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

• Differentiated instruction not only for Mathematics teachers

  163-182

  Erika Gyöngyösi-Wiersum

  Views:

  121

  The aim of differentiated development in a heterogeneous group of learners (DDHG) is to reduce school leaving without education, using an adaptive and innovative teaching-learning environment and using the most effective strategies, methods and techniques. Furthermore, this strategy helps in developing skills for learners and building cooperation between learners in heterogeneous classes through the use of the special, status-management educational procedure, and finally its strength is to sort the status ranking among learners, and to change the social structure of the class. Our goal is to figure out how to share best practices with teachers. One of the effective ways to renew teaching practice is through further training for teachers. As a trainer of the Logic-based subprogram of the Complex Basic Program (CBP) the author of the paper has experienced how well logic-based and decision-making strategies work in other subjects as well as in mathematics.

  Subject Classification: 97D40