En
Register Log in

List of publications on a keyword: «formalization»

  • Application of set theory and logic in the design of intelligent educational environments

    Proceeding
    Modern educational process: psychological and pedagogical support, educational strategies
    Authors:
    Ivan A. Rozhkov, Aleksandr E. Sergeev
    Work direction:
    Инновационные технологии в образовании
    Abstract:
    The article examines the fundamental role of the apparatus of discrete mathematics, in particular set theory and mathematical logic, in the design and development of intelligent educational environments (IEDs). The key tasks of IEDs are analyzed, such as knowledge formalization, adaptive planning of learning trajectories, gap diagnosis and generation of personalized tasks, the solution of which is based on operations on sets, Boolean algebra, logical rules and predicate calculus. It is proved that the use of these formal methods makes it possible to move from intuitive design of educational content to a precise, algorithmically controlled process, which is a critical factor in improving the quality and accessibility of education. The work highlights promising areas of integration of these disciplines into modern EdTech solutions.
    Keywords:
    adaptive learning, personalization, set theory, intellectual educational environments, mathematical logic, knowledge formalization, ontologies, logical inference
    Go 

  • Pedagogical maintenance of algorithmic system of federal state educational standard results’ monitoring in educational establishment

    Proceeding
    Current trends in the development of education system
    Author:
    Stanislav P. Russkov
    Work direction:
    Исследования в образовании и образовательные практики
    Abstract:
    This article looks through the current problem of the modern educational system – the need of pedagogical maintenance of algorithmic system of monitoring of FSES requirements in educational establishment in order to deduce and fetch out the results of pedagogical activity. The author analyses the system of quality evaluation of education, used in schools, points the possible forms and types of formalisation of FSES requirements’ results in educational establishment. The article also suggests to use different ways to get the information for the purpose of evaluation and diagnostics of the quality of education.
    Keywords:
    quality of education, monitoring, pedagogical maintenance, formalization, types of monitoring, intraschool monitoring
    Go