СТРУКТУРА ТА МОЖЛИВОСТІ ПМ «СЕРЕДОВИЩЕ РОЗВ’ЯЗАННЯ» ІНТЕГРОВАНОГО ПРОГРАМНОГО СЕРЕДОВИЩА «MATHLOGIC V.2»
Ключові слова:
висловлювання, квантор, логіка висловлювань, математична логіка, предикат
Анотація
Дана стаття представляє програмний модуль «Середовище розв’язання» інтегрованого програмного середовища MathLogic v.2, (МЛ2), яке виконано в рамках проекту Terra Mathematica у лабораторії розробки та впровадження педагогічних програмних засобів. У статті описана структура ПМ «Середовище розв’язання», розкриті особливості її функціональності, а також технології та методи, які були використані для їх реалізації.
Завантаження
Дані завантаження ще не доступні.
##plugins.generic.paperbuzz.metrics##
##plugins.generic.paperbuzz.loading##
Посилання
1. Клини С. Математическая логика. М.Наука,-1973. 527 стр.
2. Кондаков Н. И., Логический словарь-справочник. – М.: «Наука», 1975, с. 259.
3. Марков А. А., Большая советская энциклопедия, Изд. 3, Предмет и метод современной логики.
4. Мендельсон. Э. Введение в математическую логику. – М.Наука.-1984. стр.320.
5. Новиков П.С. Элементы математической логики. – М. Наука. – 1973., 398 стр.
1. Klini S. Matematicheskaja logika. M.Nauka,-1973. 527 str.
2. Kondakov N. I., Logicheskij slovar'-spravochnik. – M.: «Nauka», 1975, s. 259.
3. Markov A. A., Bol'shaja sovetskaja jenciklopedija, Izd. 3, Predmet i metod sovremennoj logiki.
4. Mendel'son. Je. Vvedenie v matematicheskuju logiku. – M.Nauka.-1984. str.320.
5. Novikov P.S. Jelementy matematicheskoj logiki. – M. Nauka. – 1973., 398 str.
Опубліковано
2009-12-09
Як цитувати
ЩербінаO., ПесчаненкоB., & ЛьвовM. (2009). СТРУКТУРА ТА МОЖЛИВОСТІ ПМ «СЕРЕДОВИЩЕ РОЗВ’ЯЗАННЯ» ІНТЕГРОВАНОГО ПРОГРАМНОГО СЕРЕДОВИЩА «MATHLOGIC V.2». Збірник наукових праць "Information Technologies in Education" (ITE), (3), 169-174. https://doi.org/10.14308/ite000069
Розділ
Articles
