• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Scientific and Practical Conference on Education, Health and Human Wellbeing >Formalization of the Pedagogical Model by the Language of Predicate Logic
【24h】

Formalization of the Pedagogical Model by the Language of Predicate Logic

机译：谓词逻辑语言的教学模式的形式化

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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.
机译：本文致力于在从“传统”形式的教育过程中为电子学习的转型中创建正式的教学模式的紧急教学问题。选择谓词逻辑的语言作为用于正式化教育过程描述，教育目标和使用的教学模式的语言。考虑了“传统”和“正式化”对教育过程描述的关系的问题。特别是，定义了常量和变量;形成语言和模糊变量的术语;建立了与定量和定性尺度的关系。关于相应变量的成员函数，主要教育目标被视为一组第二级。鉴定了所提出方法的应用和局限的关键特征。除此之外，作者提供了进一步研究的指示，包括目标和目标。他们还全面评估了使用谓词逻辑语言的可能性和权限，以正规化电子学习中的教学过程的描述。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号