Методика вивчення семантики мов програмування студентами закладів професійної освіти

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.