期刊论文详细信息
Ìнформаційні технології в освіті | |
STRUCTURE AND POSSIBILITIES OF PM «SOLVING ENVIRONMENT» OF INTEGRATED PROGRAMMATIC ENVIRONMENT «MATHLOGIC V.2». | |
关键词: logic of utterances (or logic of propositions); mathematical logic; predicate; quantifier; utterance (proposition); | |
DOI : | |
来源: DOAJ |
【 摘 要 】
This article presents the PM ‘Solving environment’ of integrated programmatic environment Mathlogic v.2, (ML2) which was made within the framework of project of Terra Mathematica in the Laboratory of Pedagogical Software Development and Implementation. The article describes the structure of PM «Solving environment», exposes features of its functionality, and also technologies and methods which were used for their realization.
【 授权许可】
Unknown