СТРУКТУРА ТА МОЖЛИВОСТІ ПМ «СЕРЕДОВИЩЕ РОЗВ’ЯЗАННЯ» ІНТЕГРОВАНОГО ПРОГРАМНОГО СЕРЕДОВИЩА «MATHLOGIC V.2»
DOI:
https://doi.org/10.14308/ite000069Ключові слова:
висловлювання, квантор, логіка висловлювань, математична логіка, предикатАнотація
Дана стаття представляє програмний модуль «Середовище розв’язання» інтегрованого програмного середовища MathLogic v.2, (МЛ2), яке виконано в рамках проекту Terra Mathematica у лабораторії розробки та впровадження педагогічних програмних засобів. У статті описана структура ПМ «Середовище розв’язання», розкриті особливості її функціональності, а також технології та методи, які були використані для їх реалізації.
Завантажити
Дані для завантаження поки недоступні.
Завантаження
Опубліковано
2009-12-09
Номер
Розділ
Articles
Ліцензія
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Як цитувати
СТРУКТУРА ТА МОЖЛИВОСТІ ПМ «СЕРЕДОВИЩЕ РОЗВ’ЯЗАННЯ» ІНТЕГРОВАНОГО ПРОГРАМНОГО СЕРЕДОВИЩА «MATHLOGIC V.2». (2009). Збірник наукових праць "Information Technologies in Education" (ITE), 3, 169-174. https://doi.org/10.14308/ite000069
