Now priorities in a choice of the purposes and content of training in pedagogical high schools in a direction of fundamentalization of education are actual. Fundamentality in a course of programming of the future teachers of computer science can be achieved by means of inclusion of the mathematical and semiotics bases of the computer science (which concern to the proof of correctness of programs) in the content of training.
This idea was put in development and realization of an educational Web-site "The Proof of Correctness of Imperative Programs", which is created within the framework of an educational Web-portal "Fundamental Training to Imperative Programming on the Basis of Language Pascal" (http://ric.uni-altai.ru/fundament/), and contains formal syntax of modelling languages, formal semantics of programming languages. It represents the independent separate module which can be studied both within the course "Theoretical Bases of Computer Science", and within the framework of an independent special course. The basic components of structure of the given Web-site are the electronic textbook, the methodical part and service information about this site, its structure and navigation.
Original URL http://imsconference2002.spbu.ru/02-eng3f13.html