Proceedings of the International Scientific and Practical Conference on Education, Health and Human Wellbeing (ICEDER 2019)

Formalization of the Pedagogical Model by the Language of Predicate Logic

Authors
M V Sleptsova, N V Sokolova, L A Shamanina, I A Gubanova
Corresponding Author
M V Sleptsova
Available Online January 2020.
DOI
https://doi.org/10.2991/iceder-19.2020.5How to use a DOI?
Keywords
e-learning, predicate logic, pedagogical models, pedagogical technologies, formalization of the model
Abstract

The article is devoted to the urgent pedagogical problem of creating formalized pedagogical models in the transition from “traditional” forms of organization of the educational process to E-learning. The language of predicate logic is chosen as the language used to formalize the description of the educational process, the educational goal, and the pedagogical models used. The questions of the relationship between the “traditional” and “formalized” description of the educational process are considered. In particular, constants and variables are defined; term sets of linguistic and fuzzy variables are formed; their relationship with quantitative and qualitative scales is established. The main educational goal is considered as a set of the second level with respect to membership functions of the corresponding variables. Key features of the application and limitations of the proposed method are identified. More than that, the authors provide directions for further research, including goals and objectives. They also comprehensively assess the possibility and expediency of using the language of predicate logic to formalize the description of the pedagogical process in E-learning.

Copyright
© 2020, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the International Scientific and Practical Conference on Education, Health and Human Wellbeing (ICEDER 2019)
Series
Advances in Social Science, Education and Humanities Research
Publication Date
January 2020
ISBN
978-94-6252-890-1
ISSN
2352-5398
DOI
https://doi.org/10.2991/iceder-19.2020.5How to use a DOI?
Copyright
© 2020, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - M V Sleptsova
AU  - N V Sokolova
AU  - L A Shamanina
AU  - I A Gubanova
PY  - 2020/01
DA  - 2020/01
TI  - Formalization of the Pedagogical Model by the Language of Predicate Logic
BT  - Proceedings of the International Scientific and Practical Conference on Education, Health and Human Wellbeing (ICEDER 2019)
PB  - Atlantis Press
SP  - 19
EP  - 23
SN  - 2352-5398
UR  - https://doi.org/10.2991/iceder-19.2020.5
DO  - https://doi.org/10.2991/iceder-19.2020.5
ID  - Sleptsova2020/01
ER  -