Review and Outlooks of the Means for Visualization of Syntax Semantics and Source Code. Procedural and Object Oriented Paradigm – Differences

In the article, we have reviewed the means for visualization of syntax, semantics and source code for programming languages which support procedural and/or object-oriented paradigm. It is examined how the structure of the source code of the structural and object-oriented programming styles has influenced different approaches for their teaching. We maintain a thesis valid for the object-oriented programming paradigm, which claims that the activities for design and programming of classes are done by the same specialist, and the training of this specialist should include design as well as programming skills and knowledge for modeling of abstract data structures. We put the question how a high level of abstraction in the object-oriented paradigm should be presented in simple model in the design stage, so the complexity in the programming stage stay low and be easily learnable. We give answer to this question, by building models using the UML notation, as we take a concrete example from the teaching practice including programming techniques for inheritance and polymorphism.

Teaching Strategies and Ontologies for E-Learning

* The work is partially suported by Russian Foundation for Basic Studies (grant 02-01-00466).

The Initial Stage of Teaching Proof in Mathematics Course

This article discusses techniques for organization of propaedeutic stage of teaching proof in mathematics course. It identifies types of tasks that allow students of 5–6 classes to form the ability to carry out simple proofs. This article describes each type of tasks features, it gives some examples.

Teaching Materials Repository

The paper presents results from the development of a methodology and corresponding software tools for building an academic repository. The repository was filled up with gaming material. The repository architecture and key features of the search engine are discussed. The emphasis falls on solutions of the large set of problems concerning the development of proper mechanisms for semantics-based search in a digital repository.