Formalization of the Pedagogical Model by the Language of Predicate Logic
- 10.2991/iceder-19.2020.5How to use a DOI?
- e-learning, predicate logic, pedagogical models, pedagogical technologies, formalization of the model
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.
- © 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 - 10.2991/iceder-19.2020.5 ID - Sleptsova2020/01 ER -