METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS

Abstract

The article shows that in institutions of professional (vocational and technical) education, the inclusion of a block of questions devoted to the semiotics of programming languages into the content of learning languages and programming methods will contribute to the successful implementation of the system of their fundamental training in the subject field «Information Technologies». The methodological system of education, built within the framework of the methodologicalical theory, helps students acquire knowledge and skills in the semiotics of programming languages. The main theoretical and methodological provisions are outlined, on the basis of which a methodical system of teaching the semiotics of programming languages and a metamodel of the teaching method itself in the form of a methodical theory have been built. On the basis of the classification of models of syntax and semantics of programming languages, carried out to build a conceptual basis for the methodological theory of teaching semiotics of programming languages, there have been selected the following sections for teaching semiotics of programming languages: formal syntax of programming languages; meaningful operational semantics of programming languages; formal operational semantics of programming languages; formal deductive semantics of programming languages; denotational semantics of programming languages. At the stage of selecting the content of the elements of the model of the methodical system for teaching the semiotics of programming languages, the central place is occupied by the problem of setting learning goals, since the selection of the content of other elements is aimed at achieving the set goals. Semiotic educational models include a system of tasks, in which the subject area of activity is developed within the framework of specific teaching methods, which involve textual statements of educational problems or tasks. The goals and content of learning the semiotics of programming languages, largely influencing each other, determine the choice of teaching methods for the section in question. For example, when considering the last block of learning content, there has been chosen a simulation or social learning model, which provides for the student’s assimilation of new information, as well as attempts to get involved in the situation of solving professional tasks based on it.